人工智能实验六_子句集化简.docx

《人工智能实验六_子句集化简.docx》由会员分享，可在线阅读，更多相关《人工智能实验六_子句集化简.docx（4页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、人工智能实验六_子句集化简 第 六 次 试验 报告 人工 智能 及其应用学号：20177710541 姓名 ：王帅兵2020 年 年 10 月 月 12 日 目 目录1 试验内容. 3 2 试验目的. 3 3 试验步骤. 4 4 试验结果. 4 5 存在问题. 5 1 试验 内容 第一题：运用归结原理证明下述推理正确。（1）已知：狗都会吠叫和咬人。任何动物吠叫时总是吵人的。松狮是狗。结论：松狮是吵人的。其次题：用归结反演方法证明一只灰色大象喜爱一只粉红色大象 （2）Sam、Clyde、Oscar 是三只大象，关于它们，已知如下事实：Sam 是粉红色的； Clyde 是灰色的且喜爱 Oscar；

2、 Oscar 是粉红色或者是灰色（但不是两种颜色）且喜爱 Sam。请将分析过程及具体步骤和最终结果写入试验报告2 试验 目的 1.熟识子句集化简的九个步骤； 2.理解消解规则，能把随意谓词公式转换成子句集。3 试验 步骤 第一题：证明:首先定义如下谓词: B(x):x 是咬人的。F(x):x 是吠叫的。D(x):x 是狗。N(x):x 是吵人的。G(x):x 是松狮。将上述各语句翻译成谓词公式: F1: ∀ x(D(x)→(B(x) F(x) F2: ∀ x(F(x)→N(x) F3: ∀ x(G(x)→D(x) G:&f

3、orall; x(G(x)→ N(x) 利用归结反演法，先证明 F1 F2 F3 ¬G 是不行满意的。F1 F2 F3 ¬G 的子句集为 (1)¬D(x) ∨ B(x) (2)¬D(y)∨ F(y) (3)¬F(z) ∨ N(z) (4) ¬G(u) ∨ D(u) (5)G(a) (6)¬N(a) 进行归结得: (7) B(a)(1) (5) a/x (8) F(a)(2) (5) a/y (9)¬F(a)(3) (6) a/z (10) NIL (8) (9) 得证。其次题：解：首先定义如下谓词

4、: Pink(x)表示 x 是粉红色的大象。Gray(x)表示 x 是灰色的大象。Likes ( x，y)表示 x 喜爱 y. 已知条件可以表示成如下谓词公式: (1)Pink (Sam) (2)Gray ( Clyde)∧ Likes ( Clyde，Oscar) (3)( Gray ( Oscar) ∨ Pink ( Oscar) ∧ Likes ( Oscar，Sam) 设求证的公式为:G:∃ x∃ y ( Gray (x)∧Pink ( y)∧ Likes ( x，y) 把其否定化为子句形式 (1)Pink (Sam) (2

5、) Gray ( Clyde) (3)Likes ( Clyde，Oscar) (4) Gray ( Oscar) ∨Pink ( Oscar) (5)Likes ( Oscar，Sam) (6)¬Gray ( x) ∨¬Pink ( y) ∨¬Likes ( x.y) 进行归结: (7)¬Gray (x) ∨¬Likes ( x，Sam)(1)(6)归结Sam/y (8)¬Gray ( Oscar)(5)(7) Oscar/x (9)Pink(Oscar) (4)(8) (10)¬Gray (x) ∨¬Likes ( x,Oscar)(6)(9)归结Oscar/y (11)¬Likes ( Oscar，Sam)(2)(10)归结Oscar/y (12）Nil(3)(11)归结Sam/y 证明一只灰色大象喜爱一只粉红色大象4 试验 结果 5 存在 问题