苏格拉底三段论.pptVIP

3.1.2 谓词 一、有关概念 1. 谓词的定义 2. 谓词填式 3. 谓词命名式 4. 谓词变元 谓词演算中语句的符号化是人工智能中知识表示的基础。 变目：变化范围 《辞海》中无“变目” 其中（1）与（2）表示个体性质， （3）表示两个个体间的关系， （4）表示三个个体间的关系。 其中（1）与（2）表示个体性质， （3）表示两个个体间的关系， （4）表示三个个体间的关系。 我们不一一指明含有变元的谓词形式究竟是谓词命名式还是谓词填式，读者可通过上下文自行加以鉴别。 从这个意义上说，谓词是以个体域为定义域，以真值集为值域的映射。 注意： 谓词和个体是息息相关的，基于个体的谓词才是一个完整的谓词，且个体、谓词、个体域三者是可以变化的。 注意： 谓词和个体是息息相关的，基于个体的谓词才是一个完整的谓词，且个体、谓词、个体域三者是可以变化的。 一阶谓词演算? 怎么定义的? 现讨论一阶谓词语句是如何进行符号化的。 个体变元本身是谓词变元的谓词为二阶谓词。 * 例1与例2中的谓词都可以看为“常谓词”??? 谓词WRITE(,)的意义是特定的。 基于特定个体上的谓词？？？ 在谓词演算中知识的表示往往采用变量即个体变元来表达一类相同的事实和概念。 例1与例2中的谓词都可以看为“常谓词”??? 谓词WRITE(,)的意义是特定的。 基于特定个体上的谓词？？？ 在谓词演算中知识的表示往往采用变量即个体变元来表达一类相同的事实和概念。 苏格拉底三段论 P：凡人要死 Q：苏格拉底是人 R：苏格拉底要死 此三段论表示为: (P?Q)?R 局限性: 此三段论是正确的，但却不是重言式。 第三章 谓词演算基础 谓词演算 在命题演算中，把不可剖开或分解为更简单命题的原子命题作为基本单元。 对原子命题内部结构进一步剖析，分解为 个体 谓词 3.1 谓词与个体 个体 个体域 全总个体域 个体变元 项 3.1.1 个体 个体是指具有独立意义、独立存在的东西。 也称为常个体或实体。 用a、b、c…等表示。 个体域、全总个体域 (2) 个体域：由个体组成的集合。 个体域常用I、J、K…等表示。 (3) 全总个体域： 所有个体不管是何种类型的个体综合在一起组成的个体域称为全总个体域。 用U表示。 个体变元、项 (4)个体变元：以个体域I为变域的变元称为个体域I上的个体变元。 用x、y、z、…等表示。 (5)项：包括实体、变量符号和函数符号等。 常个体a、泛指个体x、 个体的函数 f(x) 把语句中表示 个体性质和关系的语言成分 称为谓词（predicate） 谓词——指个体所具有的性质或若干个体之间的关系 例 (谓词：表示个体性质或个体间关系) “苏格拉底是人”中的 “…是人”。 “苏格拉底是要死的”中的“…是要死的”。 “张三生于北京”中的“…生于…”。 “3+2=5”中的“…+…=…”。 一元谓词、二元谓词、三元谓词 “苏格拉底是人”中的 “…是人”。 “苏格拉底是要死的”中的“…是要死的”。 “张三生于北京”中的“…生于…”。 “3+2=5”中的“…+…=…”。 ——谓词所携空位的数目 谓词的元数 谓词命名式: 携有空位的大写字母 M（ … ）表示“…是人”。 D（ … ）表示“…是要死的”。 B（ … ， … ）表示“…生于…”。 ADD（ … ， … ， … ）表示“…+…=…”。 可读性差！ 可用变元来代替空位: M(x)，D(x)，B(x,y)，ADD(x, y, z) 谓词填式 M（苏格拉底） ——“苏格拉底是人”。 D（苏格拉底） ——“苏格拉底是要死的”。 B（张三，北京） ——“张三生于北京”。 ADD（3，2，5） ——“3+2=5”。 单个谓词不构成完整的意思，只有当谓词填以个体后才能够构成完整的意义。 ——谓词的空位上填入个体后所产生的语句。 谓词命名式与谓词填式 例如： 同形，但它们表示不同的意义。 M(x) 作为命名式时，它只是M(…)的另一写法，x是个体变元， M(x)未必是命题 作为填式时，x是常个体，M(x)是命题 谓词：从个体域到真值集的映射 当谓词填式中所填个体都是常元时，它是一个命题，因而有确定的真值。 例如： M（x）——“x是人” M（苏格拉底）为真， M（孔子）为真，