子句归结实验1
需积分: 0 26 浏览量
2022-08-03
15:02:33
上传
评论 1
收藏 482KB PDF 举报
一.实验概述
(1)实验目的
熟悉和掌握归结原理的基本思想和基本方法，通过实验培养学生利用逻辑方法表示知识，
并掌握采用机器推理来进行问题求解的基本方法。
(2)实验内容
1. 对所给问题进行知识的逻辑表示，转换为子句，对子句进行归结求解。
2. 选用一种编程语言，在逻辑框架中实现 Horn 子句的归结求解。
3. 对下列问题用逻辑推理的归结原理进行求解，要求界面显示每一步的求解过程。
破案问题：在一栋房子里发生了一件神秘的谋杀案，现在可以肯定以下几点事实：
(a)在这栋房子里仅住有A,B,C三人；
(b)是住在这栋房子里的人杀了A；
(c)谋杀者非常恨受害者；
(d)A所恨的人，C一定不恨；
(e)除了B以外，A恨所有的人；
(f)B恨所有不比A富有的人；
(g)A所恨的人，B也恨；
(h)没有一个人恨所有的人；
(i)杀人嫌疑犯一定不会比受害者富有。
为了推理需要，增加如下常识：
(j)A不等于B。
问：谋杀者是谁？
4.撰写实验报告，提交源代码（进行注释）、实验报告、汇报 PPT
二.实验方案设计
(1)总体设计思路与总体架构
总体设计框架分为三大部分：
评论0