人工智能实验指导
- 格式:doc
- 大小:2.37 MB
- 文档页数:19
《人工智能》实验指导课程代码:H0404X适用对象:计算机科学与技术专业指导教师:魏世勇、陈白帆、李仪实验内容实验一产生式系统实验实验二移动机器人的路径规划与行为决策实验实验三梵塔问题实验实验四A*算法实验实验五化为子句集的九步法实验实验六子句消解实验实验七模糊假言推理器实验实验八BP网络实验实验九贝叶斯网络实验实验一产生式系统实验(必修,2学时)一、实验目的:熟悉和掌握产生式系统的运行机制,掌握基于规则推理的基本方法。
二、实验原理产生式系统用来描述若干个不同的以一个基本概念为基础的系统,这个基本概念就是产生式规则或产生式条件和操作对。
在产生式系统中,论域的知识分为两部分:用事实表示静态知识;用产生式规则表示推理过程和行为。
三、实验条件:1.产生式系统实验程序。
2.IE5.0以上,可以上Internet。
四、实验内容:1.对已有的产生式系统(默认的例子)进行演示,同时可以更改其规则库或(和)事实库,进行正反向推理,了解其推理过程和机制。
2.自己建造产生式系统(包括规则库和事实库),然后进行推理,即可以自己输入任何的规则和事实,并基于这种规则和事实进行推理。
这为学生亲手建造产生式系统并进行推理提供了一种有效的实验环境。
五、实验步骤:1.定义变量,包括变量名和变量的值。
2.建立规则库,其方法是,(a) 输入规则的条件:每条规则至少有一个条件和一个结论,选择变量名,输入条件(符号);选择变量值,按确定按钮就完成了一条条件的输入。
重复操作,可输入多条条件;(b) 输入规则的结论:输入完规则的条件后,就可以输入规则的结论了,每条规则必须也只能有一个结论。
选择变量名,输入条件(符号),选择变量值,按确定按钮就完成了一个结论的输入。
重复以上两步,完成整个规则库的建立。
3.建立事实库(总数据库):建立过程同步骤2。
重复操作,可输入多条事实。
4.然后按“开始”或“单步”按钮即可。
此外,利用实例演示,可以运行系统默认的产生式系统,并且可以进行正反向推理。
其他的可参见其帮助文件。
六、实验结论:包括做实验的目的、方法、过程等,具体要写成实验报告,如下图所示(见下页)。
附:产生式系统实验报告表实验二移动机器人的路径规划与行为决策实验(必修,2学时)一、实验目的:熟悉移动机器人的信息处理流程,了解、比较基于行为主义和符号主义的人工智能方法在机器人中的应用特点和效果,以及结合两者的规划与决策方式。
二、实验原理规划是一种问题求解技术,它从某个特定的问题状态出发,寻求一系列行为动作,并建立一个操作序列,直到求得目标状态为止。
简而言之,规划是一个行动过程的描述。
一个总规划可以含有若干个子规划。
三、实验仪器设备:硬件:AmigoBot移动机器人一台(附无线串行信号和图像信号传输装置各一套),计算机一台(附图像采集卡、声卡),实验环境(木制围栏、障碍物若干)软件:Windows 98 or 2000,AmigoEyes,AmigoMapper,AmigoColbert四、实验内容:1.了解AmigoBot移动机器人的传感器和驱动器工作情况;2.观察机器人的反射式避障行为;3.编程控制机器人路径,观察行为并比较其避障效果;4.观察混合式方法的导航效果,分析行为决策和规划在系统中的作用;5.分析根据先验地图规划路径的导航系统的优缺点。
五、实验步骤:1将机器人的无线串行信号和图像信号传输装置分别与计算机串口1和图像输入口相连。
2开机。
3打开AmigoBot电源,启动机器人自检程序,观察左右驱动轮和超声距离传感器特征。
4启动AmigoEyes程序,将机器人控制端口设为Com1,点击connect,连接机器人与计算机控制程序。
5点击wander,观察机器人漫游时的避障行为以及超声距离传感器和视觉传感器信号,总结其行为特点,点击停止按钮或Disconnect停止机器人运动。
6启动AmigoColbert程序,测试控制语句对机器人行为的作用效果,包括move, turn to (deg), turn (deg), speed, rotate, stop等语句,编写程序控制机器人走方形和圆形路径。
7在环境中放置2个障碍物,编写一段程序控制机器人由一起点至一终点,途中绕过障碍物,在机器人运行过程中变动障碍物位置,观察机器人行为。
8启动AmigoMapper程序,按实际尺寸绘制上一环境的地图。
9在AmigoEyes程序中导入上述地图,保持环境与地图一致,选择不同起点和终点,观察导航效果;变动障碍物位置,观察机器人行为。
实验数据:1.步骤7和步骤9的初始环境地图以及变化后的环境示意图。
2.步骤6、7、9中的机器人运行轨迹图。
3.步骤6和步骤7的控制程序清单。
实验报告要求:对提交的实验结果进行分析:1.总结步骤5中机器人的行为特点。
2.描述步骤7中的前后行为,分析原因。
3.描述步骤9中的前后行为,分析原因,并与步骤7中的行为进行比较。
4.总结规划与反射式行为决策在系统中的作用。
试分析根据先验地图规划路径的导航系统的优缺点。
实验三梵塔问题实验(选修,2学时)一、实验目的:熟悉和掌握问题规约法的原理、实质和规约过程;理解规约图的表示方法。
二、实验原理从目标(要解决的问题)出发逆向推理,先把问题分解为子问题和子-子问题,直至最后把初始问题归约为一个平凡的本原问题集合,然后解决较小的问题。
对所有本原问题的解答就意味着原始问题的解决。
三、实验条件:1. 梵塔问题系统实验程序。
2. IE5.0以上,可以上Internet。
四、实验内容:1.演示已有的梵塔问题(默认程序例程),可以更改圆盘数量,了解问题解决的归约过程。
2.分析归约机理,熟悉问题规约的详细过程。
3.自己建造一个梵塔问题归约系统,然后根据归约原理进行逆向推理,得到本原问题集合。
通过解决这些本原问题,最终求解问题。
五、实验步骤:1.开始演示。
进入三圆盘实例程序,点击“play”按钮开始演示程序,观察其求解步骤,“Stop”按钮可停止演示,“Speed+”、“Speed-”按钮可增减演示速度。
2.改变圆盘数量。
点击“Renew”按钮,通过“Number+”和“Number-”改变圆盘数量,再次点击“play”按钮。
3.重复演示、比较,根据其求解过程得到圆盘数量与步骤数目之间的规律。
归纳并理解问题归约的实质。
4.自己建立一个梵塔问题求解难题,利用归约法进行问题分解。
5.画出其问题规约图。
六、实验结论:1.圆盘数目与移动步骤之间的数学关系。
2.根据自己所建梵塔问题,画出问题规约图,得到子问题集,列出求解过程。
3.分析问题规约的实质。
实验四A*算法实验(选修,2学时)一、实验目的:熟悉和掌握启发式搜索的定义、估价函数和算法过程,并利用A*算法求解N数码难题,理解求解流程和搜索顺序。
二、实验原理:A*算法是一种有序搜索算法,其特点在于对估价函数的定义上。
对于一般的有序搜索,总是选择f值最小的节点作为扩展节点。
因此,f是根据需要找到一条最小代价路径的观点来估算节点的,所以,可考虑每个节点n的估价函数值为两个分量:从起始节点到节点n的代价以及从节点n到达目标节点的代价。
三、实验条件:1N数码难题演示程序。
2IE5.0以上,可以上Internet。
三、实验内容:1分别以8数码和15数码为例实际求解A*算法。
2画出A*算法求解框图。
3分析估价函数对搜索算法的影响。
4分析A*算法的特点。
四、实验步骤:1开始演示。
进入N数码难题演示程序,可选8数码或者15数码,点击“选择数码”按钮确定。
第一次启动后,点击两次“缺省”或者“随机”按钮,才会出现图片。
2点击“缺省棋局”,会产生一个固定的初始节点。
点击“随机生成”,会产生任意排列的初始节点。
3算法执行。
点击“连续执行”则程序自动搜索求解,并演示每一步结果;点击“单步运行”则每次执行一步求解流程。
“运行速度”可自由调节。
4观察运行过程和搜索顺序,理解启发式搜索的原理。
在下拉框中选择演示“15数码难题”,点击“选择数码”确定选择;运行15数码难题演示实例。
5算法流程的任一时刻的相关状态,以算法流程高亮、open表、close表、节点静态图、当前扩展节点移动图等5种形式在按钮上方同步显示,便于深入学习理解A*算法。
6根据程序运行过程画出A*算法框图。
其它可参考帮助文件。
五、实验报告要求:1A*算法流程图和算法框图。
2试分析估价函数的值对搜索算法速度的影响。
3根据A*算法分析启发式搜索的特点。
实验五化为子句集的九步法实验(选修,2学时)一、实验目的:理解和掌握消解原理,熟悉谓词公式化为子句集的九个步骤,理解消解推理规则,能把任意谓词公式转换成子句集。
二、实验原理消解是可用于一定的子句公式的重要推理规则,任一谓词演算公式可以化成一个子句集。
通过九步法消解可以从这两个父辈子句推导出一个新子句。
九步法消解包括消去蕴涵符号、减否定符辖域、对变量标准化、消去存在量词、化为前束型、化为合取范式、消去全程量词、消去合取符、更换变量名,依次变换即可得到子句集。
三、实验条件:1子句集转换演示程序。
2IE5.0以上,可以上Internet。
四、实验内容:理解消解原理,熟悉谓词公式转换成子句集的步骤。
五、实验步骤:1对默认谓词公式进行转换。
进入演示程序,点击“语法检查”,再依次点击消解过程的九个步骤按钮,得到消解结果。
2自定义消解目标。
点击“清除”删除默认公式,利用界面键盘输入新的消解目标,用“大写字母”、“小写字母”按键进行输入中的字母变换。
3语法检查。
点击“语法检查”检查输入谓词公式的语法错误。
如无错误,则依次点击步骤按钮进行消解。
4重复运行2、3步,熟悉消解原理和消解过程。
六、实验报告要求:1了解每一步消解的规则和原则。
2给出一个谓词公式消解的详细过程和结果。
3分析消解原理的特点和原理。
实验六子句消解实验(选修,2学时)一、实验目的:理解含有变量的子句如何使用消解规则,掌握子句消解的原理和规则,能熟练进行任意两个子句的消解,了解消解推理的某些常用规则。
二、实验原理:对子句集进行消解推理,得到相应的结论。
为了对含有变量的子句使用消解规则,我们必须找到一个置换,作用于父辈子句使其含有互补文字。
消解两个子句时,可能有一个以上的消解式,不过,在任何情况下最多有有限个消解式。
三、实验条件1子句消解推理演示程序。
2IE5.0以上,可以上Internet。
四、实验内容:1运行并观察演示实例。
2输入新的子句,检查消解结果。
3根据消解过程理解消解原理和常用规则。
五、实验步骤:1.默认示例演示。
进入演示实例,点击“演示实例1”,然后点击“开始消解”,得到消解结果。
2.分别运行“演示实例2”和“演示实例3”,观察消解结果,理解常用消解规则的应用。
3.自定义消解子句。
点击“系统重置”按钮,再通过键盘与两个按钮“~”与“∨”输入合法的子句,点击“加入子句集”加入子句集,点击“开始消解”,观察消解结果。