人工智能与知识工程课程复习题

人工智能与知识工程课程复习题第9页“人工智能与知识工程”课程复习题辨析题人工智能作为一门学科，在1956年诞生于美国Dartmouth大学。（正确）英国数学家图灵1950年在思想（mind）杂志上发表的论文“计算机与智力”是人工智能学科正式诞生的标志。（错误）人工智能是一门新兴的学科，对它的研究有逻辑学派、认知学派、知识工程学派等许多学派。（正确）关于人工智能研究的途径目前主要有两种观点，一种观点被称为符号主义，另一种观点被称为联结主义。（正确）谓词演算与命题演算在问题的描述和求解方面的能力是相同的。（错误）谓词逻辑只是在命题逻辑的基础上增加了谓词。（错误）如果两个谓词公式等价，则表明它们只是在形式上不同，其逻辑意义完全相同。（正确）由推理规则产生的谓词演算公式不是永真的。（正确）由文字组成的子句未必是逻辑命题。（错误）一个谓词演算公式与它的Skolem标准型在逻辑上是等价的。（错误）知识表示包括一个系统，该系统提供到知识体的通路和对知识体访问的手段（亦即计算处理过程），知识体是存放在存储器中的数据结构。（正确）蕴涵式和产生式在表示规则性知识时，虽然形式上相同，但功能上完全不同。（正确）产生式规则就是命题逻辑或谓词逻辑中的蕴涵式。（错误）产生式知识表示方法属于陈述性知识表示的观点。（错误）产生式系统中只有规则库是用来表示知识的。（错误）产生式系统的推理机不包含知识。（错误）单项选择题与谓词演算公式等价的公式是（B）A.B.C.D.与谓词演算公式等价的命题是（C）A.B.C.D.谓词演算公式和的最一般合一式是（B）A.B.C.D.不可合一，所以没有最一般合一式谓词演算公式和的最一般合一式是（C）A.B.C.D.不可合一，所以没有最一般合一式一个子句集在删除其中被包孕的子句后所得到的新子句集，与原子句集在不可满足的意义下（A）A.等价B.不等价C.有时等价，有时不等价D.是否等价不能确定一个子句集在删除其中的重言式后所得到的新子句集，与原子句集在不可满足的意义下（A）A.等价B.不等价C.有时等价，有时不等价D.是否等价不能确定子句集，（B）A.是不可满足的B.是可满足的C.有时可满足，有时不可满足D.是否可满足不能确定对两个子句和进行消解，得到的结果是（B）A.空子句B.C.D.设和是可以归结的两个子句，在某解释下的真值为T，而的真值为F，则其归结式在该解释下的真值（D）A.为TB.为FC.既不为T，也不为FD.不能确定设和是可以消解的两个子句，在某解释下和的真值都为T，则其消解式在该解释下的真值（A）A.为TB.为FC.既不为T，也不为FD.不能确定“黑色Buick车的引擎不能转动，并且电瓶内有电。”为了能够用一个产生式系统检测这辆汽车的故障，应当把这些已知事实加入系统的（A）A.综合数据库B.规则库C.综合数据库、规则库D.推理机“蒙蒙是学龄儿童，身上有红色斑点，并且发烧。”为了能够用产生式系统诊断蒙蒙所患的疾病，应当把这些事实加入系统的（C）A.综合数据库和规则库B.规则库C.综合数据库D.推理机设F:G:求证：G是F的逻辑结论。证明：首先将F和G的否定化为子句集F的子句集为G的否定的子句集为然后对子句集按以下过程进行归结(1)(2)(3)(4)(5)(6)(1)与(3)归结(7)(4)与(6)归结(8)NIL(5)与(7)归结由于归结出空子句，从而证明G是F的逻辑结论。四、设F1:F2:G:求证：G是F1，F2的逻辑结论。证明：首先将F1，F2和G的否定化为子句集F1的子句集为F2的子句集为G的否定的子句集为然后对子句集按以下过程进行归结，从中归结出空子句(1)(2)(3)(4)(5)(6)(1)与(2)归结(7)(3)与(4)归结(8)(7)与(6)归结(9)NIL(8)与(5)归结从而证明G是F1，F2的逻辑结论。五、证明：证明：第一步：先对结论否定并与前提合并得谓词公式GG：第二步：将公式G化为子句集，可将G看作以下三项的合取G1：G2：G3：对每一项分别求子句集G1的子句集为G2的子句集为G3的子句集为从而得到G的子句集第三步：应用归结原理，对子句集中的子句进行归结(1)(2)(3)(4)(5)(6)(2)与(3)归结(7)(4)与(5)归结(8)NIL(6)与(7)归结由此得出子句集是不可满足的，即G是不可满足的，从而命题得证。六、证明：证明：第一步：对结论否定并与前提合并得谓词公式G：第二步：将公式G化为子句集，可将G看作三项的合取，G1：G2：G3：对每一项分别求子句集G1的子句集为G2的子句集为G3的子句集为从而得到G的子句集第三步：应用归结原理，对子句集中的子句进行归结(1)(2)(3)(4)(5)(6)(2)与(3)归结(7)(4)与(5)归结为(8)NIL(6)与(7)归结由此得出子句集是不可满足的，即G是不可满足的，从而命题得证。七、已知：John是贼；Paul喜欢酒和奶酪；如果Paul喜欢某物，则John也喜欢某物；如果某人是贼，而且他喜欢某物，则他就可能会偷窃某物。试用归结原理求取问题“John可能会偷窃什么？”的答案。解：第一步：定义谓词，将已知条件用谓词公式表示出来，并化成子句集。(1)定义谓词表示是贼；表示喜欢；表示可能会盗窃。(2)将已知条件表示成谓词公式F1：F2：F3：F4：(3)将谓词公式化为子句集得第二步：把问题用谓词公式表示出来，并将其否定与谓词作析取得G：第三步：将谓词公式G化为子句集将与合并得第四步：应用归结原理对子句集中的子句进行归结(1)(2)(3)(4)(4)(5)(6)(1)与(4)归结为(7)(2)与(4)归结(8)(3)与(4)归结(9)(7)与(6)归结(10)(8)与(6)归结(11)(9)与(5)归结(12)(10)与(5)归结第五步：得到了归结式和，因此答案是John可能会盗窃wine和cheese。八、已知：(1)任何人的兄弟不是女性；(2)任何人的姐妹必是女性；(3)Mary是Bill的姐妹。试用归结原理证明：Mary不是Bill的兄弟。证明：第一步：定义谓词，将待证明的问题的前提条件和结论用谓词公式表示出来。(1)定义谓词：表示是的兄弟；表示是的姐妹；表示是女性。(2)将待证明问题的前提条件和结论表示成谓词公式：F1：F2：F3：G：第二步：将F1，F2，F3和G的否定分别化成对应的子句F1对应的子句：F2对应的子句：F3对应的子句：G的否定对应的子句：第三步：应用归结原理，对由以上子句所组成的子句集进行归结(1)(2)(3)(4)(5)(1)与(4)归结(6)(2)与(3)归结(8)NIL(5)与(6)归结这样就由于否定结论“Mary不是Bill的兄弟”而推出了矛盾，从而证明原来的结论是正确的。九、已知三个柱子1，2，3和二个盘子A，B（A比B小）。初始状态下，A，B依次放在1柱上。目标状态是A，B依次放在3柱上。条件是每次只可移动一个盘子，盘子上方是空时方可移动，而且任何时候都不允许大盘在小盘之上。试用状态空间表示该二阶Hanoi塔问题，并通过状态空间图求出该二阶Hanoi塔问题的盘移动次数最少的最优解。解：首先按以下步骤将问题以状态空间的形式表示出来。第一步，定义问题的状态描述形式。设用表示问题的状态，表示盘子A所在的柱号，表示盘子B所在的柱号。第二步，用所定义的状态描述形式把问题的所有可能状态都表示出来，并确定出问题的初始状态集合描述和目标状态集合描述。本问题所有可能的状态共有9种，各状态的形式描述如下：问题的初始状态集合为，目标状态集合为。第三步，定义一组算符。定义算符表示把盘子A从第i号柱子移到第j号柱子的操作；算符表示把盘子B从第i号柱子移到第j号柱子的操作。这样定义的算符组中共有12个算符，它们分别是至此，该问题的状态空间构造完成。这就完成了对问题的状态空间表示。然后，根据该状态空间的9种可能和12种算符，构造它的状态空间图。其状态空间图如下图所示。出匹配规则R1，R2，执行R1得到新的事实“李太太是中年人”，将新的事实作为F5加入综合数据库中。根据综合数据库中的事实在R中找出匹配规则R2，执行R2得到新的事实“李先生是老练而细心的，并有驾驶技术”，将新的事实作为F6加入综合数据库中。根据综合数据库中的事实在R中找出匹配规则R2，执行R2得到新的事实“李太太是老练而细心的”，将新的事实作为F7加入综合数据库中。根据综合数据库中的事实在R中找出匹配规则R3，执行R3得到新的事实“李先生是不会出交通事故的”，将新的事实作为F8加入综合数据库中。此时，