第二次作业
2.9 设有如下语句，请用相应的谓词公式分别把它们表示出来。 （1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。
解：定义谓词
People P（x）：x是人
Like L（x,y）：x喜欢y
其中，y的个体域是{梅花，菊花}
将知识用谓词公式表示为：（∃x）（P（x））→L（x，梅花）∨ L（x，菊花）∨ L（x，梅花）Λ L（x，菊花））
（2）有的人每天下午都去打篮球。
解：定义谓词
People P（x）：x是人
Basketball B（x）：x打篮球
afternoon A（y）：y是下午
将知识用谓词公式表示为：（∃x）（∀y）（A（y）→B（x）Λ P（x））
（3）新型计算机速度又快，存储容量又大。
解：定义谓词
New Computer NC（x）：x是新型计算机
Fast F（x）：x速度快
Large L（x）：x容量大
将知识用谓词公式表示为：（∀x）（NC（x）→F（x）Λ L（x））
（4）不是每个计算机系的学生都喜欢在计算机上编程序。
解：定义谓词
Student S（x）：x是计算机系学生
Like L（x,pragramming）：x喜欢编程序
Use U（x,computer）：x使用计算机
将知识用谓词公式表示为：¬（∀x）（S（x）→L（x,pragramming）Λ U（x,computer））
（5）凡是喜欢编程序的人都喜欢计算机。
解：定义谓词
People P（x）：x是人
Like L（x,y）：x喜欢y
将知识用谓词公式表示为：（∀x）（P（x）Λ L（x,pragramming）→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的个体域是{狼，羊，白菜}
对上述每个操作，都包括条件和动作两部分。
它们对应的条件和动作如下：
L-R：农夫自己划船从左岸到右岸
条件：AL（船），AL（农夫），¬AL（狼）∨¬AL（羊），¬AL（羊）∨¬AL（白菜）
动作：删除表：AL（船），AL（农夫）
添加表：¬AL（船），¬AL（农夫）
L-R（狼）：农夫带着狼划船从左岸到右岸
条件：AL（船），AL（农夫），AL（狼），¬AL（羊）
动作：删除表：AL（船），AL（农夫），AL（狼）
添加表：¬AL（船），¬AL（农夫），¬AL（狼）
L-R（羊）：农夫带着羊划船从左岸到右岸
条件：AL（船），AL（农夫），AL（羊）， AL（狼），AL（白菜）
或：AL（船），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（白菜），AL（羊）
动作：删除表：¬AL（船），¬AL（农夫）
添加表：AL（船），AL（农夫）
R-L（羊）：农夫带着羊划船从右岸到左岸
条件：¬AL（船），¬AL（农夫），¬AL（羊），¬AL（狼），¬AL（羊），¬AL（白菜）
动作：删除表：¬AL（船），¬AL（农夫），¬AL（羊）
添加表：AL（船），AL（农夫），AL（羊）
(3) 问题求解过程：
| AL（农夫） |
L-R（羊） → |
AL（狼） |
R-L → |
AL（农夫） |
L-R（狼） → |
AL（白菜） | R-L（羊） | AL（农夫） |
L-R（白菜） → |
AL（羊） |
R-L → |
AL（农夫） |
L-R（羊） → |
¬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（狼） |
2.16 请对下列命题分别写出它们的语义网络：
（1）每个学生都有一台计算机
解：
(2)高老师从3月到7月给计算机系学生讲《计算机网络》课。
（3）学习班的学员有男，有女；有研究生，有本科生
：
（4）创新公司在科海大街56号，刘洋是该公司的经理，他32岁，硕士学位。
（5）红队与蓝队进行足球比赛，最后以3:2的比分结束。
2.17 请把下列命题用一个语义网络表示出来
（1）树和草都是植物。
（2）树和草都有叶和根。
（3）水草是草，且生活在水中
（4）果树是树，且会结果。
（5）梨树是果树的一种，它会结梨。
将上述的全部合为一个语义网络的而结果如下：
2.25 假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12º，最低气温-2º，降水概率15%。”请用框架表示这一知识。
解：
Frame<天气预报>
地域：北京
时段：今天白天
天气：晴
风向：偏北
风力：3级
气温：最高：12度
最低：-2度
降水概率：15%
2.26 按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。
解：师生框架
Frame <Teachers-Students>
Name：Unit（Last-name，First-name）
Sex：Area（male，female）
Default：male
Age：Unit（Years）
Telephone：Home Unit（Number）
Mobile Unit（Number）
教师框架
Frame <Teachers >
AKO<Teachers-Students >
Major：Unit（Major-Name）
Lectures：Unit（Course-Name）
Field：Unit（Field-Name）
Project ：Area（National，Provincial，Other）
Default：Provincial
Paper：Area（SCI，EI，Core，General）
Default：Core
学生框架
Frame <Students>
AKO< Teachers-Students >
Major：Unit（Major-Name）
Classes：Unit（Classes-Name）
Degree：Area（doctor，mastor, bachelor）
Default：bachelor
