各种各样的知识表示方法及其应用众所周知，知识是一个比较普遍的概念，在生活中有着各种各样的表现形式，而如何把知识表示出来，也就是把知识提取这一过程就显得异常重要了。
每一种知识可能要采取不同的知识表示方法才能更加有效。
而且知识有可能只有一部分是我们所需要的，可以利用的，因此只有选择好一个知识表示方法，才能剔除不需要的东西，而留下精华。
在人工智能课程的学习中,我已经学到了许多知识表示方法,而通过这次读书活动,我学到了更多的知识表示方法以及相同方法的不同表现形式,现在做出如下比较与总结。
由于书中的知识表示方法在表达和分析上都跟其他书上介绍的都有区别，因此我把它们进行了比较分析。
把与书上不同的观点罗列出来，并且对相似的观点进行比较，从中收获很大。
与书中相似相似的方法:第一、语义网络法语义网络是1968年Quilian在研究人类联想记忆时提出的心理学模型，认为记忆是由概念间的联系来实现的。
1972年，Simmons首先将语义网络表示法用于自然语言理解系统。
语义网络的结构：语义网络是知识的一种图解表示，它由节点和弧线或链线组成。
节点用于表示实体、概念和情况等，弧线用于表示节点间的关系。
组成部分词法部分决定表示词汇表中允许有哪些符号，它涉及各个节点和弧线。
结构部分叙述符号排列的约束条件，指定各弧线连接的节点对。
过程部分说明访问过程，这些过程能用来建立和修正描述，以及回答相关问题。
语义部分确定与描述相关的(联想)意义的方法即确定有关节点的排列及其占有物和对应弧线。
书本上讲述的语义网络法可以用来表示事实;表示事实间的关系;表示比较复杂的知识。
而书上所讲的应用似乎不够完全,除了用来表示简单的事实、表示占有关系和其它情况之外它还能选择语义基元（试图用一组基元来表示知识，以便简化表示，并可用简单的知识来表示更复杂的知识。
）语义网络法可以分成二元语义网络的表示(Representation of Two-Element Semantic Network)和多元语义网络的表示（Representation of Multi-Element Semantic Network）语义网络法可以与谓词逻辑等效，用语义网络表示谓词逻辑法中的各种连词及量化，具体表示如下1.合取：多元关系可以被转换成一组二元关系的合取，从而可以用语义网络的形式表示出来。
2.析取：在语义网络中，为与合取关系相区别，在析取关系的连接上加注析取界限，并标记DIS。
3.否定：为表示否定关系，可以采用～ISA和～PART OF关系或标注NEG界限4.蕴涵：在语义网络中可用标注ANTE和CONSE界限来表示蕴涵关系。
ANTE 和CONSE界限分别用来把与先决条件(antecedent)及与结果consequence)相关的链联系在一起。
5.量化：存在量化在语义网络中可直接用ISA链来表示。
而全称量化就要用分割方法来表示。
语义网络的推理过程：语义网络中的推理过程主要有两种:一种是继承，另一种是匹配。
1.继承：把对事物的描述从概念节点或类节点传递到实例节点。
它有值继承、“如果需要”继承、“缺省”继承三种。
2.匹配：部件匹配。
推理的方法有：缺省逻辑[Reiter 1980]、自动认识逻辑[Moore 1985a]、非单调逻辑[McDermott & Doyle 1980]和界限[ M cCarthy 1980，McCarthy 1986]。
鉴于语义网络法结构性强、联想性好、自然性高的特点，我觉得它主要适合用在自然语言分析理解系统、检索系统以及严谨的推理系统，这样既能够保证考虑到尽可能多的情况，同时对每一种情况的正确性都有保证，而且由于它具有联想性，因此它能很好的适应人类的联想记忆方式和人类的思维习惯。
同时它也能很容易的将自然语言采集、并进行分析用来进行处理。
第二、框架表示法心理学的研究结果表明，在人类日常的思维和理解活动中，当分析和解释遇到的新情况时，要使用到过去经验中积累的知识。
这些知识规模巨大而且以很好的组织形式保留在人们的记忆中。
当然，我们无法把过去的经验一一都存在脑子里，而只能以一个通用的数据结构的形式存储以往的经验。
这样的数据结构称为框架。
框架提供了一个结构，一种组织。
在这个结构或组织中，新的资料可以用从过去的经验中得到的概念来分析和解释。
因此，框架是一种结构化表示法。
通常框架采用语义网络中的节点-槽-值表示结构。
所以框架也可以定义为是一组语义网络的节点和槽，这组节点和槽可以描述格式固定的事物、行动和事件。
语义网络可看做节点和弧线的集合，也可以视为框架的集合。
与书本上的定义相同，框架通常由描述事物的各个方面的槽组成，每个槽可以拥有若干个侧面，而每个侧面又可以拥有若干个值。
这些内容可以根据具体问题的具体需要来取舍。
对书本上框架表示法的补充说明：为了能从各个不同的角度来描述物体，可以对不同角度的视图分别建立框架，然后再把它们联系起来组成一个框架系统。
框架是一种复杂结构的语义网络。
因此语义网络推理中的匹配和特性继承在框架系统中也可以实行。
除此以外，由于框架用于描述具有固定格式的事物、动作和事件，因此可以在新的情况下，推论出未被观察到的事实。
框架用以下几种途径来帮助实现这一点：(1) 框架包含它所描述的情况或物体的多方面的信息。
这些信息可以被引用，就像已经直接观察到这些信息一样。
(2) 框架包含物体必须具有的属性。
在填充框架的各个槽时，要用到这些属性。
建立对某一情况的描述要求先建立对此情况的各个方面的描述。
与描述这个情况的框架中的各个槽有关的信息可用来指导如何建立这些方面的描述。
(3) 框架描述它们所代表的概念的典型事例。
框架法的应用：在开发的电网故障诊断和恢复专家系统中得到应用。
由于框架法具备继承性的特性，因此它能很好的节省空间，并在知识的一致性上有很好的保持。
同样，框架法具备语义网络法的大部分特点，因此语义网络法和框架法主要用来表示常识知识，其研究领域有：1) 对象和材料。
世界是由对象构成的。
有些对象如网格世界中的积木是离散的、固态的东西这些相对容易讨论和描述。
有些对象是有层次的，即是由各部分（其他对象）按某种方式放在一起构成的。
也有流体、气体和汇集，像沙堆、面粉袋和星系。
描述材料及其属性（尤其是流体）的著名成果是[Hayes 1978，Hayes 1985a，Hayes 1985b]的研究。
2) 空间。
物理世界有空间范围。
对象存在于空间中，在空间中的位置是相对于其他对象的。
因此，谈论一个东西是在另一个的里面、上面和紧挨着这些情况，形式化有关空间的各种符号的一个早期A I成果是[Kautz 1985]。
在各种机器人任务中有关空间推理的论文，参见[Chen 1990]3) 物理属性。
A I系统也应该能推理这些物理属性，如质量、温度、体积、压力、放射性级别、波长和它们之间的任何关系。
4) 物理过程和事件。
物体下落，球被扔出，草长出了，杯子被倒满又倒空，蜡烛燃烧，热东西变凉。
在物理学中，很多这样的过程是用不同的方程式描述的，能在A I中使用这些方程式。
然而，经常我们不需要由物理过程提供这些确切的（且昂贵的）求解。
相反，A I研究者已经开发了一个定性物理，利用它推理普通趋势而不需要确切的计算[ Weld & de Kleer 1990]。
第三、剧本表示法（即书中的脚本表示法）与书本上定义相同，剧本是框架的一种特殊形式，它用一组槽来描述某些事件的发生序列。
它由开场条件（进入条件）、角色、道具、场景、结局。
对书本上内容的补充：剧本是有用的知识表达结构，因为在现实世界中事件发生的某种模式来自事件之间的因果关系。
事件中的主人公完成一个动作后才能完成另一个动作。
剧本中所描述的事件形成一个巨大的因果链，这个链的起点是一组开场条件，满足这些开场条件，剧本中的事件才能产生。
链的终点是一组结果，有了这组结果，以后的事件或事件序列(可能用其他的剧本来描述)才能发生。
在这个链内一件事情和前后的事情都相互联系。
前面的事件，使当前的事件有可能产生，而当前事件又使后面的事件有可能产生。
剧本在预言一些没有直接提到的事件方面特别有用。
同时剧本对表示已经提到的事件之间的关系也很有用。
(1) 对于不属于事件核心部分的剧本，只需设置指向该剧本的指针即可，以便当它成为核心时启用。
(2) 对于符合事件核心部分的剧本，则应使用在当前事件中涉及到的具体对象和人物去填写剧本的槽。
由于脚本往往是一个场景，因此它很难把很多很大的情节给完整的表示出来，正如电影的某个场景也仅仅容纳几个主角，只能从某个视角进行展示，而不能给观众一个立体全方位的感受一样。
因此它就比较呆板，缺少立体感，它只能帮助大家理解若干问题，主要用在自然语言理解方面。
第四、过程表示方法过程式表示就是将有关某一问题领域的知识，连同如何使用这些知识的方法，均隐式地表达为一个求解问题的过程。
过程式不像陈述式那样具有固定的形式，如何描述知识完全取决于具体的问题。
它是一个动态的研究过程，把知识的应用也展示出来，强调的是对知识的判断和解决这些问题的控制策略表述出来的过程。
由于它的效率比较高而且控制系统容易设计，因此在可维护性、可理解性上有很大的优势，它可以通过把问题转化成函数，然后通过调用函数来进行。
我觉得这就好比做菜，前面介绍的方法相当于客人们所看到的，他们总是看到活的鸡、鸭、新买来的蔬菜、水果（这就好比获得的知识信息）被送到厨房，接下来发生的事情他们就看不见了，而最后他们却看见了美味的佳肴从厨房被端出来。
而过程式好比主人所看见的，他们除了看见了这些过程，还能够看见整个洗菜、烹饪等制作过程。
第五、面向对象表示法人们认识世界是以世界划分为一些事和物为基础的，这里的物指物体，事指物体间的联系。
面向对象表示法中的对象指物体，消息指物体间的联系，通过发送消息使对象间相互作用来求得所需的结果。
由于面向对象表示法有模块化、继承性、封装性、多态性、容易维护、并能够进行有效的扩充，因此设计出来的时候能够给人以层次感。
这就好比一个商店，各种不同的商品都分门别类，做好了标记，消费者可以很方便的找到他们所要购买商品的位置，并且每一类商品都允许进货和缺货现象的存在，还允许特价商品的存在（比如十一期间该商品是特价销售，但十一以后它又恢复正常价位）。
从此可以看出面向对象表示法应该是将来知识表示法的一个发展方向有很大的发展潜力。
第六、谓词逻辑表示法与书本上的一阶谓词逻辑表示法相同，通过谓词演算实现。
利用语法语义、连词和量词组成谓词公式。
通过置换（蕴涵）和合一得到最后的结果。
John McCarthy [ McCarthy 1958 ]第一次正式提出在人工智能领域使用谓词演算来表示有关这个世界的知识。
[Guha & Lenat 1990，Lenat 1995，Lenat & Guha 1990] 描述了一个表示数以百万计的、关于这个世界的常识的大型工程（CYC 工程）。
