人工智能读书报告知识及推理解读

上传人:博****1 文档编号:489110781 上传时间:2023-05-10 格式:DOC 页数:10 大小:112KB
返回 下载 相关 举报
人工智能读书报告知识及推理解读_第1页
第1页 / 共10页
人工智能读书报告知识及推理解读_第2页
第2页 / 共10页
人工智能读书报告知识及推理解读_第3页
第3页 / 共10页
人工智能读书报告知识及推理解读_第4页
第4页 / 共10页
人工智能读书报告知识及推理解读_第5页
第5页 / 共10页
点击查看更多>>
资源描述

《人工智能读书报告知识及推理解读》由会员分享,可在线阅读,更多相关《人工智能读书报告知识及推理解读(10页珍藏版)》请在金锄头文库上搜索。

1、人工智能读书报告知识及推理摘要 :人工智能的目标是使机器能够成为具有和人类一样智能的系统,而知识和推理一直被认为是智能最集中的体现,在实际运行的系统中实现智能的知识推理是具有非常重要的意义。知识表示是人工智能领域中非常重要的问题之一,目前人们使用的各种知识表示方法都有知识表现力和推理演算能力上的优缺点,我们需要掌握好这些方法的强项并充分利用它,扬长避短, 综合使用各种知识表示方法并进行推理,构造强大的智能专家系统、准确的模式识别以及机器学习才是可能的。关键词 :知识表示、推理、专家系统、机器学习、模式识别正文 :一、人工智能中的多种知识表达方法对于知识这个概念,我们应该有着正确的认识, Fei

2、genbaum 认为知识是经过削减、塑造、解释和转换的信息。简单地说,知识是经过加工的信息。Bernstein 说知识是特定领域的描述、关系和过程组成。Hayes-Roth 认为知识是事实、信念和启发式规则。知识可从(范围,目的,有效性)加以三维描述。其中知识的范围是由具体到一般,知识的目的是由说明到指定,知识的有效性是由确定到不确定。例如“为了证明 A B ,只需证明 A B 是不可满足的”这种知识是一般性、指示性、确定性的。而像“桌子有四条腿”这种知识是具体的、说明性、不确定性。知识表示是研究用机器表示知识的可行性、 有效性的一般方法, 是一种数据结构与控制结构的统一体, 既考虑知识的存储

3、又考虑知识的使用。 知识表示可看成是一组描述事物的约定,以把人类知识表示成机器能处理的数据结构。然而人工智能所关注的知识是指一个智能程序高水平的运行需要有关的事实知识、 规则知识、控制知识和元知识。事实:是有关问题环境的一些事物的知识,常以“ .是 .”的形式出现。如事物的分类、属性、事物间关系、科学事实、客观事实等,在知识库中属于低层的知识。如雪是白色的、鸟有翅膀、张三李四是好朋友。规则:是有关问题中与事物的行动、动作相联系的因果关系知识,是动态的,常以“如果.那么 .”形式出现。特别是启发式规则是属于专家提供的专门经验知识,这种知识虽无严格解释但很有用处。控制: 是有关问题的求解步骤, 技

4、巧性知识, 告诉怎么做一件事。 也包括当有多个动作同时被激活时应选哪一个动作来执行的知识。元知识:是有关知识的知识,是知识库中的高层知识。包括怎样使用规则、解释规则、校验规则、解释程序结构等知识。在人工智能中, 知识有着很多种不同的表示方法, 比如我们经常是用的逻辑表示法对知识通过引入谓词、 函数来加以形式描述, 获得有关的逻辑公式, 进而以机器内部代码表示以及产生式表示法。 此外,我们还有语义网络表示法和框架表示法,逻辑表示法和产生式表示法常用于表示有关论域中各个不同状态间的关系, 然而用于表示一个事物同其各个部分间的分类知识就不方便了。槽( slot)与填槽表示方法便于表示这种分类知识。语

5、义网络和框架表示方法就属于其中的两种。语义网络是对知识的有向图表示方法。一个语义网络是由一些以有向图表示的三元组(结点 1,弧,结点2)连接而成。结点表示概念、事物、事件、情况等。弧是有方向的有标注的。方向体现主次, 结点 1 为主,结点2 为辅。弧上的标注表示结点 1 的属性或结点1 和结点 2 之间的关系。语义网络表示下的推理方法不像逻辑表示法和产生式表示法的推理方法那样明了。语义网络表示法是依匹配和继承来进行推理的。而至于框架表示法,1975 年 Minsky 的论文“ A framework for respresenting knowledge ”中首次提出了框架理论。其基本观点是人

6、脑已存储有大量典型情景,当人面临新的情景时,就从记忆中选择一个称为框架的基本知识结构,这个框架是以前记忆的一个知识空框,而其具体内容依新的情景而改变,对这空框的细节加工修改和补充,形成对新情景的认识又记忆于人脑中。框架理论将框架视作的知识单位,将一组有关的框架连接起来便形成框架系统。系统中不同框架可以有共同结点,系统的行为由系统内框架的变化来表现的。推理过程是由框架间的协调来完成的。框架表示法是一种适应性强、概括性高、 结构化良好、 推理方式灵活又能把陈述性知识与过程性知识相结合的知识表示方法。框架是由若干结点和关系(统称为槽slot )构成的网络。是语义网络一般化形式化的一种结构, 同语义网

7、络没有本质区别。将语义网络中结点间弧上的标注也放入槽内就成了框架表示法。框架是表示某一类情景的结构化的一种数据结构。框架由框架名和一些槽( slot )组成,每个槽有一些值,槽值可以是逻辑的、数字的, 可以是程序、 条件、默认值或是一个子框架。槽值含有如何使用框架信息、下一步可能发生的信息、预计未实现该如何做的信息等。框架的一般格式:FRAMEWORK : :value.:value:value.:value.例:framework: 类属: 学历:(学士,硕士,博士)专业: 职称:(助教,讲师,副教授,教授)外语:范围:(英,法,德,.)默认:英水平:(优、良、中、差)默认:良框架表示法没有

8、固定的推理机理。但框架系统的推理和语义网络一样遵循匹配和继承的原则,而且框架中如 if-needed、if-added 等槽的槽值是附加过程, 在推理过程中起重要作用。如确定一个人的年龄,已匹配的知识库中的框架为槽名年龄: NILif-needed:ASKif-added:CHECK在推理的过程中便启动了if-needed 和 if-added 两个槽的附加过程ASK 和 CHECK 。此外我们还可以采用基于粗糙集理论的知识表示方法、基于对象的XML 的知识表示方法、基于模糊Petri 网的知识表示方法。这些方法为我们进行知识归结和推理提供了很大便利,我们需要合理使用以上这些知识表示方法,并且

9、及时关注最新的各种知识表示方法,在此基础上进行推理,来构造我们所需要的专家系统、机器学习以及模糊识别等结构功能。二、人工智能的本质推理几乎所有的人工智能领域都要用到推理,因此,推理技术是人工智能的基本技术之一,并且也是人工智能的本质。早期的人工智能研究人员直接模仿人类进行逐步的推理,就像是玩棋盘游戏或进行逻辑推理时人类的思考模式。到了 1980 和 1990 年代,利用概率和经济学上的概念,人工智能研究还发展了非常成功的方法处理不确定或不完整的资讯。对于困难的问题,有可能需要大量的运算资源,也就是发生了“可能组合爆增”:当问题超过一定的规模时,电脑会需要天文数量级的存储器或是运算时间。寻找更有

10、效的算法是优先的人工智能研究项目。人类解决问题的模式通常是用最快捷,直观的判断, 而不是有意识的, 一步一步的推导,早期人工智能研究通常使用逐步推导的方式。人工智能研究已经于这种“次表征性的” 解决问题方法取得进展:实体化 AGENT 研究强调感知运动的重要性。神经网络研究试图以模拟人类和动物的大脑结构重现这种技能。人们在对各种事物进行分析、综合后作出决策时,通常是从已知的事实出发,通过运用已掌握的知识, 找出其中蕴涵的事实,或归纳出新的事实,这一过程通常称为推理。严格的说,所谓推理就是按某种策略由已知判断推出另一种判断的思维过程。推理所根据的判断叫做前提, 有前提所推出的那个判断叫结论。推理

11、是人们无时无刻都在使用的方法,不论是在科学研究,学习以至日常生活中都在运用着它。在人工智能系统中,推理是由程序实现的,称为推理机。推理从不同的角度可以有不同的分类。从新判断推出的途径划分为演绎推理、归纳推理、默认推理; 按推理是所用知识的确定性划分为确定性推理和不确定性推理;按推理过程中推出的结论是否单调的增加划分为单调推理与非单调推理;按推理中是否运用与问题有关的启发性知识可划分为启发是推理和非启发式推理;从方法论的角度划分为基于知识的推理、统计推理和直觉推理。例如: 当你走路时, 不小心摔了一跤,在摔下去而未倒到地面时,你就会意识到你将会摔破衣服,这就是使用了直觉推理;所有人都要吃饭+张三

12、是人 张三要吃饭,使用了演绎推理; 该细菌的染色斑是革兰氏阳性+该细菌的形状为球状+该细菌的生长结构成链形存在证据表明该细菌是链球菌类,不确定性推理等等。推理的控制策略主要包括推理方向、搜索策略、 冲突消解策略、 求解策略及限制策略等。正向推理是以已知事实作为出发点的一种推理,又称为数据驱动推理、向前链推理、 模式制导推理及前件推理等。逆向推理是以某个假设目标作为出发点的一种推理,又称为目标驱动推理、逆向链推理、目标制导推理及后件推理等。求解策略是指推理只求一个解,还是求所有解及最优解等等。限制策略是为了防止无穷的推理过程,以及由于推理过程太长增加时间及空间的复杂性,可在控制策略中指定推理的限

13、制条件,以及对推理的深度、宽度、时间、空间等进行限制。常用的冲突消解策略有按针对性排序、按已知事实的新鲜性排序、按匹配度排序、 根据领域问题的特点排序、按上下文限制排序、按冗余限制排序、按条件个数排序等等。另外还有归纳法推理系统、不确定性推理, 归纳法推理是人工智能领域的一个重要研究方向。通过归纳法推理可以证明一些复杂程序的正确性以及一些关键算法的重要属性。国外已经把这一研究成果应用到国防、航空、航天领域。自80 年代以来,国内外科技人员已研制出一些程序证明系统,其中最具代表性的是Boyer-Moore 的归纳证明方法,他们打破了传统方法,代一阶谓词逻辑以递归函数,使问题的描述简单自然、直观易懂。不精确推理标准的逻辑推理是假定事实要么为真,要么为假, 并不考虑可能为真的情况。 但在现实生活中,人们经常使用一些不精确的或不完善的知识与资料来进行工作,尤其是专家系统模拟人类专家工作的,所以在专家系统中,不精确推理的使用,几乎是难以避免的。它既反映了断言及客观世界中因果关系的不确定性,也体现了在此情况下推理方法的运用。 下述问题对不确定推理来说是基本的问题:(1)如何正确地、定性地刻画一个命题的不确定性?(2)如何适当地度量一个命题的不确定性? 命题的不确定性可以形式地定义如下:定义 1.命题 h 是不能由K 确定的,如果 h 在以 K

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 行业资料 > 国内外标准规范

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号