人工智能知识表示方法51.pptVIP

（2）谓词公式知识表示 ( x ) (N(x )→GZ (x )∧I (x )) ( x ) (I (x )→E (x )∨O (x )) ( x ) (E (x )→I (f (x ))) 其中，函数f (x )= x /2。 第三十页，共五十二页。 例2.5 已知 F1：王（Wang）先生是小李（Li）的老师。 F2：小李与小张（Zhang ）是同班同学。 F3：如果 x与y是同班同学，则 x 的老师也 是y 的老师。 求：小张的老师是谁？ 第三十一页，共五十二页。 解： （1） 定义谓词 T(x , y) x是y的老师。 C(x , y) x与y是同班同学。 第三十二页，共五十二页。 （2）谓词公式知识表示（已知前提及待求解问题） F1：T (Wang , Li) F2：C (Li, Zhang ) F3：( x )( y)( z)(C (x , y)∧T(z, x )→ T(z , y)) G ： ( x )T(x , Zhang ) 第三十三页，共五十二页。 例2.6 设A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。求谁是老实人，谁是说谎者？ 第三十四页，共五十二页。 解：（1） 定义谓词 T(x ) 表示 x 说真话。 （2）谓词公式知识表示 如果A说的是真话，则有 T(A)→ T(B)∧T(C) 如果A说的是假话，则有 T(A)→ T(B)∨T(C) 对B和C说的话作相同的处理，可得： T(B)→ ﹁T(A)∧T(C) T(B) → T(A)∨T(C) T(C ) → T(A)∨T(B) T(C ) → T(A)∧T(B) 第三十五页，共五十二页。 一阶谓词逻辑表示方法的优点 （1）自然性 （2）精确性 （3）严密性 （4）容易实现 第三十六页，共五十二页。 一阶谓词逻辑表示方法的局限性 （1）不能表示不确定性的知识 （2）组合爆炸 （3）效率低 第三十七页，共五十二页。 人工智能与专家系统(第二版）中国水利水电出版社 人工智能与专家系统(第二版）中国水利水电出版社 人工智能与专家系统 第一页，共五十二页。 第2章 知识表示方法 2.1 一阶谓词逻辑表示方法 2.2 产生式表示方法 第二页，共五十二页。 知识表示是对知识的一种描述，或者 说是一组约定，是一种计算机可以接受的 用于描述知识的数据结构。 知识外部表示模式：是与软件开发与 运行的软件工具与平台无关的知识表示的 形式化描述。 知识内部表示模式：是与开发软件工 具与平台有关的知识表示的存储结构。 第三页，共五十二页。 2.1 一阶谓词逻辑表示方法 2.1.1 一阶谓词逻辑 2.1.2 一阶谓词逻辑表示方法 第四页，共五十二页。 2.1.1 一阶谓词逻辑 1 命题 命题是具有真假意义的语句。命题代表人们进行思维时的一种判断，或者是肯定，或者是否定。 第五页，共五十二页。 谓词 谓词:谓词可分为谓词名与个体两部分， 个体表示某个独立存在的事物或者某个抽象 谓词的概念，谓词名用于刻画个体的性质、 状态或个体间的关系。 一阶谓词的一般形式为： P（x1, x2, …, xn） 其中，P是谓词名，x1, x2 ,…, xn 是个体。 第六页，共五十二页。 一阶谓词中的个体可以是常量，也可 以是变元，还可以是一个函数。个体常 量，个体变元、函数统称为“项”。 规定：谓词名或谓词名的第一个字符 用大写字符表示，项中的常量（或常量的 第一个字符