张华130702010005第二次作业

2.9、设有如下语句,请用相应的谓词公式分别把它们表示出来:
 
(1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。
 
解:定义谓词
 
P(x):x 是人

L(x,y):x 喜欢y
 
 ( x )(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花))
 
(2)有的人每天下午都去打篮球。
 
解:定义谓词
 
P(x):x 是人
 
B(x):x 打篮球
 
A(y):y 是下午
 
 ( x )( y) (A(y)→B(x)∧P(x))
 
(3)新型计算机速度又快,存储容量又大。
 
解:定义谓词
 
NC(x):x 是新型计算机
 
F(x):x 速度快
 
B(x):x 容量大
 
 ( x) (NC(x)→F(x)∧B(x))
 
(4)不是每个计算机系的学生都喜欢在计算机上编程序。
 
解:定义谓词
 
S(x):x 是计算机系学生
 
L(x,pragramming):x 喜欢编程序
 
U(x,computer):x 使用计算机
 
¬ ( x) (S(x)→L(x,pragramming)∧U(x,computer))
 
(5)凡是喜欢编程序的人都喜欢计算机。
 
解:定义谓词
 
P(x):x 是人
 
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)梨树是果树中的一种,它会结梨:

有上图全部合为一个语义网络得出:

 

转载于:https://www.cnblogs.com/zhang-hua/p/5427250.html

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值