实验五 化为子句集的九步法实验.docxVIP

2012-2013 学年第二学期人工智能基础实验五：推理技术 2012-2013 学年第二学期 人工智能基础 实验五：推理技术 第 第 PAGE 2 页 共 2 页 人工智能基础（第 2 版） 实验五 化为子句集的九步法实验 提交期限和方法 实验目的 理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理规则，能把任意谓词公式转换成子句集。 实验任务 把任意公式如 制作成如图所示化为子句集的九步实验程序。 用你所熟悉的程序语言实现，可以 B/S 实现，也可以 C/S 实现。 4. 提交要求 1、本次实验为个人任务，需独立完成，以纸质和电子档的形式把实验报告提交给学习委员，再由学习委员在规定期限内提交给任课老师。 2、要求把所做的程序的演示图附加到实验报告上，代码不需要添加到实验报告上。 3、撰写实验报告 实验报告具体内容如下： 实验题目、实验目的、实验原理、实验条件、实验内容、实验步骤、程序代码、个人实验小结。 4、未按时提交实验报告者，每迟交一天扣 1 分，扣完为止。经辅导员同意并签字的事病假时间不计入迟交范围。 凡被发现实验报告有抄袭者，本次成绩以零分记。