人工智能导论—实验一docx 人工智能导论谓词公式转化成子句集

人工智能导论—实验一docx

人工智能导论实验报告——谓词逻辑知识表示机器人搬盒子问题、爱因斯坦逻辑难题(斑马问题)内容：理解谓词逻辑知识表示的方法，掌握一阶谓词逻辑知识表示的基本原理，能够利用归结原理求解简单问题。掌握Prolog编程环境，熟悉逻辑推理编写过程。主要知识点：谓词、原子公式、谓词公式、子句、子句集、空子句、归结原理。重点：谓词公式、子句集和归结原理的实现。难点：归结原理的实现。