引言引言引言引言引言人工智能研究的主要内容知识表示自动推理和搜索方法自动推理和搜索方法机器学习和知识获取知识处理系统自然语言理解智能机器人智能机器人智能化的发展智能化的发展模块学习目标——对标准的理解对标准的理解对标准的理解对标准的理解编写教材的指导思想编写教材的指导思想编写教材的指导思想开展本课程教学的基本思路教材构思教材结构人工智能简介人工智能简介知识与知识表示知识与知识表示知识与知识表示Prolog入门Prolog入门Prolog入门Prolog入门专家系统专家系统专家系统专家系统专家系统的例专家系统的例专家系统的例搜索技术搜索技术搜索技术搜索技术搜索技术图搜索的一般算法-框架结构：图搜索算法举例——八数码难题初始状态：283目标状态：123164804705765应用广度搜索算法OPENCLOSEDn283164705283283164164705705283283283283164104164（生成的3个164075765750子结点）705283283283283283104164164164164765750705075075283283283283283104164064164164765750175705075OPENCLOSEDn283283283283283283164064164164104104750175705075765765283283283203283283283283164064014184140164164104750175765765765705075765283283203283283283283283283064014184140164164104164164175765765765705075765750750283283203283283283283283283064014184140160164164104164175765765765754705075765750283164705283164705八数码难题的启发式搜索方法估价函数：f(n)=d(n)+w(n)其中：d(n)为n的深度w(n)为不在位的棋子数④283164705⑥283④283⑥283164104164075765750⑤283⑤203⑥283014184140765765765⑥083⑦283⑤023⑦230214714184184765065765765⑤123084765⑤123⑦123804784765065课堂讨论讨论估价函数的作用体现在哪里？(Missionaries)传教士与(Cannibals)野人过河问题：三个传教士和三个野人来到河边，有一条船可供一人或两人乘渡，在渡河过程中，任一岸的野人数若大于传教士数，野人就会吃掉传教士。他们怎样才能安全过河？状态描述：用左岸的传教士和野人的人数描述，初始状态为(3M,3C)，目标状态为(0M,0C)。产生式规则（条件为船所在的岸边要有相应的人数），也就是操作：从左岸到右岸时船的状态:(2M,0C),(0M,2C),(1M,1C),(1M,0C),(0M,1C)从右岸到左岸时船的状态:(0M,1C),(1M,0C),(1M,1C),(0M,2C),(2M,0C)估价函数：(3M,3C)讨论