标签：
一：设有如下语句，请用相应的谓词公式分别把它们表示出来。
（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。
解：谓词定义
q（x）：x是人
m（x,y）:x喜欢y 其中，y的个体域是{梅花，菊花}
谓词表示为：（存在x）（q（x）→m（x，梅花）ν m（x，菊花）ν m（x，梅花）Λ m（x，菊花））
（2）有人每天下午都去打篮球。
解：谓词定义
p（x）： x是人
b（x）：x打篮球
m（y）：y是下午
谓词表示为：（存在x）（任意y）（m（y）→b（x） Λ p（x））
（3）新型计算机速度又快，存储量又大。
解：谓词定义
nc（x）:x是新型计算机
e（x）:x是速度快
b（x）：x是容量大
谓词表示为：（任意x）（nc（x）→e（x） Λ b（x））
（4）不是每个计算机系的学生都喜欢在计算机上编写程序。
解：谓词定义为
p（x）：x是计算机系的学生
e（x，y）：x喜欢编程序
b（x，z）：x使用计算机
谓词表示为：┐（任意x）（p（x）→ e（x，编程序） Λ b（x，使用计算机） ）
（5）凡是喜欢编程的人都喜欢计算机。
解：谓词定义为
p（x）：x是人
e（x，y）：x喜欢y
谓词表示为：（任意x）（p（x） Λ e（x，编程序）→ e（x，计算机） ）
二：用谓词表示法表示农夫，狼，山羊，白菜问题。
设农夫，狼，山羊，白菜全部在一条河的左岸，现在要把它们送到河的右岸去，农夫有一条船，过河时，除农夫外至多能载狼，山羊，白菜的一种。狼要吃羊，山羊要吃白菜，除非农夫在那里。试规划出一个确保都安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及个体域。
解：（1）定义描述状态的谓词定义如下：
AL(x):x是在左岸 其中x的个体域是农夫，船，狼，山羊，白菜，对应的¬AL(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）问题求解过程
三：请对下列命题写出它们的语义网络。
（1）每个学生都有一台计算机。
（2）高老师从3月到7月给计算机系的学生讲《计算机网络》课。
（3）学习班的学员有男，有女，有研究生，有本科生。
（4）创新公司在科海大街56号，刘洋是该公司的经理，他32岁，硕士学位。
（5）红队与蓝队进行足球比赛，最后一3:2的比分结束。
四：请把下列命题用一个语义网络表示出来。
（1）树和草都是植物。
（2）树和草都有叶和根。
（3）水草是草，且生活在水中
（4）果树是树，且会结果。
（5）梨树是果树的一种，它会结梨。
全部一起：
标签：
原文地址：http://www.cnblogs.com/wenfangmei/p/5398105.html
