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

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