《人工智能》复习大纲.docVIP

《人工智能应用技术》复习大纲 一、人工智能概述 略 二、谓词公式与逻辑推理 定义2.1 命题(Proposition)，即具有真(T)假(F)意义的陈述性语句。 定义2.2 所谓个体，是指可以独立存在的某个事物。 定义2.3 谓词：由定义的谓词名、变元，共同构成了具有陈述性表达的形式化语句，称为谓词。一个谓词可以有n（其中n=0,1,2, ……）个变元，并称之为n元谓词。 定义2.3 谓词中包含个体或变元的数目，称为谓词的元或谓词的目。 定义2.4 谓词表达形式中所包容相叠加的含义层次数数目，称为谓词的阶。 例2-2 比较下列谓词或谓词形式的命题： ①LIKE(john，mary)；②ROBOT(john)； ③ROBOT(mary)； ④ADDQ(x，y，z)。 试解释具体含义，并指出它们各是几元谓词。 解：上述谓词①②③意即“机器人约翰喜欢玛丽”；②和③都只有一个个体，称为一元谓词；相应①则称为二元谓词；④表示为表达式“x+y=z”，其中包含有3个变元，故称为三元谓词。依此类推，可推出关于n元谓词的概念。 例2-3 为了说明谓词的阶，我们来比较下列谓词形式的命题： ①LIFELESS(outer-stars)；外星球没有智能生命。 ②INCORRECT(lifeless(outer-stars))；说“外星球没有智能生命”是不确切的。 解：在上述谓词形式的命题中，谓词①只有一层含义，称为一阶谓词；谓词②在前一层含义基础上，又增加了一层新意，共有二层含义。故把谓词②称为二阶谓词。依此类推，可推出关于n阶谓词的概念。 注意：在谓词逻辑演算中，最重要的有三大类： 即：命题逻辑演算、 一阶谓词逻辑演算和二阶谓词演算。 命题逻辑表示比较简单，只能表达具体固定的情况， 命题是谓词逻辑特殊事例的生动描述， 谓词逻辑可以灵活表现多种或变化的情况； 谓词表达是命题逻辑的抽象与推广。 总的看来，命题和谓词的知识表示形式可以相互转换，而谓词比命题有更强的表达能力。 显而易见，谓词是一种描述个体群之间的相互关系、性质及其逻辑结构的数学表示。人们把采用这种表示的运算，又称为谓词逻辑。 比较起来：命题逻辑演算太简单，只能解决具体容易的问题；二阶谓词演算又太复杂，以至迄今为止，尚未找到最根本有效的算法。 因此，在人工智能中，目前使用最多的还是一阶谓词逻辑演算。 表2-1 连接词定义真值表 2.1.3命题和谓词逻辑举例 例： ⑴小张既聪明，又勤奋，所以他的学习成绩一直很好。 P：小张聪明 Q：小张勤奋 R：小张学习成绩一直很好 （ P ∧Q） →R ⑵小王总是在图书馆看书，除非他病了或图书馆不开门。 P：小王病了 Q：图书馆开门 R：小王在图书馆看书 ? （ P ∨ ? Q） ( R ⑴若张先生是小张的父亲，则小张是王太太的儿子。 解：先设定谓词，再设定变元，并将变元代之以常量，用连接词运算符连接并加以描述： 设定谓词：FATHER (x,y)： x是y的父亲 SON (y,w)： y是w的儿子 常量： z 表示张先生；mz 表示小张；wtt——王太太 则可描述为： FATHER (z, mz) → SON (mz, wtt) （2）若x是小张的父亲，且y是小张的兄弟，则x也是y的父亲。 解：先设定谓词，再设定变元，并将变元代之以常量，用连接词运算符连接并加以描述： 设定谓词：FATHER (x,y)： x是y的父亲 BROTHER (y,w)： y是w的兄弟 常量： mz 表示小张 则可描述为： FATHER (x, mz) ∧BROTHER (y, mz) → FATHER (x, y) （3）*在那遥远的地方，有位好姑娘，人们走过她的身旁，都要回头留恋地张望。 解： (彐x){好姑娘(x)∧居住的地方(z，x) ∧遥远的(z)∧((y)[人(y)∧行走经过(y, z) →回头留恋地张望(y)]} 例4.1 设已知下述事实：①A；②B；③A→C；④B∧C→D；⑤D→Q. 求证：Q为真。 证明： ∵ A，A→C ( C (P规则及假言推理) B，C ( B∧C (引入合取) B∧C，B∧C→D ( D (T规则及假言推理) D，D→Q ( Q (T规则及假言推理) ∴ Q为真 (证毕) 例4