人工智能导论—实验一.docx
需积分: 5 124 浏览量
2022-01-14
15:32:04
上传
评论
收藏 755KB DOCX 举报
实 验 报 告
课 程 人工智能导论 实验项目 谓词逻辑知识表示 成 绩
专业班级 班内序号 指导教师
姓 名 学 号 实验日期
实验目的及要求：
理解谓词逻辑知识表示的方法，掌握一阶谓词逻辑知识表示的基本原理，能够利用归结
原理求解简单问题。掌握 Prolog 编程环境，熟悉逻辑推理编写过程。
主要知识点：谓词、原子公式、谓词公式、子句、子句集、空子句、归结原理。
重点：谓词公式、子句集和归结原理的实现。
难点：归结原理的实现。
实验内容：
实验项目 1：
机器人搬盒子问题：设在一个房间里，有一个机器人 robot ，一个壁橱 alcove，一个积
木块 box，两个桌子 A 和 B。开始时，机器人 robot 在壁橱 alcove 旁边，且两手空空，桌子 A
放着积木块 box，桌子 B 是空的。机器人可把积木块 box 从一种状态桌子 A 上变换成另一种
状态桌子 B 上，然后回到壁橱。用归结原理方法求解该问题？
实验要求：
1．用谓词公式表示问题的初始状态、目标状态以及机器人操作；
2．将谓词公式转换为子句集；
3. 利用归结原理对子句集中的子句进行归结。
4. 用 Prolog 实现机器人搬盒子的谓词逻辑。
5. 用 Python 或其他编程语言实现该问题的求解。
实验项目 2：
爱因斯坦逻辑难题(斑马问题)：5 个不同国家且工作各不相同的人分别住在一条街上的 5
所房子里，每所房子的颜色不同，每个人都有自己养的不同宠物，喜欢喝不同的饮料。根据
以下信息，你能告诉我哪所房子里的人养斑马，哪所房子里的人喜欢喝矿泉水吗？
1. 英国人住在红色的房子里
2. 西班牙人养了一条狗
3. 日本人是一个油漆工
4. 意大利人喜欢喝茶
5. 挪威人住在左边的第一个房子里
6. 绿房子在白房子的右边
评论0