人工智能子句消解实验报告

实 验 报 告一．实验名称：字句消解原理实验二．实验目的：理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理规则，能把任意谓词公式转换成子句集，并能够得到消解式。对基础编程语言的熟悉，