人工智能——第二章(老师版)剖析.ppt

如果要表示 Every dog has bitten a postman这个事实，用谓词逻辑可表示为 (?x)[DOG(x) ?(?y)(POSTMAN(y)∧BITE(x,y))] 用语义网络来表达知识的主要困难之一是如何处理全称量词。解决这个问题的方法之一是把语义网络分割成多个空间来实现量化。 空间S1是一个特定的分割，它表示一个断言（陈述句）：A dog has bitten a postman。因为这里所指的狗应是每一条狗，所以我们把这个特定的断言认作是断言G。断言G有两部分 ：第一部分是断言本身，它说明所断定的关系，叫做格式(FORM)；第二部分是代表全称量词的特殊链，一根链可表示一个全称量化的变量。GS节点是一个概念节点，它表示具有全称化的一般事件，G是GS的一个实例。 在这个例子中，只有一个全称量化的变量D，这个变量可代表DOGS这类物体中的每一个成员，而其它两个变量B和P仍被理解为存在量化的变量。 换句话说，这样的语义网络表示对每一条狗D存在一个咬人事件B和一个邮递员P，使得D是B中的攻 击者，而P是受害者。 Every dog has bitten every postman 量化在语义网络中的表示 (a)The dog bit the postman. (b)Every dog has bitten a postman. (c)Every dog