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

人工智能基础 实验五：推理技术 2012-2013 学年第二学期 人工智能基础（第 2 版） 实验五 化为子句集的九步法实验 1. 提交期限和方法 2. 实验目的 理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理 规则，能把任意谓词公式转换成子句集。 3. 实验任务 1. 把任意公式如 制作成如图所示化为子句集的九步实验程序。 2. 用你所熟悉的程序语言实现，可以 B/S 实现，也可以 C/S 实现。 4. 提交要求 1、本次实验为个人任务，需独立完成，以纸质和电子档的形式把实验报告提交给学习 委员，再由学习委员在规定期限内提交给任课老师。 2、要求把所做的程序的 演示图附加 到实验报告上， 代码 不需要添加到实验报告上。 3、撰写实验报告 实验报告具体内容如下： 实验题目、实验目的、实验原理、实验条件、实验内容、实验步骤、程序代码、个人 实验小结 。