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) X1? ( X2?X3) ? (X1?X2) ? (X1? X3) 交换律 X1? X2? X2? X1 X1? X2? X2?X1 2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） 4、合式公式的性质 结合律 （X1? X2）? X3?X1?（ X2? X3） （X1?X2）?X3?X1?（ X2 ?X3） 逆否律 X1? X2??X2??X1 根据量词的含义，也可建立下列公式的等价性。 （1）?(?x)P(x) ?（ ? x）[?P（x）] （2）?(?x)P(x) ?（?x）[?P（x）] （3）(?x)[P(x) ?Q（x）] ?(?x)P（x）?(?x) Q（x） （4）(?x) [P(x) ?Q（x）] ?(?x)P（x）? (?x) Q（x） (5) (?x)P(x) ?(?y)P(y) (?x)P(x) ?(?y)P(y) 2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） 4、合式公式的性质 （1）?(?x)P(x) ?（ ? x）[?P（x）] 证明：如果(?x)P(x) =T，说明存在一个x=x‘使P（x）=T，则 ?(?x)P(x)=F， （ ? x）[?P（x）]=F 如果(?x)P(x) =F，说明对任何x有P（x）=F，则 ?(?x)P(x)=T， （ ? x）[?P（x）]=T 2、知识表示 5、基本的知识表示方式 一阶谓词逻辑（First order predicate logic） 4、合式公式的性质 （3）(?x)[P(x) ?Q（x）] ?(?x)P（x）?(?x) Q（x） (?x)[P(x) ? Q（x）] ???(?x)P（x） ?(?x) Q（x） 不等价 同理：(?x) [P(x) ?Q（x）] ?(?x)P（x）? (?x) Q（x） (? x)[P(x) ? Q（x）] ???(? x)P（x） ?(? x) Q（x） 不等价 T T T T T T T P(x) Q(x) 下列一阶谓词逻辑公式语法是否正确： (2)（?y）(In（?f(y),room)?Human(y)) (3)（?y）(In（F(y)?Q(y),room)?Human(y)) 2、知识表示 5、基本的知识表示方式 规则表示(产生式系统) 产生式系统的概念最早是由Post于1943年提出的产生式规则得来的，产生式系统是专家系统中知识表示的主要手段之一。产生式系统由规则库、综合数据库和控制子系统三个部分组成。 (1) 综合数据库是产生式系统使用的数据结构，用来描述问题的状态，在推理过程中，它记录了已知的事实、推理的中间状态和推理结果（结论）。 (2) 规则库是产生式规则的集合。产生式规则的一般形式为：IF（前提）THEN（动作或结论），它对综合数据库进行操作，使综合数据库发生变化。规则的前提部分可以是能和综合数据库匹配的任何模式，一旦匹配成功，则执行规则的动作部分或得出某一结论。 2、知识表示 5、基本的知识表示方式 规则表示(产生式系统) (3) 控制子系统的功能：①根据综合数据库的当前状态查找可用的规则集；②在可用的规则