DOC《一、选择题（每题1分,共15分）》

3、设有如下关系:(1)如果x是y的父亲,y又是z的父亲,则x是z的祖父;

(2)老李是大李的父亲;

(3)大李是小李的父亲;

问上述人员中谁和谁是祖孙关系? 解: 答案:

一、

1、 B

2、C

3、A

4、C

5、C

6、 D

7、A

8、A

9、A

10、D

11、A

12、D

13、B

14、C

15、B

二、

1、随机性,模糊性,不完全性,不一致性

2、纯文字,永真式,类含

3、-CF(A),min{CF(A1),CF(A2)},max{CF(A1),CF(A2)}

4、节点,有向边,或图,与或图

5、最一般合一(MGU)

6、被触发规则

7、A→B,概率

8、制造智能机器,实现机器智能

三、

1、

2、产生式规则基本形式:P→Q 或者 IF P THEN Q P 是产生式的前提(前件),用于指出该产生式是否可用的条件 Q 是一组结论或操作(后件),用于指出当前提 P 所指示的条件满足时,应该得出的结论或应该执行的操作 产生式规则的语义:如果前提P被满足,则可推出结论 Q 或执行 Q 所规定的操作

3、 1)消去蕴含式和等价式→, 2)缩小否定词的作用范围,直到其作用于原子公式: 3)适当改名,使量词间不含同名指导变元和约束变元. 4.)消去存在量词(形成Skolem标准型) 5)消去所有全称量词 6) 化成合取范式 7). 适当改名,使子句间无同名变元 8). 消去合取词∧,用逗号代替,以子句为元素组成一个集合S

4、解:k=0;

S0=S;

δ0=ε;

S0不是单元素集,求得差异集D0={y,z},其中y是变元,z是项,且y不在z中出现.k=k+1=1 有δ1=δ0・{z/y}=ε・{z/y}={z/y}, S1=S0・{z/y}={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是单元素集, 求得差异集D1={z,x},k=k+1=2;

δ2=δ1・{z/x}={z/y,z/x}, S2=S1・{z/x}={P(f(z),z,g(z))}是单元素集. 根据求MGU算法,MGU=δ2={z/y,z/x}

5、证:①P(x) ...从F变换 ②Q(a)∨Q(x) ...从F变换 ③P(y)∨Q(y) ...结论的否定 ④Q(x)归结,{x/y} ⑤ ...②④归结,置换{a/x} 得证.

四、

1、

2、

3、解:现定义如下谓词 F(x,y)------ x是y的父亲;

G(x,z)------ x是y的祖父;

用谓词逻辑表示已知与求解: (1) F(x,y)∧F(y,z)→G(x,z) (2) F(L,D) (3) F(D,X) (4) G(u,v),u=?,v=? 其中,L表示老李,D表示大李,X表示小李. 先证存在祖孙关系 ① F(x,y)∨F(y,z)∨G(x,z)...从(1)变换 ② F(L,D)从(2)变换 ③ F(D,X)从(3)变换 ④ G(u,v)结论的否定 ⑤ F(D,z)∨G(L,z) ...①②归结,置换{L/x,D/y} ⑥ G(L,X)归结,置换{X/z} ⑦ ...④⑥归结,置换{L/u,X/v} 得证,说明存在祖孙关系. 为了求解用一个重言式④ ④ G(u,v)∨G(u,v) ...用重言式代替结论的否定,重言式恒为真 ⑤ F(D,z)∨G(L,z) ...①②归结,置换{L/x,D/y} ⑥ G(L,X)归结,置换{X/z} ⑦ G(L,X)归结,置换{L/u,X/v} 得结果:L是X的祖父,即老李是小李的祖父. ........