标签：
2.9 设如有下列语句，请用相应的谓语公式把它们表示出来：
（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花有喜欢菊花。
解：定义谓词
P(x)：ｘ是人
L(x，y): x喜欢y
其中y的个体域是｛梅花，菊花｝
将知识用谓语公式表示为：
P(x)→L(x，梅花)V L(x，菊花)V
L（x，梅花）ΛL（x，菊花）
（2）有人每天下午都去打篮球。
解：定义谓词
P(x)：ｘ是人
A(y)：y是下午
B(x)：x是打篮球
将知识用谓语公式表示为：
A（y）→B(x)ΛP（x）
（3）新型计算机速度又快，存储容量又大。
解：定义谓词
NC（x）：x是新型计算机
F(x): x速度快
B(x):x容量大
将知识用谓语公式表示为：
NC(x)→ F(x)ΛB(x)
（4）不是每个计算机系的学生都喜欢编程序。
解：定义谓词
P(x):x是计算机系的学生
L(x，编程序)：x喜欢编程序
A(x,计算机)：x使用计算机
将知识用谓语公式表示为：
¬ P(x)→L(x,编程序)ΛA（x，计算机）
（5）凡是喜欢编程序的人都喜欢计算机。
解：定义谓词
P(x):x是人
L(x,y)：x喜欢y
其中y表示域是 {编程序，计算机}
将知识用为表示为：
P(x)ΛL(x,编程序)→L(x,计算机)
2.11 用谓词表示法表示农夫、狼、山羊、白菜问题。
设农夫、狼、山羊、白菜全部在一条河的左岸，现在要把它们全部运送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃白菜，山羊要吃白菜，除非农夫在那里。试规划出一个确保全部安全过河的计划。请写出所用的谓词定义，并给出每个谓词的的功能及变量的个体域。
解：(1)先定义描述状态的谓词
要描述这个问题，需要说明农夫、狼、山羊、白菜和船在什么位置，为简化问题表示，取消船在河中行驶的状态，只描述左岸和右岸的状态。并且，由于左岸和右岸的状态互补，因此可仅对左岸或右岸的状态做直接描述。选择对左岸直接描述的方法，即定义谓词为：
AL(x): x在左岸 其中x的个体域是{农夫，狼、山羊、白菜、船}
¬ AL(x):表示x在右岸。
问题的初始状态为：
AL(农夫) ； AL(船) ；AL(狼)；AL(山羊)；AL(白菜)
问题的目标状态为：
¬AL(农夫) ； ¬AL(船) ；¬AL(狼)，¬AL(山羊)；¬AL(白菜) （２）定义描述操作的谓词
Ｌ－Ｒ：农夫自己划船从左岸到右岸
Ｌ－Ｒ（ｘ）：农夫带着ｘ划船从左岸到右岸
Ｒ－Ｌ：农夫自己划船从右岸到左岸
Ｒ－Ｌ（ｘ）：农夫带着ｘ划船从右岸到左岸
对于上面的操作，都包括条件和动作两部分。它们对应的条件和动作如下：
Ｌ－Ｒ：农夫自己划船从左岸到右岸
条件：AL(农夫) ，AL(船)，¬AL(狼)V¬AL(山羊)，¬AL(山羊)V¬AL(白菜)
动作：删除表：AL(农夫) ，AL(船)；添加表：¬AL(农夫) ， ¬AL(船)
Ｌ－Ｒ（狼）：农夫带着狼划船从左岸到右岸
条件： AL(农夫) ， AL(船) ，AL(狼)，¬AL(山羊)
动作：删除表： AL(农夫) ， AL(船) ，AL(狼)； 添加表：¬AL(农夫) ； ¬AL(船) ；¬AL(狼)
Ｌ－Ｒ（山羊）：农夫带着山羊划船从左岸到右岸
条件： AL(农夫) ， AL(船) ，AL(山羊)，¬AL(狼)，¬AL(白菜) 或
AL(农夫) ， AL(船) ，AL(山羊)，AL(狼)，AL(白菜)
动作：删除表：AL(农夫) ， AL(船) ，AL(山羊)；添加表：¬AL(农夫) ， ¬AL(船) ，¬AL(山羊)
Ｌ－Ｒ（白菜）：农夫带着白菜划船从左岸到右岸
条件： AL(农夫) ， AL(船) ，AL(白菜) ，¬AL(狼)
动作：删除表：AL(农夫) ， AL(船) ，AL(白菜)；添加表： ¬AL(农夫) ， ¬AL(船) ，¬AL(白菜)
Ｒ－Ｌ：农夫自己划船从右岸到左岸
条件：¬AL(农夫) ，¬AL(船) ，AL(狼)VAL(山羊)，AL(山羊)VAL(白菜)或¬AL(农夫) ， ¬AL(船) ，¬AL(狼)，¬AL(白菜)，AL(山羊)
动作：删除表：¬AL(农夫) ，¬AL(船)；添加表：AL(农夫) ，AL(船）
Ｒ－Ｌ（山羊）：农夫带着山羊划船从右岸到左岸
条件：¬AL(农夫) ， ¬AL(船) ，¬AL(狼)，¬AL(山羊)，AL(白菜)
动作：删除表：¬AL(农夫) ， ¬AL(船) ，¬AL(山羊)；添加表：AL(农夫)，AL(船)，AL(山羊）
标签：
原文地址：http://www.cnblogs.com/bingxuexian/p/5401802.html
