谓词公式例如-浙江大学计算机学院.PPT

第三章 谓词逻辑（第一部分）(Chapter 3 Predicate Logic)(Part A) 徐从富 浙江大学人工智能研究所 2002年第一稿 2004年9月修改 步5. 把“爱”和“恨”的概念分出来： ??x[爱(x) ? 无缘故 (x)] ? ??y[爱(y) ? 无缘故 (y)] 步6. 把“缘故”的否定词分出来： ??x[爱(x) ? ?有缘故 (x)] ? ??y[爱(y) ? ?有缘故 (y)] 步7. 把“A是B的原因”这个概念中的A和B分解开来： ??x[爱(x) ? ? ?y 缘故 (x, y)] ? ??t[爱(t) ? ? ?s 缘故 (t, s)] 注意：一般地，分得越细，所含的知识越丰富，但推理效率也越低，究竟分到什么程度，应视需要而定。 3.2.3 永真性 永真：一个公式如果它对所有的解释均取真值，则称作“永真”。 重言式：永真的基公式。 例如：P(x) ? [ P(x) ? P(y) ] 为永真。 P(x) P(y) P(x) ? P(y) 说明 F F F T F T T T T F T T T T T T 3.3 与或句演绎系统 3