云题海 - 专业文章范例文档资料分享平台

当前位置:首页 > 人工智能 (马少平 朱小燕 著) 课后答案

人工智能 (马少平 朱小燕 著) 课后答案

  • 62 次阅读
  • 3 次下载
  • 2026/4/26 0:27:17

Li

将上述谓词公式转化为子句集并进行归结如下: 由

R1可得子句: 1 Poor x ∨ () () ∨

~Smart x () Happy x 由

R2可得子句: 2 ~() ()

read y ∨ Smart y 由

R3可得子句: () 34 read Li ()

~ Poor Li 由

R4可得子句: 5 ~() ()

Happy z ∨

Exciting z

有结论的否定可得子句: 6 () ~

Exciting Li

根据以上

6条子句,归结如下: ~ Happy Li () ⑤⑥ Li/z () ∨ ~ () ⑦① Li/x

7891011 Poor Li Smart Li () ⑧④ ~ Smart Li ~ read Li () ⑨② Li/y □ ⑩③

由上可得原命题成立。 第 4章

4.9答案 有毛发有奶 哺乳动物

有羽毛会飞会下蛋 鸟 吃肉

肉食动物有蹄 有爪有犬齿眼盯 前方 有蹄动物 嚼反刍动 物 黄褐 色

身上有暗 斑点

金钱豹 黑色 条纹 虎 长脖 子长腿 长颈鹿斑马 不会 飞 鸵鸟 会游 泳 有黑 白两 色 企鹅 善飞 信天翁 4.11答案

  • 收藏
  • 违规举报
  • 版权认领
下载文档10.00 元 加入VIP免费下载
推荐下载
本文作者:...

共分享92篇相关文档

文档简介:

Li 将上述谓词公式转化为子句集并进行归结如下: 由 R1可得子句: 1 Poor x ∨ () () ∨ ~Smart x () Happy x 由 R2可得子句: 2 ~() () read y ∨ Smart y 由 R3可得子句: () 34 read Li () ~ Poor Li 由 R4可得子句: 5 ~() () Happy z ∨ Exciting z 有结论的否定可得子句: 6 () ~ Exciting Li 根据以上 6条子句,归结如下: ~

× 游客快捷下载通道(下载后可以自由复制和排版)
单篇付费下载
限时特价:10 元/份 原价:20元
VIP包月下载
特价:29 元/月 原价:99元
低至 0.3 元/份 每月下载150
全站内容免费自由复制
VIP包月下载
特价:29 元/月 原价:99元
低至 0.3 元/份 每月下载150
全站内容免费自由复制
注:下载文档有可能“只有目录或者内容不全”等情况,请下载之前注意辨别,如果您已付费且无法下载或内容有问题,请联系我们协助你处理。
微信:fanwen365 QQ:370150219
Copyright © 云题海 All Rights Reserved. 苏ICP备16052595号-3 网站地图 客服QQ:370150219 邮箱:370150219@qq.com