软件技术前沿-知识表示.pptVIP

* 3. 连接词和量词 在一阶谓词逻辑中共有5个连接词和2个量词。由于命题逻辑可看作谓词逻辑的一种特殊形式，因此一阶谓词逻辑中的5个连接词也都适应于命题逻辑，但2个量词仅适应于谓词逻辑。 一. 谓词逻辑表示法的逻辑基础 * （1）连接词 连接词是用来连接简单命题，并由简单命题构成复合命题的逻辑运算符号。它们分别是： ~：称为“非“或者“否定”。它表示对其后面的命题的否定，使该命题的真值与原来相反。例如，对命题P，若其原来的真值为T，则~P（读作非P）的真值为F；若其原来的真值为F，则~P的真值为T。 ∨：称为“析取”。它表示所连结的两个命题之间具有“或”的关系。 ∧：称为“合取”。它表示所连结的两个命题之间具有“与”的关系。 →：称为“条件”或“蕴含”。它表示“若…则…”的语义。 例如，对命题 P和 Q，蕴含式 P→Q表示“P蕴含Q”，读作“如果P，则Q”，其中P称为条件的前件，Q称为条件的后件。 ←→：称为“双条件”。它表示“当且仅当”的语义。例如，对命题P和Q， P←→Q表示“P当且仅当 Q”，即读作“P当且仅当 Q”。 一. 谓词逻辑表示法的逻辑基础 * 对以上连接词的定义，可用下表所给出的谓词逻辑真值表来表示。 谓词逻辑真值表 P Q ~P P∨Q P∧Q P→Q P←→Q T T F T T T T T F F T F F F F T T T F T F F F T F F T T 一. 谓词逻辑表示法的逻辑基础 * （2）量词 量词是由量词符号和被其量化的变元所组成的表达式，用来对谓词中的个体作出量的规定。 在一阶谓词逻辑中引入了2个量词符号，一个是全称量词符号“ ”，意思是“所有的”、“任一个”；另一个是存在量词符号“彐”，意思是“至少有一个”、“存在有”。 例如 X是一个全称量词，表示“对论域中的所有个体。”，读作“对于所有x”；彐x是一个存在量词，表示“在论域中存在个体X”，读作“存在x”。 全称量词的定义：命题（ x）P(x) 为真，当且仅当对论域中的所有x，都有P（x）为真。命题（ x）P（x）为假，当且仅当至少存在一个x0∈D，使得P（x0）为假。 存在量词的定义：命题（彐x）P（x）为真，当且仅当至少存在一个x0∈D，使得P（x0）为真。命题(彐x）P（x）为假，当且仅当对论域中的所有x，都有P（x）为假。 一. 谓词逻辑表示法的逻辑基础 * 4. 项与合式公式 在一阶谓词演算中，合法的表达式称为合式公式（即谓词公式）。对合式公式的定义将涉及到“项”的概念，下面分别给出它们的定义。定义：项满足如下规则： （1）单独一个个体词是项； （2）若t1，t2,…，tn是项，f是n元函数，则f（ t1,t2,…,tn ）是项； （3）由（1）、（2）生成的表达式是项。 可见，项是把个体常量、个体变量和函数统一起来的概念。 定义：原子谓词公式的含义为： 若t1，t2，…，tn是项，P是谓词符号，则称 P（ t1,t2,…,tn ）为原子谓词公式。 一. 谓词逻辑表示法的逻辑基础 * 定义：满足如下规则的谓词演算可得到合式公式： （1）单个原子谓词公式是合式公式； （2）若A是合式公式，则~A也是合式公式； （3）若A、B都是合式公式，则A∨B，A∧B，A→B，A←→B也都是合式公式； （4）若A是合式公式，x是项，则（ x)A和(彐x）A也都是合式公式。 这个定义实际上是合式公式的形成规则，按照这些规则可以形成任意复杂的合式公式。例如，~P（x，y）∨Q（y)，( x）(A（x）→B（x)) ，（彐x）A(x）→（ y）R（x，y）∧B（y）都是合式公式。 在合式公式中，连接词之间的优先级别是： ~，∧，∨，→， ←→ 一. 谓词逻辑表示法的逻辑基础 * 5. 自由变元和约束变元 当一个谓词公式含有量词时，区分个体变元是否受量词的约束是很重要的。通常，把位于量词后面的单个谓词或者用括号括起来的合式公式称为该量词的辖域，辖域内与量词中同名的变元称为约束变元，不受约束的变元称为自由变元。 例如： （ x)(P(x,y)→Q(x,y)) ∨R(x,y)  一. 谓词逻辑表示法的逻辑基础 * 谓词逻辑不仅可以用来表示事物的状态、属性、概念等事实性知识，也可以用来表示事物的因果关系，即规则。 对事实性知识，通常是用否定、析取或