标签：
2.9设有如下语句，请使用相应的谓词公式分别把它们表示出来：
其中∃是“存在”∀是“任意”。逻辑∧（与）∨（或）。￢（非）
（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。
解：定义谓词
P（x）:x是人
L(x，y)：x喜欢y
其中，y的个体域是{梅花，菊花}
将知识用谓词表示为：
(∃x)(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花))
（2）有的人每天下午都去打篮球。
解：定义谓词
P(x)：x是人
B(x)：x打篮球
A(y)：y是下午
将知识用谓词表示为：
(∃x)(∀y)(A(y)→B(x)∧P(x))
（3）新型计算机速度又快，存储容量又大。
解：定义谓词
NC(x)：x是新型计算机
F(x)：x速度快
B(x)：x容量大
将知识用谓词表示为：
(∀x)(NC(x)→F(x)∧B(x))
（4）不是每个计算机系的学生都喜欢在计算机上编程序。
解：定义谓词
S(x)：x是计算机系学生
L(x, programming)：x喜欢编程序
U(x, computer)：x使用计算机
将知识用谓词表示为：
￢(∀x) (S(x)→L(x, programming)∧U(x, computer))
（5）凡是喜欢编程序的人都喜欢计算机。
P(x)：x是人
L(x, y):x喜欢y
将知识用谓词表示为：
(∀x) (P(x)∧L(x, programming)→L(x, computer))
2.11 用谓词表示法求解农夫、狼、山羊、白菜问题。
设农夫、狼、山羊、白菜全部放在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。试规划出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。
解：(1) 先定义描述状态的谓词
AL(x)：x在左岸
其中，x的个体域是{农夫，船，狼，羊，白菜}。
¬AL(x)表示x在右岸。
问题的初始状态： 问题的目标状态：
AL(农夫) ¬AL(农夫)
AL(船) ¬AL(船)
AL(狼) ¬AL(狼)
AL(羊) ¬AL(羊)
AL(白菜) ¬AL(白菜)
(2) 再定义描述操作的谓词
L-R：农夫自己划船从左岸到右岸
L-R(x)：农夫带着x划船从左岸到右岸
R-L：农夫自己划船从右岸到左岸
R-L(x) ：农夫带着x划船从右岸到左岸
其中，x的个体域是{狼，羊，白菜}。
(3) 问题求解过程
第一步 农夫划船带着羊从左岸到右岸
AL(农夫) ¬AL(农夫)
AL(船) L-R(羊) ¬AL(船)
AL(狼) → AL(狼)
AL(羊) ¬AL(羊)
AL(白菜) AL(白菜)
第二步 农夫划船从右岸到左岸
¬AL(农夫) AL(农夫)
¬AL(船) R-L AL(船)
AL(狼) ← AL(狼)
¬AL(羊) ¬AL(羊)
AL(白菜) AL(白菜)
第三步 农夫带着狼划船从左岸到右岸
AL(农夫) ¬AL(农夫)
AL(船) L-R(狼) ¬AL(船)
AL(狼) → ¬AL(狼)
¬AL(羊) ¬AL(羊)
AL(白菜) AL(白菜)
第四步 农夫带着狼划船从右岸到左岸
¬AL(农夫) AL(农夫)
¬AL(船) R-L(羊) AL(船)
¬AL(狼) ← ¬AL(狼)
¬AL(羊) AL(羊)
AL(白菜) AL(白菜)
第五步 农夫带着白菜划船从左岸到右岸
¬AL(农夫) ¬AL(农夫)
¬AL(船) L-R(白菜) ¬AL(船)
¬AL(狼) → ¬AL(狼)
¬AL(羊) AL(羊)
AL(白菜) ¬AL(白菜)
第六步 农夫划船从右岸到左岸
¬AL(农夫) AL(农夫)
¬AL(船) R-L AL(船)
¬AL(狼) ← ¬AL(狼)
AL(羊) AL(羊)
¬AL(白菜) ¬AL(白菜)
第六步 农夫带着羊划船从左岸到右岸
AL(农夫) ¬AL(农夫)
AL(船) L-R(羊) ¬AL(船)
¬AL(狼) → ¬AL(狼)
AL(羊) ¬AL(羊)
¬AL(白菜) ¬AL(白菜)
2.16 请对下列命题分别写出它们的语义网络：
(1) 每个学生都有一台计算机。
解：
(2) 高老师从3月到7月给计算机系学生讲《计算机网络》课。
解：
(3) 学习班的学员有男、有女、有研究生、有本科生。
(4)创新公司在科海大街56号，刘洋是该公司的经理，他32岁、硕士学位。
(5)红队与蓝队进行足球比赛，最后以3：2的比分结束。
2.17 请把下列命题用一个语义网络表示出来：
(1) 树和草都是植物；
(2) 树和草都有叶和根；
(3) 水草是草，且生长在水中；
(4) 果树是树，且会结果；
(5) 梨树是果树中的一种，它会结梨。
标签：
原文地址：http://www.cnblogs.com/ShaunT/p/5393219.html
