人工智能吴飞版课后答案.pdfVIP

人工智能吴飞版课后答案--第1页 人工智能吴飞版课后答案 附加题 请写出用一阶谓词逻辑表示法表示知识的步骤。 步骤：（1）定义谓词及个体，确定每个谓词及个体的确切含义；（2）根据 所要表达的事物或概念，为每个谓词中的变元赋予特定的值；（3）根据所要表 达的知识的语义用适当的联接符号将各个谓词联接起来，形成谓词公式。 什么是子句？什么是子句集？请写出谓词公式子句集的步骤。 解：子句就是由一些文字组成的析取式。由子句构成的集合称为子句集。 步骤：（1）消去谓词公式中的蕴涵和双条件符号，以(A(B代替A(B ，以 (A(B)(((A((B)替换A(B。 （2）减少不定符号的辖域，使不定符号最多只作用到一个谓词上。 （3）重新命名变元名，使所有的变元的名字均不同，并且自由变元及约束 变元亦不同。 （4 ）消去存在量词。 （5）把全称量词全部移到公式的左边，并使每个量词的辖域包括这个量词 后面公式的整个部分。 （6）母式化为合取范式，建立起与其对应的子句集。 2-2用谓词表示法求解修道士和野人问题。在河的北岸有三个修道士、三 个野人和一条船，修道士们想用这条船将所有的人都运过河去，但要受到以下 条件限制： (1)修道士和野人都会划船，但船一次只能装运两个人。 (2)在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 人工智能吴飞版课后答案--第1页 人工智能吴飞版课后答案--第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表示右岸。 再定义安全性谓词： Safety(z,x,y,S)≡(G(x,0,S)∧GE(x,y,S))∨(EZ(x,S)) 其中，z,x,y的含义同上。该谓词的含义是：状态S下，在z岸，保证修道 士安全，当且仅当修道士不在该岸上，或者修道士在该岸上，但人数超过野人 数。该谓词同时也描述了相应的状态。 再定义描述过河方案的谓词： 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个野人渡船从河的左岸到河的右岸 人工智能吴飞版课后答案--第2页 人工智能吴飞版课后答案--第3页 条件：Safety(R,3-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+x