02-2.4 前束范式PPT
合集下载
数理逻辑-谓词逻辑
US规则(全称量词消去规则) UG规则(全称量词附加规则) ES规则(存在量词消去规则) EG规则(存在量词附加规则)等
2.5 谓词逻辑地推理理论
课堂练习
本章小结
本章重点：谓词与量词，公式与解释，前束范式，
谓词逻辑推理证明
主要概念：谓词 个体词 量词 变元前束范式 推理规
则
主要方法：推理规则（US规则 UG规则 ES规则 EG规则） 主要公式： (1)命题公式的推广；(2) 量词否定式的
2.2 谓词公式
变元与辖域
自由变元有时会在量词辖域中出现，但是它 不受相应量词指导变元的约束。
当谓词公式中没有自由变元时，它就是一个 命题。
出现n个自由变元就是n元谓词。 变元可以既是约束出现又是自由出现。
例子：P44
2.2 谓词公式
换名规则：
对约束变元进行换名 就是把公式中量词的指导变元及其该量词辖域中的
2.2 谓词公式
相关概念：
字母表
项：递归定义 P43
原子公式
2.2 谓词公式
合式公式
递归定义：P43
命题常数0，1，一个命题和命题变元以及一个命题 函数P(x1,x2,…,xn)，统称原子公式
由原子公式、联结词和量词可构成谓词公式(严格定 义见教材).
命题的符号化结果都是谓词公式。
约束变元换成该公式中没有出现的个体变元，公式
的其余部分不变.
代入规则：
对自由变元进行代入 就是把公式中的某一自由变元，用该公式中没有出
现的个体变元符号替代，且要把该公式中所有的该
自由变元都换成新引入的该符号.
经过换名或代入后，公式的意义不应该改变
2.2 谓词公式
课堂练习
对P44 例1中公式用换名或代入规则
2.5 谓词逻辑地推理理论
课堂练习
本章小结
本章重点：谓词与量词，公式与解释，前束范式，
谓词逻辑推理证明
主要概念：谓词 个体词 量词 变元前束范式 推理规
则
主要方法：推理规则（US规则 UG规则 ES规则 EG规则） 主要公式： (1)命题公式的推广；(2) 量词否定式的
2.2 谓词公式
变元与辖域
自由变元有时会在量词辖域中出现，但是它 不受相应量词指导变元的约束。
当谓词公式中没有自由变元时，它就是一个 命题。
出现n个自由变元就是n元谓词。 变元可以既是约束出现又是自由出现。
例子：P44
2.2 谓词公式
换名规则：
对约束变元进行换名 就是把公式中量词的指导变元及其该量词辖域中的
2.2 谓词公式
相关概念：
字母表
项：递归定义 P43
原子公式
2.2 谓词公式
合式公式
递归定义：P43
命题常数0，1，一个命题和命题变元以及一个命题 函数P(x1,x2,…,xn)，统称原子公式
由原子公式、联结词和量词可构成谓词公式(严格定 义见教材).
命题的符号化结果都是谓词公式。
约束变元换成该公式中没有出现的个体变元，公式
的其余部分不变.
代入规则：
对自由变元进行代入 就是把公式中的某一自由变元，用该公式中没有出
现的个体变元符号替代，且要把该公式中所有的该
自由变元都换成新引入的该符号.
经过换名或代入后，公式的意义不应该改变
2.2 谓词公式
课堂练习
对P44 例1中公式用换名或代入规则
第02章谓词逻辑
然而，(P∧Q)R并不是永真式，故上述 推理形式又是错误的。一个推理，得出矛盾的 结论
问题在哪里呢? ? ?
问题就在于这类推理中，各命题之间的逻辑关系 不是体现在原子命题之间，而是体现在构成原子命题 的内部成分之间，即体现在命题结构的更深层次上。
对此，命题逻辑是无能为力的。 所以，在研究某些推理时，有必要对原子命题作
③符号!称为存在唯一量词符，用来表达 “恰有一个”、“存在唯一”等词语；!x称为 存在唯一量词，称 x 为指导变元。
全称量词、存在量词、存在唯一量词统称量 词。
量词记号是由逻辑学家Fray引入的，有了量 词之后，用逻辑符号表示命题的能力大大加强了。
例：(1) 所有的人都是要死的。
(2) 有的人活百岁以上。 一、考虑个体域 D 为人类集合
列规则形成的符号串： P60 ① 原子谓词公式是谓词合式公式；
② 若A是谓词合式公式，则(¬A)是谓词合式公式； ③ 若A、B是谓词合式公式，则(A∧B)，(A∨B)， (AB)和(AB)都是谓词合式公式； ④ 若A是谓词合式公式，x是个体变元，则(x)A、 (x)A都是谓词合式公式； ⑤ 只有经过有限项次地使用①、②、③、④形成的 才是谓词合式公式。——简称为谓词公式。
例如：令 f(x,y) 表示 x+y，谓词 N(x) 表示x是 自然数，那么 f(2,3) 表示个体自然数 5，而 N(f(2,3))表示 5是自然数。
这里函数是就广义而言的。
例如：P(x): x是教授，f(x): x的父亲，c: 张 强，那么 P(f(c)) 便是表示“张强的父亲是教授” 这一命题。
客体——是指可以独立存在的，它可以是具体
的事物，也可以是抽象的概念。
如：李明，计算机，玫瑰花，自然数，思想，定 理等。
人工智能 谓词逻辑与归结原理
人工智能
命题逻辑归结方法
吉林大学珠海学院计算机科学与技术系
为叙述方便， 我们把命题原子称作正文字， 例如P, Q, R„., 等等， 把带有非符号的命题原子叫做 负文字，例如P, Q, R„., 等等，把正文字 和负文字统称为文字。 单个文字， 文字的析取构成的命题逻辑公式叫做子 句。 例如， P, Q, P ∨Q ∨R都是子句。
人工智能
命题逻辑归结方法
吉林大学珠海学院计算机科学与技术系
例：证明 (P → Q) →(～ Q → ～ P)} 前提集合F={(P → Q) }, 结论= (～ Q → ～ P)。 F中命题公式转换成的子句集是{～ P∨Q} ～g 转换成的子句集是{～Q, P } 把上述子句集组合在一起，得到初始子句集 Φ ={～ P∨Q, ～Q, P }
结论（conclusion）, 后项（ consequent） 命题语句的例 P, Q, R, ┓P, ┓Q, P∧Q, P∧Q→R, ┓P∨┓Q, ┓P∨┓Q ∨R (P∧Q)→R ┓P∨┓Q ∨R
人工智能
吉林大学珠海学院计算机科学与技术系
命题语句就是一个符号串， 只有对串中的命题符号指定 了真假值之后， 这个语句才具有实际意义。 命题演算的语义 由单个逻辑运算符连接的简单语句的语义 定义：命题语句的语义 对每一个命题指定其真假值。 按由单个逻辑运算符连接的简单语句的语义递归地
F
T T
F
T T
F
T T
人工智能
P T T F Q T F T ┓P F F T
吉林大学珠海学院计算机科学与技术系
┓ PVQ T F T
P→Q T F T
(┓ PVQ) P→Q T T T
F
F
离散数学课件2-67 前束范式推理理论
3. 4.
利用量词作用域的扩张和收缩等价式， 利用量词作用域的扩张和收缩等价式，把量 词提到前面。 词提到前面。
前束合取范式
定义2-6.2 前束合取范式： 前束合取范式： 定义 一个wff A如果具有如下形式，则称为前束 如果具有如下形式， 一个 如果具有如下形式 合取范式： 合取范式： (Q1x1)(Q2x2)…(Qnxn)[(A11∨A12∨…∨ 1k1)∧ ∨…∨A ∧ (A21∨A22∨…∨ 2k2)∧…∧(Am1∨Am2∨…∨ mkm)] ∨…∨A ∧ ∨…∨A 其中Q 为客体变元， 其中 i (1≤i≤n）为∃或∀，xi为客体变元， ） Aij是原子变元或其否定。 是原子变元或其否定。
前束合取范式
定理2 每一个wff 定理2-6.2 ：每一个wff A都可转化为与其等价 的前束合取范式。 的前束合取范式。 转化方法： 转化方法： 取消多余量词。 1. 取消多余量词。 2. 换名 消去条件联结词。 3. 消去条件联结词。 利用量词转化公式， 否定深入到命题变元和 4. 利用量词转化公式 ， 把 否定深入 到命题变元和 谓词填式的前面。 谓词填式的前面。 5. 利用量词作用域的扩张和收缩等价式， 把量词 利用量词作用域的扩张和收缩等价式 ， 提到前面。 提到前面。
(2)全称推广规则（universal generalization）
全称量词引入规则，简称 规则。 全称量词引入规则，简称UG规则。 规则 P(x)⇒ (∀x)P(x) ⇒ ∀ 如果能够证明对论域中每一个客体c， 如果能够证明对论域中每一个客体 ， 命 都成立， 题 P(c)都成立 ， 则全称推广规则可得到结论 都成立 (∀x)P(x)成立。在应用本规则时，必须能够证 成立。 ∀ 成立 在应用本规则时， 明前提P(x)对论域中每一可能的 是真。 对论域中每一可能的x是真 明前提 对论域中每一可能的 是真。
离散数学第二章一阶逻辑
(2) ∀x∀y(x+0=y →y+0=x) 真命题 (3) ∀x∀y∃z(x+y=z) 真命题 (4) ∀x∀y(x+y=x*y) 假命题 (5)x+y=y+z,它的真值不确定,因而不是命题. 注)非闭式,在有的解释中不是命题.
定义:设A为一公式(谓词公式),如果A在任何解释下都是 真的,则称A为逻辑有效式(永真式);如果A在任何解释下 都是假的,则称A是矛盾式(永假式);若至少存在一个解 释使A为真,则称A是可满足式. 2.代换实例 设A0是含命题变项p1,p2,…,pn的命题公式,A1,A2,…,An 是n个谓词公式,用Ai(1≤i≤n)处处代换pi,所得公式A 称为A0的代换实例. 例如:F(x)→G(x),∀xF(x)→∃xG(x)等都是p→q的代换实例; 命题公式中的重言式的代换实例在谓词公式中可仍称为重言式 ,这样的重言式都是逻辑有效式. 命题公式中的矛盾式的代换实例仍为矛盾式.
例2.7 给定解释I如下: 1)DI={2,3} 2)DI中特定元素a=2 3)函数f(x)为f(2)=3,f(3)=2 4)谓词F(x)为F(2)=0,F(3)=1 G(x,y)为G(i,j)=1,i,j=2,3 L(x,y)为L(2,2)=L(3,3)=1,L(2,3)=L(3,2)=0 在解释I下,求下列各式的真值 (1) ∀ ∀x(F(x)∧G(x,a)) (2)∃x(F(f(x))∧G(x,f(x))) ∃ (3)∀x∃yL(x,y) ∀ ∃
例2.2 在一阶逻辑中将下面命题符号化 (1)凡有理数均可表成分数; (2)有的有理数是整数; 要求:1)个体域为有理数集合, 2)个体域为实数集合, 3)个体域为全总个体域. 解: 1)个体域为有理数集合(不用引入特性谓词): (1) 设 F(x):x可表成分数; 则命题符号化为∀xF(x). ∀ (2) 设 G(x):x是整数;则命题符号化为∃xG(x). 2)个体域为实数集合(引入特性谓词):令 R(x):x是有理数; (1) 设F(x):x可表成分数;则命题符号化为∀x(R(x)→F(x)) (2) 设G(x):x是整数;则命题符号化为∃x(R(x)∧G(x))。
2谓词逻辑
第2章 谓词逻辑
存在量词：“ ” 称为存在量词，用来表达 “某个”、 “存在一些”、“至少有一个”、“对于一些” 等词。 例4：采用存在量词翻译下列命题 1) 至少有一台微机是坏的 设 A(x): x是微机 B(x): x是坏的 (x) ( A(x) B(x) ) 2) 有些人没有来上课 设 M(x): x是人 C(x): x没来上课 (x)( M(x) C(x) ) 3) 存在小于3的自然数 设 N(x): x是自然数 L(x): x小于3 (x)( N(x) L(x) )
第2章 谓词逻辑
客体
a:张三
谓词 S(x):x是个大学生
S(a)
张三是个大学生
客体常元：表示确定的客体，以a，b，c…或带下 标的ai，bi，ci…表示。 客体变元：表示不确定的客体，以x，y，z…或xi， yi，zi…表示。 谓词常元：表示确定谓词。如S(x):x是个大学生 谓词变元：表示不确定的谓词。如S,R。
第2章 谓词逻辑
约定： 最外层括号可以省略；量词后面如果有括号，
则不能够省略。 例如： (x)(P(x) Q(x)) (x) P(x) Q(x) 2. 谓词公式的翻译 例1：并非名人的话都是名言 解：设 R(x): x是名人的话 F(x): x是名言
¬ (x)( R(x) F(x) )
解：设 M(x): x是人 P(x): x聪明 (x)( M(x) P(x) ) ¬ ((x)( M(x) P(x))) 例4：如果有限个数的乘积为零，那么至少有一个因子为零 解：设 A(x): x是有限个数的乘积 B(x): x为零 C(x): x是乘积中的一个因子 (x)( A(x) B(x) ) (y)( C(y) B(y))
2、如果没有给出个体域，都应该统一为全总个体域。
存在量词：“ ” 称为存在量词，用来表达 “某个”、 “存在一些”、“至少有一个”、“对于一些” 等词。 例4：采用存在量词翻译下列命题 1) 至少有一台微机是坏的 设 A(x): x是微机 B(x): x是坏的 (x) ( A(x) B(x) ) 2) 有些人没有来上课 设 M(x): x是人 C(x): x没来上课 (x)( M(x) C(x) ) 3) 存在小于3的自然数 设 N(x): x是自然数 L(x): x小于3 (x)( N(x) L(x) )
第2章 谓词逻辑
客体
a:张三
谓词 S(x):x是个大学生
S(a)
张三是个大学生
客体常元：表示确定的客体，以a，b，c…或带下 标的ai，bi，ci…表示。 客体变元：表示不确定的客体，以x，y，z…或xi， yi，zi…表示。 谓词常元：表示确定谓词。如S(x):x是个大学生 谓词变元：表示不确定的谓词。如S,R。
第2章 谓词逻辑
约定： 最外层括号可以省略；量词后面如果有括号，
则不能够省略。 例如： (x)(P(x) Q(x)) (x) P(x) Q(x) 2. 谓词公式的翻译 例1：并非名人的话都是名言 解：设 R(x): x是名人的话 F(x): x是名言
¬ (x)( R(x) F(x) )
解：设 M(x): x是人 P(x): x聪明 (x)( M(x) P(x) ) ¬ ((x)( M(x) P(x))) 例4：如果有限个数的乘积为零，那么至少有一个因子为零 解：设 A(x): x是有限个数的乘积 B(x): x为零 C(x): x是乘积中的一个因子 (x)( A(x) B(x) ) (y)( C(y) B(y))
2、如果没有给出个体域，都应该统一为全总个体域。
第二章谓词逻辑
第二章 谓词逻辑
2.1 谓词的概念与表示
苏格拉底三段论：
所有人都是要死的，苏格拉底是人，所以苏格拉底 是要死的。
用P,Q,R分别表示以上三个命题。 则得到推理的形式结构为：
(P∧Q)→R
第二章 谓词逻辑
2.1 谓词的概念与表示
谓词逻辑命题符号化的三个基本要素：客体词、 谓词、量词。 反映判断的句子由主语和谓语组成。
第二章 谓词逻辑
2.2 命题函数与量词
每个由量词确定的表达式都与个体域有关。为了方便，
将所有命题函数的个体域全部统一，使用全总个体域，之
后，对每一个客体变元的变化范围，用特性谓词加以限制。 特性谓词：从全总个体域中分离出一个集合，定义的
谓词。
对全称量词，特性谓词常作蕴含的前件，对存在量 词，特性谓词常作合取项。
则: (1) x (M(x) → F(x));
(2) x (M(x)∧ G(x)).
第二章 谓词逻辑
由上面例子可见：
（1）在不同个体域中，同一个命题的符号化形式可能不同。 一般地，对全称量词，特性谓词应作为蕴含式的前件。
一般地，对存在量词，特性谓词应作为合取式的一项。 （2）同一个命题，在不同个体域中的真值也可能不同。
组成的表达式为复合命题函数。
逻辑联结词组、∧、∨、—>、<—>的意义与 命题演算中的解释完全类同。
第二章 谓词逻辑
2.2 命题函数与量词
有了个体词和谓词的概念之后，有些命题还是不能准确地符号化 。 以前面所讨论的三段论为例： 令：P(x)：x是偶数。 S(x) ： x能被2整除。 a：6。
符号化为： (1)P(x)→S(x) (2)P(a) (3)S(a) 我们知道，“凡偶数都能被2整除。”是一个真命题， 而“P(x)→S(x)”是一个一元函数，不是一个命题。原因是 “P(x)→S(x)”没有把命题(1) 中“凡”的意思表示出来。 即缺少表示个体常项或变项的数量关系的词。所以还要引入量 词的概念。
前束范式推理
-吴扬扬8
§2.5 推理理论(4)
例3: 下列推导结论是错误的： (1) ∀x∃yP(x,y) (2) (3) (4) (5) ∃yP(z,y) P(z,d) ∀xP(x,d) ∃y∀xP(x,y) 前提 (1)US (2)ES (3)UG (4)EG
所以， ∀x∃yP(x,y)⇒ ∃y∀xP(x,y) 设：个体域实数集，P(x,y): x+y=1 则 ∀x∃yP(x,y)为T，而∃y∀xP(x,y)为F。 错在哪里？为什么？
»
(4) D(a) (1)(3)假言推论 例2: 证明 ∀x(P(x)∨Q(x))⇒∃x¬P(x)→∃xQ(x). ∃x ¬P(x) 附加前提 证明: (1) (2) ¬P(c) (1)ES (3) ∀x(P(x)∨Q(x)) 前提 (4) P(c)∨Q(c) (3)US (5) Q(c) (2)(4)析取三段论 (6) ∃xQ(x) (5)EG (7) ∃x¬P(x)→∃xQ(x) CP
-吴扬扬4
不是等价变换
§2.4 范式(4)
定理2.4.1: 设A为合式公式,那么A是永假式 iff A的Skolem 范式是永假式。 引理2.4.1: 设C为∀x1,…,∀xt∃yB(x1,…,xt,y), C’为∀x1,…,∀xtB(x1,…,xt,f(x1,…,xt)),那么 C是永假式 iff C’是永假式。 证明：必要性 若C是永假式，但C’不是永假式， 则有解释I，使C’在I下为1， 即∀a1,…,at∈DI,有B(a1,…,at,f(a1,…,at))为1, ∵ f(a1,…,at)∈DI， ∴ ∀a1,…,at∈DI,有a=f(a1,…,at)，使B(a1,…,at,a)为1, 与C是永假式矛盾。 充分性证明见pp.48 -吴扬扬5
-吴扬扬-
§2.5 推理理论(4)
例3: 下列推导结论是错误的： (1) ∀x∃yP(x,y) (2) (3) (4) (5) ∃yP(z,y) P(z,d) ∀xP(x,d) ∃y∀xP(x,y) 前提 (1)US (2)ES (3)UG (4)EG
所以， ∀x∃yP(x,y)⇒ ∃y∀xP(x,y) 设：个体域实数集，P(x,y): x+y=1 则 ∀x∃yP(x,y)为T，而∃y∀xP(x,y)为F。 错在哪里？为什么？
»
(4) D(a) (1)(3)假言推论 例2: 证明 ∀x(P(x)∨Q(x))⇒∃x¬P(x)→∃xQ(x). ∃x ¬P(x) 附加前提 证明: (1) (2) ¬P(c) (1)ES (3) ∀x(P(x)∨Q(x)) 前提 (4) P(c)∨Q(c) (3)US (5) Q(c) (2)(4)析取三段论 (6) ∃xQ(x) (5)EG (7) ∃x¬P(x)→∃xQ(x) CP
-吴扬扬4
不是等价变换
§2.4 范式(4)
定理2.4.1: 设A为合式公式,那么A是永假式 iff A的Skolem 范式是永假式。 引理2.4.1: 设C为∀x1,…,∀xt∃yB(x1,…,xt,y), C’为∀x1,…,∀xtB(x1,…,xt,f(x1,…,xt)),那么 C是永假式 iff C’是永假式。 证明：必要性 若C是永假式，但C’不是永假式， 则有解释I，使C’在I下为1， 即∀a1,…,at∈DI,有B(a1,…,at,f(a1,…,at))为1, ∵ f(a1,…,at)∈DI， ∴ ∀a1,…,at∈DI,有a=f(a1,…,at)，使B(a1,…,at,a)为1, 与C是永假式矛盾。 充分性证明见pp.48 -吴扬扬5
-吴扬扬-
第2章 谓词逻辑(二)
2.5谓词逻辑的推理理论
【例2.21】证明 (x)(A(x)∨B(x))，(x)¬ A(x)(x)B(x) 证明：用直接法证明。 ⑴ (x)(A(x)∨B(x)) P ⑵ A(s)∨B(s) US⑴ ⑶ (x)¬ A(x) P ⑷¬ A(s) US⑶ ⑸ B(s) T⑵⑷析取三段论 ⑹ (x)B(x) EG⑸
2.4前束范式
定理2.4.2 每个谓词公式都可化为与其等价的前束合取范式。 【例2.18】将((x)F(x)∨(x)G(x))→(x)(F(x)∨G(x))化为与 其等价的前束合取范式。 解： ((x)F(x)∨(x)G(x))→(x)(F(x)∨G(x)) (x)(F(x)∨G(x))→(y)(F(y)∨G(y)) (x)(y)((F(x)∨G(x))→(F(y)∨G(y))) (x)(y)(¬ (F(x)∨G(x))∨(F(y)∨G(y))) (x)(y)((¬ F(x)∧¬ G(x))∨(F(y)∨G(y))) (x)(y)((¬ F(x)∨F(y)∨G(y))∧(¬ G(x)∨F(y)∨G(y)))
2.5谓词逻辑的推理理论
【例2.23】设个体域为全总个体域。证明推理：学术会的成 员都是工人并且是专家。有些成员是青年人。所以有的成员 是青年专家。 首先将命题符号化： F(x)：x是学术会成员。 G(x)：x是专家。 H(x)：x是工人。 R(x)：x是青年人。 本题要证明：(x)(F(x)→G(x)∧H(x)), (x)(F(x)∧R(x)) (x)(F(x)∧R(x)∧G(x))
例如： (x)(y)(F(x)∨G(y)→L(x,y)) (y)(x)(z)(¬ H(x,y)∧F(x)→L(x,z)) 都是前束范式。 (x)F(x)∨(y)(G(y)→L(x,y)) (y)(x)(¬ H(x,y)∧F(x))→(z)L(x,z) 不是前束范式。
离散数学 第3章 基于归结原理的推理证明
4
第三章：基于归结原理的推理证明
主要内容：谓词公式与子句集的概念,斯柯林(Sko
lem)标准范式及其求取过程,海伯伦（Herbrand） 理论的H域及其解释,置换与合一,命题和谓词归结 原理,归结过程的控制策略。
教学要求：深刻理解和掌握归结原理的基本概念
和基本归结过程。
重点：归结原理的基本概念和基本归结方法 难点：归结原理的实现方法 。 实践活动：归结原理的程序实现
离散数学讲义之
数理逻辑
主讲:邱晓红
数理逻辑简介
• 数理逻辑是用数学方法研究形式逻辑的科学。 数学方法即符号方法，故数理逻辑又称符号 逻辑。包含命题逻辑、谓词逻辑、证明论、 模型论、递归函数、公理化集合论、归纳逻 辑、模态逻辑、多值逻辑和时态逻辑等内容， 与计算机有密切关系。
2
各知识点关联图
命题逻辑 简单命题 命题 复合命题 对偶式 命题公式 真值表 主合取范式 主析取范式 合取范式 析取范式 蕴含式 前提引入 P 规则 置换等 T 规则 推理规则 推理系统 置换 归结原理 自动推理 合一 量词引入规则 量词消去规则
9
（5）把全称量词全部移到公式的左边，并使每个量词的辖域包括这个量词后面公式的整 个部分。 （6）母式化为合取范式：任何母式都可以写成由一些谓词公式和谓词公式否定的析取的 有限集组成的合取。 需要指出的是，由于在化解过程中，消去存在量词时作了一些替换，一般情况下，公式 G 的 Skolem 标准型与 G 并不等值。
(x1 )(x2 )...(xn )M ( x1, x2 ,...,xn )
其中，M(x1,x2,…,xn)是一个合取范式，称为 Skolem 标准型的母式。
8
将谓词公式 G 化为 Skolem 标准型的步骤如下： （1）消去谓词公式 G 中的蕴涵（→）和双条件符号（） ，以A∨B 代替 A→B，以(A∧ B)∨(A∧B)替换 AB。 （2）减少否定符号（）的辖域，使否定符号“”最多只作用到一个谓词上。 （3）重新命名变元名，使所有的变元的名字均不同，并且自由变元及约束变元亦不同。 （4）消去存在量词。这里分两种情况，一种情况是存在量词不出现在全称量词的辖域内，此 时，只要用一个新的个体常量替换该存在量词约束的变元，就可以消去存在量词；另一种情况 是，存在量词位于一个或多个全称量词的辖域内，这时需要用一个 Skolem 函数替换存在量词 而将其消去。
谓词逻辑II 等值演算、前束范式与推理理论29页PPT
谢谢
11、越是没有本领的就越加自命不凡。——邓拓 12、越是无能的人，越喜欢挑剔别人的错儿。——爱尔兰 13、知人者智，自知者明。胜人者有力，自胜者强。——老子 14、意志坚强的人能把世界放在手中像泥块一样任意揉捏。——歌德 15、最具挑战性的挑战莫过于提升自我。——迈克尔·F·斯特利
谓词逻辑II 等值演算、前束范式与推理
理论
21、没有人陪你走一辈子，所以你要 适应孤 独，没 有人会 帮你一 辈子， 所以你 要奋斗 一生。 22、当眼泪流尽的时候，留下的应该 是坚强 。 23、要改变命运，首先改变自己。
24、勇气很有理由被当作人类德性之 首，因 为这种 德性保 证了所 有其余 的德性 。--温 斯顿． 丘吉尔放上一 段时间 ，以便 让别一 只脚能 够再往 上登。
离散数学第二章谓词逻辑2-6前束范式
离散数学第⼆章谓词逻辑2-6前束范式在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，⼀个谓词演算公式，可以化为与它等价的范式。
定义2-6。
1 ⼀个公式，如果量词均在全式的开头，它们的作⽤域，延伸到整个公式的末尾，则该公式叫做前束范式。
前束范式可记为下述形式：（□v1）（□v2）…（□v4）a，其中□可能是量词或量词ヨ，v i（i=1，2，3，…，n）是客体变元，a是没有量词的谓词公式。
例如（"x）（"y）（$z）（q（x，y）®r（z）），（"y）（"x）（øp（x，y）®q（y））等都是前束范式。
定理2-6.1 任意⼀个谓词公式，均和⼀个前束范式等价。
证明⾸先利⽤量词转化公式，把否定深⼊到命题变元和谓词填式的前⾯，其次利⽤（"x）（aúb（x））ûaú（"x）b（x）和（$x）（aùb（x））ûaù（$x）b（x）把量词移到全式的最前⾯，这样便得到前束范式。
例题1 把公式（"x）p（x）®（$x）q（x）转化为前束范式。
解（"x）p（x）®（$x）q（x）û（$x）øp（x）ú（$x）q（x）û（$x）（øp（x）úq（x））例题2 化公式（"x）("y)(($z)(p(x,y)ùp(y,z))®($u)q(x,y,u))为前束范式。
解原式û（"x）（"y）（ø（$z）（p（x，z）ùp（y，z））ú（$u）q（x，y，u））û（"x）（"y）（（"z）（øp（x，z）úøp（x，z））ú（$u）q（x，y，u））û（"x）（"y）（"z）（$u）（øp（x，z）úøp（x，y）úq（x，y，u））例题3 把公式ø（"x）{（$y）a（x，y）®（$x）（"y）[b（x，y）ù（"y）（a（y，x）®b（x，y））]}化为前束范式。
人工智能课件214框架表示法ppt课件-PPT课件
人工智能 丁世飞
人工智能
在此例中，棋手框架中的ISA槽指出该框架所描述 的事物是运动员框架所 描述事物的属性及值。
人工智能 丁世飞
人工智能
2.4 框架表示法
（2）AKO槽 AKO槽用于具体地指出对象间的类属关系。其直观意义是 “是一种”。当用它作为某下层框架的槽时，就明确地指出 了该下层框架所描述的事物是其上层框架所描述事物中的一 种，下层框架可继承上层框架中值或属性。 （3）Instance槽 Instance槽用来表示AKO槽的逆关系。当用它作为某上 层框架的槽时，可在该槽中指出它所联系的下层框架。用 Instance槽指出的联系都具有继承性，即下层框架可继承上 层框架中所描述的属性或值。
人工智能 丁世飞
人工智能
2.4 框架表示法
2.4.1 框架结构
框架是表示某一类情景的结构化的一种数据结构。框架由描 述事物的各个方面的槽组成，每个槽可有若干个侧面。一个槽用 于描述所讨论对象的某一方面的属性，一个侧面用于描述相应属 性的一个方面。槽和侧面所具有的值分别称为槽值和侧面值。槽 值可以是逻辑的、数字的，可以是程序、条件、默认值或是一个 子框架。槽值含有如何使用框架信息、下一步可能发生的信息、 预计未实现该如何做的信息等。 在一个用框架表示的知识系统中，一般都含有多个框架，为 了区分不同的框架以及一个框架内不同的槽，不同的侧面，需要 分别赋予不同的名字，分别称为框架名、槽名及侧面名。因此， 一个框架通常由框架名、槽名、侧面和值这四部分组成，其一般 结构如下：
人工智能
2.4 框架表示法
（4）Part-of槽 Part-of槽用于指出部分和全体的关系。当用其作为某框 架的一个槽时，槽中所填的值称为该框架的上层框架名，该 框架所描述的对象只是其上层框架所描述对象的一部分。 例如，“两条腿”是“人体”的一部分。可以将“两条退” 和“人体”分别定义成框架，“两条退”为下层框架，“人 体”为其上层框架。在“两条退”的框架中设置一个Part-of 槽，槽值填入<人体>这个框架名。 显然，用Part-of槽指出的联系所描述的下层框架和上层 框架之间不具有继承性。
人工智能
在此例中，棋手框架中的ISA槽指出该框架所描述 的事物是运动员框架所 描述事物的属性及值。
人工智能 丁世飞
人工智能
2.4 框架表示法
（2）AKO槽 AKO槽用于具体地指出对象间的类属关系。其直观意义是 “是一种”。当用它作为某下层框架的槽时，就明确地指出 了该下层框架所描述的事物是其上层框架所描述事物中的一 种，下层框架可继承上层框架中值或属性。 （3）Instance槽 Instance槽用来表示AKO槽的逆关系。当用它作为某上 层框架的槽时，可在该槽中指出它所联系的下层框架。用 Instance槽指出的联系都具有继承性，即下层框架可继承上 层框架中所描述的属性或值。
人工智能 丁世飞
人工智能
2.4 框架表示法
2.4.1 框架结构
框架是表示某一类情景的结构化的一种数据结构。框架由描 述事物的各个方面的槽组成，每个槽可有若干个侧面。一个槽用 于描述所讨论对象的某一方面的属性，一个侧面用于描述相应属 性的一个方面。槽和侧面所具有的值分别称为槽值和侧面值。槽 值可以是逻辑的、数字的，可以是程序、条件、默认值或是一个 子框架。槽值含有如何使用框架信息、下一步可能发生的信息、 预计未实现该如何做的信息等。 在一个用框架表示的知识系统中，一般都含有多个框架，为 了区分不同的框架以及一个框架内不同的槽，不同的侧面，需要 分别赋予不同的名字，分别称为框架名、槽名及侧面名。因此， 一个框架通常由框架名、槽名、侧面和值这四部分组成，其一般 结构如下：
人工智能
2.4 框架表示法
（4）Part-of槽 Part-of槽用于指出部分和全体的关系。当用其作为某框 架的一个槽时，槽中所填的值称为该框架的上层框架名，该 框架所描述的对象只是其上层框架所描述对象的一部分。 例如，“两条腿”是“人体”的一部分。可以将“两条退” 和“人体”分别定义成框架，“两条退”为下层框架，“人 体”为其上层框架。在“两条退”的框架中设置一个Part-of 槽，槽值填入<人体>这个框架名。 显然，用Part-of槽指出的联系所描述的下层框架和上层 框架之间不具有继承性。
第2章 一阶逻辑
元、二元和三元运算符。而h（a，b）不是项，
因为h是一元运算符，但h（a，b）中h的后面 跟了两个项，同样g（x）也不是项。
第2章 一阶逻辑
定义2.2.2 若F是n元谓词，t1，t2，…，tn
是项，则F（t1，t2，…，tn）是原子公式。
由定义可知，原子命题是不含量词和联结
词的谓词公式。同命题逻辑中的情况相似，这 里也可以用联结词将原子公式复合成分子公式。 （事实上我们已经这样做了。）
可形式化为：
x（W（x）∧G（x））
第2章 一阶逻辑
【例2.1.3】 将下列命题形式化为一阶逻辑中的
命题： （1）没有不犯错误的人。 （2）人总是要犯错误的。 解 设M（x）：x是人，F（x）：x犯错误。 则原句形式化为： （1） x（M（x）∧
F（x））
（2） x（M（x）→F（x））
达式就对应于一个命题。所以要给出严格的定义。
定义2.2.1 项
(1)任何一个个体变元或个体常元是项。
(2)如果f是n元运算符，t1，t2，…，tn是项，
则f（t1，t2，…，tn）是项。
(3)所有的项由且仅由有限次使用（1）、 （2）所生成。
第2章 一阶逻辑
例如，x，a，f（x，a），f（g（x，a， b），h（x））均是项，其中h、f和g分别是一
命题。G（a，a）、G（a，b）等称为0元谓词，
它们不含个体变元，0元谓词即命题。
第2章 一阶逻辑
【例2.1.1】 将下列语句形式化为谓词逻辑 中的命题或命题函数。
（1）小王是二年级大学生。 （2）小王是李老师的学生。 （3）如果x≤y且y≤x，则x=y。 解 （1）令F（x）：x是大学生；G（x）：x是 二年级的；a：小王。则原句形式化为： F（a）∧G（a）
离散数学课件（北航）第四章第二节范式[兼容模式]
![离散数学课件（北航）第四章第二节范式[兼容模式]](https://img.taocdn.com/s3/m/30e66c304a73f242336c1eb91a37f111f1850de2.png)
第四章归结法原理§4.1命题逻辑的归结法§4.2前束范式与斯科伦范式§4.3谓词逻辑的归结法作业§4.2 前束范式与斯科伦范式在命题逻辑中，为了用归结法判断一个公式是否是另一些公式的逻辑推论，首先需要将公式化为标准形式—合取范式。
在谓词逻辑中，为了用归结法判断一个语句是否是另一些语句的逻辑推论，首先需要将语句化为标准形式—斯科伦范式。
定义4.5形式为Q1y1 … Q n y n B 的公式称为前束范式，其中n 为非负整数，每个Qi是∀或∃，B 是开公式，y1, …, y n 是不同变元。
称Q1y1…Q n y n 为该前束范式的前束词，称B 为它的母式。
开公式是前束范式，这时n= 0，前束词是空串。
当一个前束范式不是开公式时它的所有量词都出当一个前束范式不是开公式时，它的所有量词都出现在最前面，并且它们的辖域都一直管到底。
前束范式：∀x∃y∃z(P(x, y) →Q(u, v))，P(x, y)非前束范式：∀xP(x) ∧Q(y)，因为∀x 的辖域是P(x)，而不是P(x) ∧Q(y)。
可以通过等值演算将一个公式化为前束范式。
例通过等值演算将公式Q(x) ∧(∃xP(x)→∀xR(x))化为前束范式。
Q(x) ∧(∃xP(x)→∀xR(x))⇔Q(x) ∧∀x(P(x)→∀xR(x))因为x 是公式P(x) 中的自由变元，所以P(x)→∀xR(x) ⇔∀x(P(x)→R(x))不成立。
需要将约束变元换名。
Q(x) ∧∀x(P(x)→∀xR(x))⇔Q(x) ∧∀x(P(x)→∀yR(y))⇔Q(x) ∧∀x∀y(P(x)→R(y))因为x 是公式Q(x) 中的自由变元，所以Q(x) ∧∀x∀y(P(x)→R(y))⇔)∀x(Q(x) ∧∀y(P(x)→R(y)))不成立。
需要将约束变元换名。
Q(x) ∧∀x∀y(P(x)→R(y))⇔Q(x) ∧∀z∀y(P(z)→R(y))⇔∀z(Q(x) ∧∀y(P(z)→R(y)))⇔∀z∀y(Q(x) ∧(P(z)→R(y)))与公式A 等值的前束范式称为A 的前束范式。