1.2知识表示.ppt

2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） John给Mary一本书 分析：对象：John,Mary,书，关系：给 Give(John,Mary,book),Givebook(John,Mary) 可以加上Human(John) ?human(Mary) 也可以引入变量： 2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） 如果需要附加更多的信息，如动作发生的时间和地点，解决的办法是建立一个”Give“事件： 2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） 张某送给屋里的人每人一件礼物 2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） 4、合式公式的性质 如果两个合式公式的真值表不论它们的解释如何都是相同的，则称这两个合式公式等价，用?表示。用真值表可以很容易地证明下列公式的等价性。 ?(?X) ? X X1?X2 ? ? X1? X2 摩根定律 ?( X1? X2) ?? X1? ?X2 ?(X1? X2) ?? X1??X2 分配律 X1?( X2?X3) ? (X1?X2) ?(X1 ? X3)