2.知识表示方法汇.pptVIP

2.4 语义网络法 4.蕴涵　　用标注ANTE和CONSE界限来表示蕴涵关系。 ANTE——先决条件(antecedent) CONSE——结果(consequence) 例如， Every one who lives at 37 Victory Street is a programmer Y——表示一个特定的地址事件 X——表示与此事件有关的人们（变量） O(X，Y)——代表一个特定的职业事件 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.4 语义网络法 5.量化 存在量化：在语义网络中可直接用ISA链来表示。例如， The dog bit the postman D——一特定的狗； P ——一特定的邮递员； B ——一特定的咬人事件 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.4 语义网络法 全称量化：就要用分割方法来表示。例如， Every dog has bitten a postman相应的谓词逻辑表示： (?X)DOG(x) = (?y)[POSTMAN(y)∧BITE(x,y)] 上述谓词公式中包含有全称量词。用语义网络来表达知识的主要困难之一是如何处理全称量词。解决这个问题的方法之一是把语义网络分割成空间分层集合。每一个空间相应于一个或几个变量的范围。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.4 语义网络法 空间S1是一个特定的分割，它表示一个断言： A dog has bitten a postman 该断言记为G。 断言G有两个部分：第一部分是断言本身，它说明所断定的关系，叫做格式(FORM)；第二部分是代表全称量词的特殊链，一根链可表示一个全称量化的变量。 GS——一个概念节点，它表示具有全称化的一般事件，G是GS的一个实例。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.4 语义网络法 为进一步说明分割如何表示量化变量，可考虑如何表示下述事实： Every dog has bitten every postman 唯一要做的是用链与节点P相连。这样做的含义是每条狗咬了每个邮递员. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.4 语义网络法 2.4.4 语义网络的推理过程 为了便于以下的叙述，我们对所用符号作进一步的规定： 值节点——链的尾部节点 槽——链（不过取不同的名字而已） 在下图中，砖块12(BRICK12)有3个链，构成两个槽。其中一个槽只有一个值，另外一个槽有两个值。我们说颜色槽(COLOR)填入红色(RED)，ISA槽填入了砖块(BRICK)和玩具(TOY)。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.4 语义网络法 语义网络中的推理过程主要有两种:一种是继承，另一种是匹配。 1.继承 所谓的继承是把对事物的描述从概念节点或类节点传递到实例节点。（一般到具体） BRICK是概念节点 BRICK12是一个实例节点 BRICK节点在SHAPE(外形)槽中填入了RECTANGULAR(矩形)，说明砖块的外形是矩形的。这个描述可以通过ISA链传递给实例节点BRICK12。因此，虽然BRICK12节点没有SHAPE槽，但可以从这个语义网 络推理出BRICK12的外形是矩形的。 Evaluat