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