人工智能五.ppt

第五章 谓词演算（复习） 数理逻辑思想的起源：Leibnitz之梦 产生的历史：Boole的工作、Frege的工作 发展的现实：计算机学科的基础（软件到硬件） 古典数理逻辑主要包括两部分：命题逻辑和谓词逻辑。 命题逻辑又是谓词逻辑的一种简单情形。 逻辑研究的基本内容 语法 语言部分：基本符号集、公式形成规则 推理部分：公理集、推理规则 语义 语法和语义之间的关系：可靠性、完备性 基本问题 逻辑表示下的判定问题 一、命题逻辑 1 命题 一句有真假意义的话。 用大写英文字母P，Q，…，P1，P2，…，表示。 例： 上海是中国最大的城市。今天是星期二。 所有素数都是奇数。 1+1=2。 我不会解答这道题。 别的星球上有生物。 如果太阳从西方升起，你就可以长生不老。 严禁吸烟。 几点了？ 全体起立！ 这个教室好大呀! 我正在说谎。 2 真值 如果一个命题是真的，就说它的真值是T； 如果一个命题是假的，就说它的真值是F。 T和F统称为命题的真值。 也用T代表一个抽象的真命题，用F代表一个抽象的假命题。 3 联结词 ～、 ∨、 ∧、 →、 ? 设P是一个命题，命题 “P是不对的”称为P的否定，记以～P，读作非P。 例.Q:张三是好人。～Q ：张三不是好人。 语义规定： ～P是真的当且仅当P是假的。 设P，Q是两个命题，命题 “P或者Q”称为P，Q的析取，记以P?Q，读作P析取Q。 例.P：今天下雨，Q：今天刮风， P?Q：今天下雨或者刮风。 语义规定： P?Q是真的当且仅当P,Q中至少有一个为真。 设P，Q是两个命题，命题 “P并且Q”称为P，Q的合取，记以P?Q，读作P合取Q。 例. P：2?2=5，Q：雪是黑的， P?Q：2?2=5并且雪是黑的。 语义规定： P?Q是真的当且仅当P和Q都是真的。 设P，Q是两个命题，命题 “如果P，则Q”称为P蕴涵Q，记以P?Q。 例. P：f(x)是可微的， Q：f(x)是连续的，P?Q： 若f(x)是可微的，则f(x)是连续的。 语义规定： P?Q是假的当且仅当P是真的而Q是假的。 设P，Q是两个命题，命题 “P当且仅当Q”称为P等价Q，记以P?Q。 语义规定： P?Q是真的当且仅当P，Q或者都是真的，或者都是假的。 例 P ： a2+b2=a2， Q： b=0，  P?Q： a2+b2=a2当且仅当b=0 。 五种逻辑联结词的优先级按如下次序递增： ?，?，?，?， ～ 例. 符号串 P?Q?R?Q? ～S?R 意味着： ((P?(Q?R))?(Q?((～S)?R))) 4 复合命题 用联结词将简单命题连接的结果。 5 原子 命题的抽象。 用大写的英文字母P，Q，R，…等表示。 6 文字 原子或原子的否定。 7 子句 有限个文字的析取式称为一个子句。 8 短语 有限个文字的合取式称为一个短语。 11 真值表 公式G在其所有可能的解释下所取真值的表，称为G的真值表。 有n个不同原子的公式，共有2n个解释。 12 恒真公式 公式G称为恒真的(或有效的)，如果G在它的所有解释下都是真的. 13 恒假公式 公式G称为恒假的(或不可满足的)，如果G在它的所有解释下都是假的. 14 可满足公式 公式G称为可满足的，如果它不是恒假的。 G是恒真的 iff ～ G是恒假的。 G是可满足的 iff 至少有一个解释I，使G在I下为真。 若G是恒真的，则G是可满足的； 反之不对。 如果公式G在解释I下是真的，则称I满足G； 如果G在解释I下是假的，则称I弄假G。 例.考虑G1= ～(P→Q) →P，G2=(P →Q) ?P， G3=P ? ～P。 15 判定问题 能否给出一个可行方法，对任意的公式，判定其是否是恒真公式。 命题逻辑可判定？ 原因？ 因为一个命题公式的原子数目有限(n)，从而解释的数目是有限的(2n)，所以命题逻辑的判定问题是可解的(可判定的，可计算的). 16 公式等价 称公式G，H是等价的，记以G=H，如果G，H在其任意解释I下，其真值相同。 公式G，H等价 iff 公式G?H恒真。 基本等价式 1) (G?H)=(G?H)?(