习题评讲(2011)

《习题评讲(2011)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、习题评讲1作业题-第2章2-6用谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)Acomputersystemisintelligentifitcanperformataskwhich,ifperformedbyahuman,requiresintelligence.2补充习题用谓词演算公式表示下列句子。（1）猫比老鼠跑得快。（2）有的猫比所有老鼠跑得快。（3）并不是所有的猫比老鼠跑得快。（4）不存在跑得同样快的两只猫。解C（x）：x是猫；M（

2、y）：y是老鼠；Q（x，y）：x比y跑得快；L（x，y）：x和y跑得同样快。这4个命题分别符号化为：（1）xy[C(x)∧M(y)⇒Q(x，y)]；（2）x[C(x)∧y（M(y)⇒Q(x，y))]；（3）～xy[C（x）∧M（y)⇒Q（x，y）]；（4）～xy[C（x）∧C（y）∧L（x，y）]。利用谓词公式表示知识的步骤如下:1定义谓词及个体,确定其含义;2根据要表达的事物或概念,为每个谓词中的变元赋值;3根据表达的知识的含义,用适当的连接符号将各个谓词连接起来,形成谓词公式

3、。注意：在符号化时，当引入特性时，注意全称量词与蕴含联结词的搭配，存在量词与合取联结词的搭配。3第2章2-7把下列语句表示成语义网络描述：(1)Allmanaremortal.(2)Everycloudhasasilverlining.(3)AllbranchmanagersofDECparticipateinaprofit-sharingplan4补充习题考虑下面带有量词的语句，表示成语义网络。(1)Everydoghasbittenapostman.(2)Everydoghasbittene

4、verypostman.存在量词的量化在语义网络中可直接用ISA链来表示，而全称量词的量化就要用分割方法来表示。可以把语义网络分割成多个空间来实现量化，其中每个空间对应一个或几个变量范围。5xy[(dog(x)postman(y))→bite(x,y)](1)Everydoghasbittenapostman.(2)Everydoghasbitteneverypostmanx[dog(x)y(postman(y))→bite(x,y))]6任何人的兄弟不是女性。任何人的姐妹必是女性。

5、（1）定义谓词。brother（x,y）：表示x是y的兄弟。sister（x,y）：表示x是y的姐妹。women（x）：表示x是女性。Mary是Bill的姐妹Mary不是Tom的兄弟7任何人的兄弟不是女性。任何人的姐妹必是女性Mary是Bill的姐妹Mary不是Tom的兄弟8第3章3-17(2)(∀x)(∀y)(On(x,y)⇒Above(x,y))(3)(∀x)(∀y)(∀z)(Above(x,y)∧Above(y,z)⇒Above(x,z))9补充习题（1）（∀x）[P（x）→P（x）]{~

6、P(x)∨P(x)}（2）~（∀x）{P（x）→{（∀y）[P（y）→P（f（x，y））]∧~（∀y）[Q（x，y）→P（y）]}}{P(a),P(b)∨~Q(a，z1)∨P(z1),~P(f(a，b))∨~Q(a，z2)∨P(z2)}10归结反演法证明公式,PPT上的例题前提：每个储蓄钱的人都获得利息。结论：如果没有利息，那么就没有人去储蓄钱11其它题型事实表达式的与或图表示目标公式的与或图表示基本概念12模糊计算13模糊计算14模糊计算模糊判决可以采用不同的方法：重心法、最大隶属度方法下面

7、介绍各种模糊判决方法，并以“水温适中”为例，说明不同方法的计算过程。假设“水温适中”的隶属函数为μF (x)={X：0.0/0+0.0/10+0.33/20+0.67/30+1.0/40+1.0/50+0.75/60+0.5/70+0.25/80+0.0/90+0.0/100}1516