一阶谓词—No3.pdf

一阶谓词逻辑 张文生 研究员 中国科学院自动化研究所 内容 命题逻辑局限性 基本概念 合适公式 公式的解释 前束范式 谓词知识表示 一、命题逻辑的局限性 例子: 每个人都是要死的. 孔子是人, 他是要死的 写成命题形式: P: 每个人都是要死的. Q: 孔子是人. R: 孔子是要死的. R是P, Q的逻辑结论? 命题逻辑不能表达原子单元内部的结构 又如，小王和老王在命题逻辑中是完全不同的两个原子 命题逻辑使得事物表示过于繁琐，表示范围受到限制 事物性质 体变量，因此可以方便地描述想要表示的知识 二、基本概念 谓词基本概念 在一阶谓词逻辑中，简单命题被分解成个体词和 谓词两部分 给出一阶谓词逻辑的一些基本概念 个体词：可以独立存在的客体，可以是一个具 体的事物，也可以是一个抽象的概念。 例如，小王、茉莉花、自然数、思想、定理等 谓词：用来刻画个体词的性质或个体词之间的关系的词 如： 小王是个工程师 8是个自然数 我去买花 小丽和小华是朋友 其中，“小王” 、“工程师”、“8” 、“我”、“花”、“小丽” “小华”都是个体词，而“是个工程师” 、“是个自然数” “去买”、“是朋友”都是谓词 前两个谓词表示的是事物的性质，第3个谓词“去买” 表示的一个动作也表示了主、宾两个个体词的关系， 最后一个谓词“是朋友”表示两个个体词之间的关系 个体常量：表示具体的或特定的个体的词 一般用小写英文字母n，6，c，d等表示 个体变量：表示抽象的或泛指的个体的词 用小写英文字母z，y ，z等表示 个体域：个体变量的取值范围，一般用D表示 个体域可以是有限事物的集合，如，{1，2，3，4)、{狮 子，老虎，大象，猴子)，也可以是无限事物的集合（如 自然数集合、实数集合） 谓词常量：表示具体性质或关系的谓词 一般用大写英文字母P，Q，R，T等表示 谓词变量：表示抽象的或泛指的谓词 一般用大写英文字母和特体变量结合表示为P(z)，Q(x，y) R(x，6)等 n元谓词：含有n(n≥1)个个体的谓词 P(x，y，z，…，w)表示，n元谓词，其中n个个体变量之间 的顺序不能随意改动 一阶谓词：谓词中只含有个体词，不含有谓词。 一般情况下，P(x，y ，z，…，w)不是命题，它 的真值无法确定，要想使它成为命题，必须指 定某一谓词常量代替P，同时，还要用n个个体 常量代替n个个体变量。 任意量词：对应日常语言中的“一切” 、“所有的” 、 “任意的”等词，用符号“∀”表示。 ∀xP(x)表示个体域里的所有个体都有性质P 存在量词：对应日常语言中的“存在着”、“有一个”、 “至少有一个”等词，用符号“∃”表示。 ∃z表示存在个体域的个体。 ∃xP(x)表示个体域中存在着至 少一个个体具有性质P。 在基本定义下，可以将命题也就是想要表达的知识 符号化了。 如：①所有的人都是要死的；②有的人活到100岁以上。 在个体域D为人类集合时，可符号化为： ∀xP(x)，其中P(z)表示z是要死的 ∃z Q(z)，其中Q(z)表示z活到100岁以上 在个体域D是全总个体域时，引入特殊谓词R(z) 表示z是人，可符号化为： ∀z(R(z)一P(z)) 其中，R(z)表示z是人，P(z)表示z是要死的 ∃z(R(z)^Q(z)) 其中，R(z)表示z是人，Q(z)表示z活到100岁以上 谓词的定义 定义(谓词): n 设D是非空个体名称集合, 定义在D 上,取值