标签:
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、定义谓词: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,用谓词表示法 表示农夫、狼、山羊、白菜问题。
设农夫、狼、山羊、白菜全部在一条河的左岸,现在要把它们全部送到河的右岸去,农夫有一条船,过河时,除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。试规划出一个确保全部安全过河的计划。请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。
解答:为简化问题描述,取消小船在河中行驶的状态,只描述左岸右岸上存在的事物状态。采用直接描述的方法如下表示:
at left AL(x):x在左岸 ,x的个体域是{农夫,狼、山羊、白菜}。对应的 ,¬AL(x)表示x在右岸。
初始状态:AL(农夫),AL(船),AL(狼),AL(山羊),AL(白菜)
目标状态:¬AL(农夫),¬AL(船),¬AL(狼),¬AL(山羊),¬AL(白菜)
(2)需要增加描述的谓词(x的个体域是{狼、山羊、白菜})
L-R: 农夫自己划船从左岸到右岸 L-R(x):农夫带着x划船从左岸到右岸
R-L:农夫自己划船从右岸到左岸 R-L(x):农夫带着x划船从右岸到左岸
AL(船) AL(农夫) AL(狼) AL(山羊) AL(白菜) |
¬AL(船) ¬AL(农夫) AL(狼) ¬AL(山羊) AL(白菜) |
AL(船) AL(农夫) AL(狼) ¬AL(山羊) AL(白菜) |
¬AL(船) ¬AL(农夫) ¬AL(狼) ¬AL(山羊) AL(白菜) |
L-R(山羊) | R-L | L-R(狼) | R-L(山羊) |
AL(船) AL(农夫) ¬AL(狼) AL(山羊) AL(白菜) |
¬AL(船) ¬AL(农夫) ¬AL(狼) AL(山羊) ¬AL(白菜) |
AL(船) AL(农夫) ¬AL(狼) AL(山羊) ¬AL(白菜) |
¬AL(船) ¬AL(农夫) ¬AL(狼) ¬AL(山羊) ¬AL(白菜) |
L-R(白菜) | R-L | L-R(山羊) |
2.16,请对下列命题分别写出他们的语义网络
(1)每个学生都有一台计算机。
(2)高老师从3月到7月给计算机系学生讲《计算机网络》课。
(3)学习班的学员有男,有女;有研究生,有本科生。
(4)创新公司在科海大街56号,刘洋是该公司的经理,他32岁,硕士学位。
(5)红队和蓝队进行足球比赛,最后以3:2的比分结束。
解答:
(1)每个学生 都有 → 一台计算机
(2)高老师 从→ 3月到7月 给→ 计算机系学生 讲→ 《计算机网络》课程
男¦ —本科生
(3)学习班 有→学员 —研究生
女¦
(4)32岁–— 刘洋 经理→ 创新公司 —→科海大街56号
¦
硕士学位
(5)红队 → 足球比赛 ← 蓝队
¦比分3:2
结束
2.17,请把下列命题用一个语义网络表示出来:
(1)树和草都是植物;
(2)树和草都有叶和根;
(3)水草是草,且生长在水中;
(4)果树是树,且会结果;
(5)梨树是果树中的一种,它会结梨。
解答:
梨树→果树→树→植物←草←水草
↓ ↓ ¦ ↓
结梨 结果 有叶有根 生长在水中
标签:
原文地址:http://www.cnblogs.com/gzsdCYF/p/5398591.html