631306050101吴磊+谓词演算+专家系统.doc

重庆交通大学计算机与信息学院 验证性实验报告 班 级： 软件开发 专业2013级1班 学 号： 631306050101 姓 名： 吴磊 实验项目名称： 人工智能实验 实验项目性质： 验证性实验 实验所属课程： 人工智能 实验室(中心)：软件中心实验室（语音楼8楼） 指 导 教 师 ： 朱振国 实验完成时间： 2016 年 6 月 10 日 实验一 一、实验目的 1、 掌握人工智能系统设计和实现的方法 2、 掌握用推理技术求解问题的方法 3、 掌握谓词逻辑及产生式等知识表示方式方法 4、 培养实践创新的能力和严谨求实的素养 二、实验内容及要求 采用归结反驳证明灰色大象喜欢粉红大象 三、实验设备及软件 计算机，以及相关的编程软件 四、设计方案 ㈠ 题目 Sam、Clyde和Oscar是大象。关于它们，我们知道如下事实 Sam是粉红色的 Clyde是灰色的并且喜欢Oscar Oscar是