谓词逻辑[精选].ppt

命题逻辑 命题是具有真假意义的语句 命题代表人们进行思维时的一种判断，若命题的意义为真，称它的真值为“真”，记作“T”；若命题的意义为假，称它的真值为“假”，记作“F”。例如： “沈阳是辽宁省省会”“10大于6”是真值为“T”的命题 “月亮是方的”“煤炭是白的”是真值为“F”的命题 命题逻辑 一个命题不能同时即为真又为假，但可以在一定条件下为真，在另一种条件下为假。例如： “1+1=10”在二进制情况下为真，十进制情况下为假 没有真假意义的语句，如感叹句、疑问句等，不是命题。 通常用大写英文字母表示一个命题，例如： P：大连是座旅游城市 命题逻辑 命题逻辑的局限性？ 命题这种表示方法无法把它所描述的客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。 命题逻辑 例如，用字母P表示“小张是老张的儿子”这一命题，则无法表述出老张与小张是父子关系。 又如，“张三是学生”，“李四是学生”这两个命题，用命题逻辑表示时，无法把两者的共同特征“都是学生”形式的表示出来。 可否用 Student（“张三”）， Student（“李四”）表示上述命题？——谓词逻辑 谓词逻辑 在谓词逻辑中，命题是用形如P(x1,x2,…,xn)的谓词来表述的。一个谓词可分为谓词名与个体两个部分 谓词名：表示个体的性质、状态或个体之间的关系 “P”是谓词名，一般用大写字母表示 称P 是一个n元谓词。 谓词逻辑 个体： 是命题的主语，表示独立存在的事物或某个抽象的概念 “x1,x2,…,xn”是个体，一般用小写字母表示 个体可以是个体常量、变元或函数 例如，对于命题“x10”可以表示为more（x,10），其中x是变元。又如，命题“小张的父亲是老师”，可以表示为Teacher（father（Zhang）），其中， father（Zhang）是一个函数。 谓词逻辑 对于命题“张三是学生” ，用谓词可以表示为：Student（“张三”）。其中， Student是谓词名， “张三”是个体， Student刻画了“张三”是个学生这一特征。 当谓词中的变元都用特定的个体取代时，谓词就具有一个确定的真值“T”或 “F” 。 谓词与函数不同，谓词的真值是”T“或”F“，而函数的值是个体域中的一个个体，无真值可言。 谓词逻辑 在n元谓词 P(x1,x2,…,xn)中，若每个个体均为常量、变元或函数，则称它为一阶谓词。 如果某个个体本身又是一个一阶谓词，则称它为二阶谓词，如此类推。 个体变元的取值范围称为个体域。个体域可以是有限的，也可以是无限的。例如用I（x）表示“x是整数”，则个体域为所有整数，是无限的。 连词和量词 连词 合取：符号“∧ ”， 表示所连结的两个命题之间具有“与”的关系。 析取： 符号“∨ ”，表示所连结的两个命题之间具有“或”的关系 蕴涵：符号“→ ” ，表示“若…则…”的语义。P→Q读作“如果P，则Q”其中，P称为条件的前件，Q称为条件的后件。 非：符号“? ”，表示对其后面的命题的否定 双条件：符号“? ”，表示“当且仅当”的语义。 P?Q读作“P当且仅当Q”。 量词 全称量词：符号“?”，意思是“所有的”、“任一个” ?x读作“对一切x”,或“对每一x”，或“对任一x”。 命题(?x)P(x)为真，当且仅当对论域中的所有x，都有P(x)为真 命题(?x)P(x)为假，当且仅当至少存在论域中的一个x，使得P(x)为假 存在量词：符号“?”，意思是“至少有”、“存在” ? x读作“存在一个x”,或“对某些x”，或“至少有一x”。 命题(?x)P(x)为真，当且仅当至少存在论域中的一个x，使得P(x)为真 命题(? x)P(x)为假，当且仅当对论域中的所有x，都有P(x)为假 例1：“所有的机器人都是灰色的”，用谓词逻辑可以表示成： （?x）[ROBOT(x) ?COLOR(x，gray)] 例2： “至少有一个机器人在房间R1中”，可以表示成： （?x）[ROBOT(x) ∧ INROOM（x , R1） ] 一阶谓词 用一阶谓词表示知识时， (1)首先定义谓词， (2)然后再用连接词把有关的谓词连接起来，形成一个谓词公式表达一个完整的意义。 例1：设有下列知识 ①刘欢比他父亲出名。 ②高扬是计算机系的一名学生，但他不喜欢编程 。 ③任何整数或者为正或者为负。 (1)为了用谓词公式表示上述知识，首先需要定义谓词： FAMOUS (x, y) : x比y出名 COMPUTER ( x ) : x 是计算机系的 LIKE (x, y ) : x 喜欢 y I(x)表示“x是整数” P(x)表示“x是正数” N(x)表示“x是负数” 谓词逻辑法 (2)此时可用谓词公式把上述