第二章与或图搜索问题
- 格式:pdf
- 大小:474.26 KB
- 文档页数:32
中国海洋大学人工智能课程大纲(理论课程)中国海洋大学人工智能课程大纲(理论课程)英文名称(Artificial Intelligence)【开课单位】信息学院【课程模块】专业知识【课程编号】【课程类别】选修【学时数】64 (理论48 实践16 )【学分数】 3.5一、课程描述本课程大纲根据2011年本科人才培养方案进行修订或制定。
(一)计算机科学与技术专业第三学年春季学期(二)教学目标及修读要求1、教学目标本课程讲解人工智能的一般性原理和基本方法,包括搜索策略、谓词逻辑归结、知识表示、不确定性推理、机器学习等,要求学生了解人工智能的研究范围和发展现状,能运用一般性原理和基本方法解决一些简单的人工智能问题。
修读要求本课程是在学生掌握了高级程序设计语言、数据结构、离散数学、操作系统等基本理论和技能的基础上,进一步学习人工智能的主要原理、技术和方法。
要求学生具有一定的算法设计能力、编程能力和抽象思维能力。
先修课程(参照2011版人才培养方案中的课程名称,课程名称要准确)高级程序设计语言、高级程序设计语言实验、数据结构、离散数学、操作系统二、教学内容(一)第0章绪论1、主要内容:了解人工智能的内涵、发展史和研究范围。
2、教学要求:(按照掌握、理解、了解三个层次对学生学习提出要求)要求学生理解人工智能的内涵及相关哲学问题、了解其发展史和研究范围。
3、重点、难点:无4、其它教学环节:(如实验、习题课、讨论课、其它实践活动):(二)第一章搜索问题1、主要内容:回溯策略、图搜索策略、无信息图搜索过程、启发式图搜索过程。
2、教学要求:掌握回溯策略的递归法实现、一般的图搜索过程、深度优先和宽度优先的图搜索过程,以及启发式图搜索A*算法;理解A*算法的启发式函数的下界约束和单调约束,理解A*算法的改进算法及其主要依据。
3、重点、难点:重点:回溯策略、A*算法难点:A*算法的启发式函数相关引理及定理的证明其它教学环节:(如实验、习题课、讨论课、其它实践活动):综合性设计项目1:滑动积木块问题的启发式搜索算法及其实现。
信息技术学科教案时间(分)教学过程教师活动学生活动设计意图225(课前2分钟预备)复习提问:(2分钟)⒈知识表示遵循的思路?(讨论:自然语言→符号→计算机语言)⒉已经学过哪些知识表示的方法?(回答:框架、产生式、状态空间表示法)引入新课:(2分钟)实例分析1:证明三角形全等方法的知识表示。
(如:图1)图1:证明三角形全等方法的“或”图从而引出“与/或”图表示法及其应用的教学内容。
讲授新课:“与/或”图表示法及其应用一、“与/或”图表示法⒈“或”图图2:“或”图“或”图:“或”指的是当一个问题P变换为一组子问题P1、P2、P3 …Pn时,只要任意一个子问题有解,则原问题就有解。
只有当所有的子问题都无解时,原问题才无解。
这样原问题P与子问题之间的关系可以用“或”图来表示。
(如:图2),P:或节点。
任务一:(见《课堂练习》)画出边角边方法证明三角形全等(Q3)的“或”图。
分析:此问题变换为三个子问题Q31、Q32、Q33:三组边角边任意一组对应相等都可证明三角形全等。
组织提问播放分析分析归纳布置指导监查就坐安静思考回答观看思考回答观察思考理解思考完成组织课堂复习过实例引出新课便于理解由一般到特殊的认识规律达成教学目标之一5⒉“与”图由任务一引出探究问题1:用“边角边”方法证明一对三角形全等的子问题Q32图如何画?实例分析2:结合具体三角形分析利用“边角边”方法证明一对三角形全等,归纳出“与”图。
(如:图3)Q32:△ADE≌△CBEQ321:AD=CBQ322:∠ADE=∠CBEQ323:DE=EB图3:用“边角边”方法证明三角形全等的“与”图“与”图:“与”指当一个问题P可以分解为一组子问题P1、P2、P3 …Pn时,只有当所有的子问题都有解时,原问题才有解,任何一个子问题无解都会导致原问题无解,这样原问题与其所有的子问题之间的关系可以用“与”图”来表示。
(如:图4)图4:“与”图任务二:(见《课堂练习》)画出表示信息技术会考合格条件的“与”图。
第二章知识表示方法教学内容智能系统问题求解所采用的几种主要的知识表示方法(状态空间法.问题归约法.谓词逻辑法.语义网络法)以及基于不同表示法的问题求解方法。
教学重点1. 状态空间表示法中问题的状态描述.改变状态的操作和问题目标状态的搜索;2. 问题规约的一般步骤.规约的与或图表示;3. 谓词逻辑的语法和语义.量词的辖域.谓词公式的置换与合一;4. 语义网络的构成.语义基元的选择.语义网络的推理等。
教学难点状态描述与状态空间图示.问题归约机制.置换与合一。
教学方法课堂教学为主,同时结合《离散数学》等已学的内容实时提问.收集学生学习情况,充分利用网络课程中的多媒体素材来表示抽象概念。
教学要求1. 重点掌握用状态空间法.问题归约法.谓词逻辑法.语义网络法来描述问题.解决问题;2. 掌握这些表示方法之间的差别;并对其它表示方法有一般了解2.1 状态空间法教学内容本节讨论基于解答空间的问题表示和求解方法,即状态空间法,它以状态和操作符为基础来表示和求解问题。
教学重点问题的状态描述,操作符。
教学难点选择一个好的状态描述与状态空间表示方案。
教学方法以课堂教学为主;充分利用网络课程中的多媒体素材来阐述抽象概念。
教学要求重点掌握对某个问题的状态空间描述,学会组织状态空间图.用搜索图来求解问题。
2.1.1 问题状态描述1.基本概念状态(state)它是为描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合,其矢量形式如下:Q=[q0,q1,…,qn]' (2.1)式中每个元素qi(i=0,1,…,n)为集合的分量,称为状态变量。
给定每个分量的一组值就得到一个具体的状态,如Qk=[q0k,q1k,…,qnk]' (2.2)操作符(operator)称使问题从一种状态变化到另一种状态的手段为操作符或算符。
状态空间(state space)它是表示一个问题全部可能状态及其关系的图,它包含所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。