人工智能汇总.docVIP

江苏大学 《人工智能》报告 设计题目 人工智能报告 学生姓名 叶澔鹏 指导老师 赵跃华 学 院 计算机科学与通信工程学院 专业班级 信息安全1202班 学号 3120604053 完成时间 2015年10月25日 摘?要：知识处理是人工智能这一科学领域的关键问题。本文对知识处理的核心问题之识的表示进行了全面的综述,目前流行的知识表达方式不下十种，在此只介绍一阶谓词逻辑、产生式、语义网络、框架、混合等目前最常用的知识表示方法。并对其进行了优缺点分析及简单对比。最后对知识表示的发展趋向作出了展望。 关键词：人工智能（AI）??知识表达式??一阶谓词逻辑??产生式??语义网络??框架 常用知识表示法 2.1一阶谓词逻辑表示法： 一阶谓词逻辑表示法是目前应用最广的方法之一，在AI系统上已经得到了应用。它是通过分析命题内容和谓词逻辑，尽可能正确地表述它的各种意境的过程。知识的谓词逻辑表示符合人的思维习惯，可读性好，逻辑关系表达简便。使用谓词逻辑既便于表达概念、状态、属性等事实性知识，又能方便地采用谓词公式的表达形式，进行各种智能行为的过程性描述与演绎推理。一阶谓词的一般形式为P(x1，x2，…，xn) 其中P是谓词名，xi为个体常量、变元，或函数。 例如：STUDENT(zhangsan)：zhangsan是学生STUDENT(x)：x是学生Greater(x，5)：x5TEACHER(father(Wanghong))：王宏的父亲是教师。 在一阶谓词表示法中连接词是非常重要的其中： ?连接词：?、、、→、? 量词：、 (?x)P(x)为真、为假的定义 (x)P(x)为真、为假的定义 结合具体事例可以看到一阶谓词逻辑在知识表示法中的优越性： ????? 李明是计算机系的学生，但他不喜欢编程。 定义谓词： COMPUTER(x):x是计算机系的学生 LIKE(x,y):x喜欢y 谓词公式为： LIKE(liming，programming)COMPUTER(liming) ∧ ? 谓词逻辑是一种传统经典也是最基本的形式化方法。谓词逻辑知识表示:规范性严，逻辑性强，自然性好，推理过程严密，易于实现。这些优良特性使得谓词逻辑最早用于人工智能机器定理证明，并获得了成功。但是必须看到，谓词逻辑属于标准的二值（T与F）逻辑，难以直接进行不确定性问题的处理。对于复杂系统的求解问题，容易陷入冗长演绎推理中，常常不可避免地带来求解效率低,甚至产生“组合爆炸”问题。因此，针对谓词逻辑，尚待人们不断加以改进，以便寻求自然性好而效率更高的技术方法。2.2产生式表示法 目前，产生式表示方法是专家系统的第一选择的知识表达方式。是美国数学家Post在1943年提出了一种计算形式体系里所使用的术语。产生式表示的基本形式为： （1）确定性知识的表示：产生式形式： P→Q或者IF P THEN Q??它的含义：如果前提P满足，则可以推出结论Q或执行Q操作。例如： IF CLEAR(B) AND HANDEMPTYTHEN Pickup(B) 如果积木B上是空的，且机械手空，则机械手从桌面上抓起积木B。 （2）不确定知识的表示： 产生式形式：P→Q （置信度）或者IF P THEN Q（置信度） 在不确定推理中，当已知事实与前提P不能精确匹配时，只要按照“置信度”的要求达到一定的相似度，就认为已知事实与前提条件相匹配，再按照一定的算法将这种可能性（不确定性）传递到结论Q。 产生式表示法其优点在于模块性。规则与规则之间相互独立灵活性。知识库易于增加、修改、删除自然性。方便地表示专家的启发性知识与经验透明性。易于保留动作所产生的变化、轨迹，但仍有不少缺点：知识库维护难。效率低。为了模块一致性理解难。由于规则一致性彼此之间不能调用。 2.3 语义网络表达式 语义网络是人工智能常用的知识表示法之一。是一种使用概念及其语义关系来表达知识的有向图。它作为人类联想记忆的一个显示心理学模型，是由J.R.Quillian于1968年在他的博士论文中首先提出，并用于自然语言处理。语义网络结构共使用了三种图形符号：框、带箭头及文字标识的线条和文字标识线。分别称为: （1）节(结)点;??弧(又叫做边或支路); 指针。 （2）节点(Node)：也称为结点。用圆形、椭圆、菱形或长方形的框图来表示，用来表示事物的名称、概念、属性、情况、动作、状态等。 （3）弧(Arc)：这是一种有向弧，又称之为支路（Branch）。节点之间用