人工智能导论实验1——机器人搬盒子爱因斯坦斑马问题

2023-10-14 06:10
文章标签 问题 实验 机器人 人工智能 盒子 导论 爱因斯坦 斑马

本文主要是介绍人工智能导论实验1——机器人搬盒子爱因斯坦斑马问题，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

人工智能导论实验1——机器人搬盒子&爱因斯坦斑马问题

实验目的及要求：
理解谓词逻辑知识表示的方法，掌握一阶谓词逻辑知识表示的基本原理，能够利用归结原理求解简单问题。掌握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所房子里，每所房子的颜色不同，每个人都有自己养的不同宠物，喜欢喝不同的饮料。根据以下信息，你能告诉我哪所房子里的人养斑马，哪所房子里的人喜欢喝矿泉水吗？
6. 英国人住在红色的房子里
7. 西班牙人养了一条狗
8. 日本人是一个油漆工
9. 意大利人喜欢喝茶
10. 挪威人住在左边的第一个房子里
11. 绿房子在白房子的右边
12. 摄影师养了一只蜗牛
13. 外交官住在黄房子里
14. 中间那个房子的人喜欢喝牛奶
15. 喜欢喝咖啡的人住在绿房子里
16. 挪威人住在蓝色的房子旁边
17. 小提琴家喜欢喝橘子汁
18. 养狐狸的人所住的房子与医生的房子相邻
19. 养马的人所住的房子与外交官的房子相邻

实验要求：
20. 用Prolog实现斑马问题的逻辑推理。
21. 在华为云的ModelArts中用Python实现该问题的求解。

思考题：
22. 如何将谓词公式转换为子句集？
23. 谓词公式与子句集等值吗？

实验步骤：

项目试验1：

1.相关谓词定义：

table （x）：x 是桌子
empty （y）：y 手中是空的
at（ y，z）： y 在 z 附近
holds （y，w）：y 拿着 w
on（w，x）：w 在 x 上面

问题初始状态
table （a）
table （b）
empty （robot）
at（ robot，alcove）
on（box，a）

问题目标状态
table （a）
table （b）
empty （robot）
at（ y，z）
on（box，a）

机器人操作:
goto(x，y):
条件：at（ robot，x）
动作：删除：at（ robot，x）
增加：at（ robot，y）
pickup(x):
条件：on(box,x) ^ table(x) ^ empty(robot)
动作：删除: on(box,x) ^ empty(robot)
增加：hold(robot,box)
setdown(x):
条件：hold(robot,box) ^ table(x)
动作：
删除：hold(robot,box)
增加：empty(robot) ^ on(box,x)

2.将谓词公式转换为子句集

机器人x在c处手里没有盒子，盒子y在a处，那么机器人去a拿起盒子y:
(∀ x) (∀y) empty （x） ⋀ at（ x，alcove）⋀ on（y，a）→go（a）⋀ pick（y）
转化为子句集为
{ empty （x，f(x)） ⋀ at（ y，g(y)⋀ on（y，g(y） ，go（x,f(x)）⋀ pick（y,g(y)）

机器人x在a手中有盒子y，那么机器人x走到b放下盒子y:
(∀ x) (∀y) ┐ empty （x） ⋀ at（ x，a）⋀ holds （x，y）→go（b）⋀ set-down（y）
转化为子句集为
{┐ empty （x,f(x)） ⋀ at（ x，g(x)）⋀ holds （x，z(x)）,go（y,f(y)）⋀ set-down（y,g(y)）}

机器人x在b手中没有盒子，盒子y在b处,那么机器人走到c处：
(∀ x) (∀y) empty （x） ⋀ at（ x，b）⋀ on（y，b）→go（alcove）
转化为子句集为
{empty （x，f(x)） ⋀ at（ x，g(x)）⋀ on（y，f(y)），go（x,z(x)）}

3.利用归结原理对子句集中的子句进行归结

(1)at(robot,c)
(2)at(box,a)
(3)empty(robot)
(4) at(robot,c) ⋀at(box,a) ⋀empty(robot)
(5) ┐ empty （x） ⋀ at（ x，a）⋀ holds （x，y）
(6) go（b）⋀ set-down（y）
(7) empty （x） ⋀ at（ x，b）⋀ on（y，c）→go（c）

4.用Prolog实现机器人搬盒子的谓词逻辑
table(a). 
table(b).
empty(robot).
at(robot,c). 
on(box,a).
goto(robot,a):-at(robot,c).at(robot,a).
pick(a):-empty(robot),on(box,a),table(a).on(box,robot).
empty(a).
goto(robot,b):-at(robot,a),empty(a),on(box,robot).at(robot,b).
set-down(b):-table(b),on(box,robot),at(robot,b).empty(robot).
on(box,b).
at(robot,b).
goto(robot,c):-on(box,b),at(robot,b).at(robot,c).
empty(robot).
on(box,b).
finish(box):-on(box,b),at(robot,c),empty(robot).
5. C语言实现
#include <stdio.h>
#include <stdlib.h>
/**
* @author 
*/
// 描述系统状态
typedef struct Problem {char robot_site; // 描述机器人的位置char is_robot_block; // 机器人手中是否拿着箱子char block_site; // 箱子所在位置
}SProblem;
// 初始化系统初始状态和目标状态
int init_status(SProblem* obj, SProblem* p, int* status_number) {obj->robot_site = 'c';obj->is_robot_block = 'N';obj->block_site = 'b';p->robot_site = 'c';p->is_robot_block = 'N';p->block_site = 'a';printf(" 状态 %d：\n 机器人当前所在位置 : %c, 机器人是否拿着箱子： %c，箱子所在位置： %c。\n\n", *status_number, p->robot_site, p->is_robot_block, p->block_site);*status_number += 1;
}
// 机器人移动
int robot_move(SProblem* p, char robot_object_site, int* status_number) {char temp_robot_site = p->robot_site;p->robot_site = robot_object_site;printf(" 状态 %d：\n 机器人从 %c 移动到了 %c。\n\n", *status_number, temp_robot_site,p->robot_site);*status_number += 1;
}
// 机器人搬起箱子
int pick_up_block(SProblem* p, char is_robot_block, char block_site, int* status_number) {p->is_robot_block = is_robot_block;p->block_site = block_site;if (p->is_robot_block == 'Y') {printf(" 状态 %d：\n 机器人拿起了箱子。 \n\n", *status_number);}*status_number += 1;
}
// 机器人放下箱子
int set_down_block(SProblem* p, char is_robot_block, char block_site, int* status_number) {p->is_robot_block = is_robot_block;p->block_site = block_site;if (p->is_robot_block == 'N') {printf(" 状态 %d：\n 机 器 人 将 箱 子 放 在 了 %c 。 \n\n", *status_number, p->block_site);}*status_number += 1;
}
// 判断机器人是否完成任务
int judeg_obj(const SProblem obj, const SProblem p) {if (obj.robot_site == p.robot_site && obj.is_robot_block == p.is_robot_block &&obj.block_site == p.block_site) {printf(" 机器人完成任务。 \n");}
}
int main(int argc, char* argv[]) {SProblem sp;SProblem obj;int status_number = 1;char robot_object_site = 'a';char block_site = 'r';char is_robot_block;// 状态 1：机器人位置 c 是否拿着箱子 N 箱子位置 ainit_status(&obj, &sp, &status_number);// 状态 2：机器人位置 a 是否拿着箱子 N 箱子位置 arobot_move(&sp, robot_object_site, &status_number);block_site = 'r';is_robot_block = 'Y';// 状态 3：机器人位置 a 是否拿着箱子 Y 箱子位置 robotpick_up_block(&sp, is_robot_block, block_site, &status_number);robot_object_site = 'b';// 状态 4：机器人位置 b 是否拿着箱子 Y 箱子位置 robotrobot_move(&sp, robot_object_site, &status_number);block_site = 'b';is_robot_block = 'N';// 状态 5：机器人位置 b 是否拿着箱子 N 箱子位置 bset_down_block(&sp, is_robot_block, block_site, &status_number);robot_object_site = 'c';// 状态 5：机器人位置 c 是否拿着箱子 N 箱子位置 brobot_move(&sp, robot_object_site, &status_number);// 判断机器人是否完成任务judeg_obj(obj, sp);return 0;
}

实验项目2：

根据题意，填表可得：
在这里插入图片描述
所以养斑马的人住在5号房子的日本人
喜欢喝矿泉水的是住在1号房子的挪威人

prolog代码如下：

house(A,[A,_,_,_,_]).
house(A,[_,A,_,_,_]).
house(A,[_,_,A,_,_]).
house(A,[_,_,_,A,_]).
house(A,[_,_,_,_,A]).right(A,B,[A,B,_,_,_]).
right(A,B,[_,A,B,_,_]).
right(A,B,[_,_,A,B,_]).
right(A,B,[_,_,_,A,B]).middle(A,[_,_,A,_,_]).first(A,[A,_,_,_,_]).neighbor(A,B,[A,B,_,_,_]).
neighbor(A,B,[_,A,B,_,_]).
neighbor(A,B,[_,_,A,B,_]).
neighbor(A,B,[_,_,_,A,B]).
neighbor(A,B,[B,A,_,_,_]).
neighbor(A,B,[_,B,A,_,_]).
neighbor(A,B,[_,_,B,A,_]).
neighbor(A,B,[_,_,_,B,A]).attr(_Country,_Pet,_Color,_Drink,_Work).all_houses(Houses) :-house(attr(britsh,_,red,_,_), Houses),house(attr(spain,dog,_,_,_), Houses),house(attr(japan,_,_,_,painter), Houses),house(attr(italy,_,_,tea,_), Houses),house(attr(norway,_,_,_,_), Houses),first(attr(norway,_,_,_,_), Houses),right(attr(_,_,white,_,_), attr(_,_,green,_,_), Houses),house(attr(_,snail,_,_,photographer), Houses),house(attr(_,_,yellow,_,diplomat), Houses),middle(attr(_,_,_,milk,_), Houses),house(attr(_,_,green,cafe,_), Houses),neighbor(attr(norway,_,_,_,_), attr(_,_,blue,_,_), Houses),house(attr(_,_,_,orange,violinst), Houses),neighbor(attr(_,fox,_,_,_), attr(_,_,_,_,doctor), Houses),neighbor(attr(_,horse,_,_,_), attr(_,_,_,_,diplomat), Houses),house(attr(_,zebra,_,_,_), Houses),house(attr(_,_,_,water,_), Houses).

最终使用all_houses(A)查询所有的房子及其属性：
在这里插入图片描述
Python实现如下：

from kanren import *             
from kanren.core import lall     # lall 包用于定义规则
import time
#定义 left()函数，用来查找哪个房屋左边
def left(q, p, list):return membero((q,p), zip(list, list[1:]))
#定义 next()函数，用来接近谁的房子
def next(q, p, list):return conde([left(q, p, list)], [left(p, q, list)])
from kanren import *
from kanren.core import lall     # lall 包用于定义规则
import time#定义 left()函数，用来查找哪个房屋左边
def left(q, p, list):return membero((q,p), zip(list, list[1:]))
#定义 next()函数，用来接近谁的房子
def next(q, p, list):return conde([left(q, p, list)], [left(p, q, list)])houses = var()
rules_zebraproblem = lall((eq, (var(), var(), var(), var(), var()), houses),       # 5 个 var()分别代表人、烟、饮料、动物、屋子颜色# 房子里的每个子成员有五个属性: membero(国家，身份，饮料，宠物，房子)(membero,('英国人', var(), var(), var(), '红色'), houses),          # 1. 英国人住在红色的房子里(membero,('西班牙人', var(), var(), '狗', var()), houses),          # 2. 西班牙人养了一条狗(membero,('日本人', '油漆工', var(), var(), var()), houses),        # 3. 日本人是一个油漆工(membero,('意大利人', var(), '茶', var(), var()), houses),          # 4. 意大利人喜欢喝茶# 5. 挪威人住在左边的第一个房子里(eq,(('挪威人', var(), var(), var(), var()), var(), var(), var(), var()), houses),(left,(var(), var(), var(), var(), '白色'),(var(), var(), var(), var(), '绿色'), houses),    # 6. 绿房子在白房子的右边(membero,(var(), '摄影师', var(), '蜗牛', var()), houses),                     # 7. 摄影师养了一只蜗牛(membero,(var(), '外交官', var(), var(), '黄色'), houses),                     # 8. 外交官住在黄房子里(eq,(var(), var(), (var(), var(), '牛奶', var(), var()), var(), var()), houses),      # 9. 中间那个房子的人喜欢喝牛奶(membero,(var(), var(), '咖啡', var(), '绿色'), houses),                  # 10. 喜欢喝咖啡的人住在绿房子里# 11. 挪威人住在蓝色的房子旁边(next,('挪威人', var(), var(), var(), var()),(var(), var(), var(), var(), '蓝色'), houses),(membero,(var(), '小提琴家', '橘子汁', var(), var()), houses),               # 12. 小提琴家喜欢喝橘子汁# 13. 养狐狸的人所住的房子与医生的房子相邻(next,(var(), var(), var(), '狐狸', var()),(var(), '医生', var(), var(), var()), houses),# 14. 养马的人所住的房子与外交官的房子相邻(next,(var(), var(), var(), '马', var()),(var(), '外交官', var(), var(), var()), houses),(membero,(var(), var(), var(), '斑马', var()), houses),                  # 问题 1. 有人养斑马(membero,(var(), var(), '矿泉水', var(), var()), houses),                   # 问题 2. 有人喜欢喝矿泉水)# 使用 rules_zebraproblem 约束运行解算器
solutions = run(0, houses, rules_zebraproblem)
# 提取解算器的输出
output = [house for house in solutions[0] if '斑马' in house][0][4]
print ('\n{}房子里的人养斑马'.format(output))
output = [house for house in solutions[0] if '矿泉水' in house][0][4]
print ('\n{}房子里的人喜欢喝矿泉水\n'.format(output))# 解算器的输出结果展示
print("所有结果如下:")
for i in solutions[0]:print(i)

结果如下：
在这里插入图片描述

思考题：
1、如何将谓词公式转换为子句集？
1)消去蕴含等价式
2)移动否定符号
3)变量标准化
4)消去存在量词
5)化为前束型
6)化为skolem标准型
7)略去全称量词
8)消去合取词，把母式用子句集表示
9)字句变量标准化

2、谓词公式与子句集等值吗？
1)谓语公式与它的子句集不是总等价的。
2)在谓语公式不可满足的情况下是等价的。

这篇关于人工智能导论实验1——机器人搬盒子爱因斯坦斑马问题的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/208682。

相关文章

解读为什么@Autowired在属性上被警告,在setter方法上不被警告问题

解读为什么@Autowired在属性上被警告,在setter方法上不被警告问题

《解读为什么@Autowired在属性上被警告,在setter方法上不被警告问题》在Spring开发中,@Autowired注解常用于实现依赖注入,它可以应用于类的属性、构造器或setter方法上,然... 目录1. 为什么 @Autowired 在属性上被警告？1.1 隐式依赖注入1.2 IDE 的警告：
阅读更多...
解决java.lang.NullPointerException问题(空指针异常)

解决java.lang.NullPointerException问题(空指针异常)

《解决java.lang.NullPointerException问题(空指针异常)》本文详细介绍了Java中的NullPointerException异常及其常见原因,包括对象引用为null、数组元... 目录Java.lang.NullPointerException(空指针异常)NullPointer
阅读更多...
Android开发中gradle下载缓慢的问题级解决方法

Android开发中gradle下载缓慢的问题级解决方法

《Android开发中gradle下载缓慢的问题级解决方法》本文介绍了解决Android开发中Gradle下载缓慢问题的几种方法,本文给大家介绍的非常详细,感兴趣的朋友跟随小编一起看看吧... 目录一、网络环境优化二、Gradle版本与配置优化三、其他优化措施针对android开发中Gradle下载缓慢的问
阅读更多...
关于Nginx跨域问题及解决方案(CORS)

关于Nginx跨域问题及解决方案(CORS)

《关于Nginx跨域问题及解决方案(CORS)》文章主要介绍了跨域资源共享（CORS）机制及其在现代Web开发中的重要性,通过Nginx,可以简单地解决跨域问题,适合新手学习和应用,文章详细讲解了CO... 目录一、概述二、什么是 CORS？三、常见的跨域场景四、Nginx 如何解决 CORS 问题？五、基
阅读更多...
MySQL安装时initializing database失败的问题解决

MySQL安装时initializing database失败的问题解决

《MySQL安装时initializingdatabase失败的问题解决》本文主要介绍了MySQL安装时initializingdatabase失败的问题解决,文中通过图文介绍的非常详细,对大家的学... 目录问题页面：解决方法：问题页面：解决方法：1.勾选红框中的选项：2.将下图红框中全部改为英
阅读更多...
Nginx启动失败：端口80被占用问题的解决方案

Nginx启动失败：端口80被占用问题的解决方案

《Nginx启动失败：端口80被占用问题的解决方案》在Linux服务器上部署Nginx时,可能会遇到Nginx启动失败的情况,尤其是错误提示bind()to0.0.0.0:80failed,这种问题通... 目录引言问题描述问题分析解决方案1. 检查占用端口 80 的进程使用 netstat 命令使用 ss
阅读更多...
mybatis和mybatis-plus设置值为null不起作用问题及解决

mybatis和mybatis-plus设置值为null不起作用问题及解决

《mybatis和mybatis-plus设置值为null不起作用问题及解决》Mybatis-Plus的FieldStrategy主要用于控制新增、更新和查询时对空值的处理策略,通过配置不同的策略类型... 目录MyBATis-plusFieldStrategy作用FieldStrategy类型每种策略的作
阅读更多...
linux下多个硬盘划分到同一挂载点问题

linux下多个硬盘划分到同一挂载点问题

《linux下多个硬盘划分到同一挂载点问题》在Linux系统中,将多个硬盘划分到同一挂载点需要通过逻辑卷管理（LVM）来实现,首先,需要将物理存储设备（如硬盘分区）创建为物理卷,然后,将这些物理卷组成... 目录linux下多个硬盘划分到同一挂载点需要明确的几个概念硬盘插上默认的是非lvm总结Linux下多
阅读更多...
Python Jupyter Notebook导包报错问题及解决

Python Jupyter Notebook导包报错问题及解决

《PythonJupyterNotebook导包报错问题及解决》在conda环境中安装包后,JupyterNotebook导入时出现ImportError,可能是由于包版本不对应或版本太高,解决方... 目录问题解决方法重新安装Jupyter NoteBook 更改Kernel总结问题在conda上安装了
阅读更多...
pip install jupyterlab失败的原因问题及探索

pip install jupyterlab失败的原因问题及探索

《pipinstalljupyterlab失败的原因问题及探索》在学习Yolo模型时,尝试安装JupyterLab但遇到错误,错误提示缺少Rust和Cargo编译环境,因为pywinpty包需要它... 目录背景问题解决方案总结背景最近在学习Yolo模型，然后其中要下载jupyter(有点LSVmu像一个
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2