人工智能吴飞版课后答案_第1页
人工智能吴飞版课后答案_第2页
人工智能吴飞版课后答案_第3页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、人工智能吴飞版课后答案附加题请写出用一阶谓词逻辑表示法表示知识的步骤。（1）（2）（3）根据所要表达的知识的语义用适当的联接符号将各个谓词联接起来，形成谓词公式。什么是子句？什么是子句集？请写出谓词公式子句集的步骤。（1）消去谓词公式中的蕴涵和双条件符号，以BB，以(A(B)(A(B)替换 A(B。减少不定符号的辖域，使不定符号最多只作用到一个谓词上。变元亦不同。消去存在量词。后面公式的整个部分。母式化为合取范式，建立起与其对应的子句集。2-2 用谓词表示法求解修道士和野人问题。在河的北岸有三个修道士、三个野人和一条船，修道士们想用这条船将所有的人都运过河去，但要受到以下条件限制：修道士和野人

2、都会划船，但船一次只能装运两个人。在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过（1）定义谓词先定义修道士和野人人数关系的谓词： G(x,y,S)： 在 状 态 S 下 x 大 于 y GE(x,y,S)：在状态 S 下 x 大于或等于 y其中，x,y 分别代表修道士人数和野人数，他们的个体域均为0,1,2,3。再定义船所在岸的谓词和修道士不在该岸上的谓词：Boat(z,S)：状态 S 下船在 z 岸EZ(x,S)：状态 S 下 x 等于 0，即修道士不在该岸上其中，z 的个体域是L,R，L 表示左岸，R 表示右岸。再

3、 定 义 安 全 性 谓 词 ： Safety(z,x,y,S)(G(x,0,S)GE(x,y,S)(EZ(x,S)其中，z,x,ySz再定义描述过河方案的谓词：L-R(x,x1,y,y1,S)：x1 个修道士和 y1 个野人渡船从河的左岸到河的右岸条件：Safety(L,x-x1,y-y1,S)Safety(R,3-x+x1,3-y+y1,S)Boat(L,S) 动作：Safety(L,x-x1,y-y1,S)Safety(R,3-x+x1,3-y+y1,S)Boat(R,S)R-L(x,x1,y,y1,S)：x2 个修道士和 y2 个野人渡船从河的左岸到河的右岸条件：Safety(R,3-

4、x-x2,3-y-y2,S)Safety(L,x+x2,y+y2,S)Boat(R,S)动作：Safety(R,3-x-x2,3-y-y2,S)Safety(L,x+x2,y+y2,S)Boat(L,S) (2)过河方案Safety(L,3,3,S0)Safety(R,0,0,S0)Boat(L,S0) L-R(3,1,3,1,S0)L-R(3,0,3,2,S0)Safety(L,2,2,S1)Safety(R,1,1,S1)Boat(R,S1) Safety(L,3,1,S1)Safety(R,0,2,S1)Boat(R,S1)R-L(2,1,2,0,S1)R-L(3,0,1,1,S1)L-R(3,0,2,2,S2)R-L(3,0,0,1

人人文库> 全部分类> 应用文书 > 项目管理

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论