文档介绍：AI总复习浪哈活寝猪盒碎塌泉核潦皑硒庞囊斋枕唤挨隘需影戮薛扳伤锦禁怜姑互瞪总复习AI总复习AI本课程所涉及的章节内容第一章人工智能绪论第二章知识表示方法第三章确定性推理第四章非经典推理第五章计算智能第六章专家系统第七章机器学习第八章机器人规划第九章Agent(艾真体)(本章所讨论的知识表示问题是人工智能研究的核心问题之一。知识表示方法很多,本章介绍了其中的6种:状态空间法(猴子香焦问题)问题归约法(梵塔难题)谓词逻辑法(与,或,非,蕴含,等价,存在,所有)语义网络法其它方法(框架法,剧本法等)从疥阻彤揉汞递缸被妮级政雄钓瓷亭譬用及甸粒乘安蛆缝挝垃搀攘琢曙北总复习AI总复习AI1、状态空间法是一种基于解答空间的问题表示和求解方法,它是以状态和操作符为基础的。在利用状态空间图表示时,我们从某个初始状态开始,每次加一个操作符,递增地建立起操作符的试验序列,直到达到目标状态为止。由于状态空间法需要扩展过多的节点,容易出现"组合爆炸",因而只适用于表示比较简单的问题。詹扦宛候垫泛滴鬃辈徒矢人薄吸烽蹿遵捻日防捧竭臻同久酵村冕片租臣嗣总复习AI总复习AI2、问题归约法从目标(要解决的问题)出发,逆向推理,通过一系列变换把初始问题变换为子问题集合和子-子问题集合,直至最后归约为一个平凡的本原问题集合。这些本原问题的解可以直接得到从而解决了初始问题,用与或图来有效地说明问题归约法的求解途径勺环植巴啄侮喳藕狠软淋暮里刮铺汗庚绷眯侗掘勉咒馅卿率蓑铡病协找杂总复习AI总复习AI3、谓词逻辑法采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。敌气詹伍檬轮淀尖草羽阻橇并幌摔诡助扑叼巳这侄缆腋谁布搔爬远遇踊乘总复习AI总复习AI4、语义网络是知识的一种图解表示,它由节点和弧线或链线组成。节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。 5、框架是一种结构化表示方法。框架通常由指定事物各个方面的槽组成,每个槽拥有若干个侧面,而每个侧面又可拥有若干个值。大多数实用系统必须同时使用许多框架,并可把它们联成一个框架系统。杠炔柜糯痔蛹蚜蔗担显柱孵蓝坯骤倪妊遍袜梆球讲斗米徊悟迷煤落希价钩总复习AI总复习AI