第二次作业
2.9 设有如下语句,请用相应的谓词公式分别把他们表示出来:
(1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花
(2)有的人每天下午都去打篮球。
(3)新型计算机速度又快,存储容量又大。
(4)不是每个计算机系的学生都喜欢在计算机上编程序。
(5)凡是喜欢编程序的人都喜欢计算机。
解:1、定义谓词:
people P(x):x 是指人 ;
like L(x,y):x 喜欢 y ;
其中,y的个体域是指{梅花,菊花}。
(∃x)(P(x)→L(x,梅花) v L(x,菊花) v L(x,梅花)∧ L(x,菊花))
(2)有的人每天下午都去打篮球。
解:首先定义谓词:
P(x):x是人。
Pb(x):x打篮球。
In(x,afternoon):x在下午。
(∃x)( ∀afternoon)(P(x)→Pb(x) ∧ In(x,afternoon))
(3)新型计算机速度又快,存储容量又大。
解:首先定义谓词:
C(x):x是新型计算机。
F(x):x运行速度快。
S(x):x存储出容量大。
(∀x)(C(x)→F(x) ∧ S(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的个体域是{狼,羊,白菜}。
(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)梨树是果树中的一种,她会结梨。
解:
梨树 | → | 果树 | → | 树 | → | 植物 | ← | 草 | ← | 水草 |
↑ | ↑ | ↑ | ↑ | ↑ | ||||||
结梨 | 结果 | 有叶和根 | 有叶和根 | 生长在水中 |