第3章-基于谓词逻辑的知识表示与机器推理.pptx

2024/4/181第3章基于谓词逻辑的知识表示与机器推理

2024/4/182内容3.1机器推理概述3.2谓词逻辑简介3.3自然演绎推理3.4归结演绎推理3.5归结原理与PROLOG程序3.6基于规则的演绎推理

2024/4/1833.1机器推理概述机器推理推理是人脑的一个基本功能和重要功能，几乎所有的人工智能领域都与推理有关。因此，要实现人工智能，就必须将推理的功能赋予机器，实现机器推理。机器推理也称为是计算机推理，或自动推理，它也是人工智能的核心课题之一。自动定理证明：是机器推理的一种重要应用，它是利用计算机证明非数值性的结果，很多非数值领域的任务如医疗诊断、信息检索、规划制定和难题求解等方法都可以转化一个定理证明问题。

2024/4/184基于归结原理的自动定理证明过程：3.1机器推理概述定理的自然语言描述定理的谓词公式描述子句集生成子句集定理得证应用归结规则和归结策略自然语言处理生成谓词公式已知前提：F1：自然数都是大于零的整数。F2：所有整数不是偶数就是奇数。F3：偶数除以2是整数。结论G：所有自然数不是奇数就是一半为整数的数。定理的谓词公式描述：F1:?x(N(x)?GZ(x)?I(x))F2:?x(I(x)?(E(x)?O(x)))F3:?x(E(x)?I(s(x)))G:?x(N(x)?(I(s(x))?O(x)))

2024/4/1853.2谓词逻辑简介3.2.1基于命题逻辑的知识表示3.2.2谓词逻辑3.2.3基于谓词逻辑的知识表示

2024/4/1863.2.1基于命题逻辑的知识表示（1）定义3.1命题（proposition）：是具有真假意义的语句。命题代表人们进行思维时的一种判断，或否定，或肯定。命题可以用命题符号表示。用命题符号可以表示简单的逻辑关系和推理。R:今天天气好S:去旅游S1：我有名字S2：你有名字R?S表示：如果今天天气好，就去旅游。此时，如果R（今天天气好）成立，则可以得到结论S（去旅游）

2024/4/1873.2.1基于命题逻辑的知识表示（2）对于复杂的知识，命题符号能力不够。无法把所描述的客观事物的结构及逻辑特征反映出来。无法把不同事物间的共同特征表达出来。P：大李是小李的父亲。S1：我有名字S2：你有名字所有的人都有名字：SI?S2?S3?…

2024/4/1883.2.2谓词逻辑（1）谓词(predicate)：一般形式为P（x1,x2,…,xn）P为谓词名（谓词符号），用于刻画个体的性质、状态或个体间的关系。x1，x2，…，xn是个体，表示某个独立存在的事物或者某个抽象的概念。S(x):x是学生；P(x,y):x是y的父亲。个体变元的变化范围称为个体域。包揽一切事物的集合称为全总个体域。

2024/4/1893.2.2谓词逻辑（2）函数：为了表达个体之间的对应关系，引入数学中函数概念和记法。用形如f(x1，x2，…，xn)来表示个体变元对应的个体y，并称之为n元个体函数，简称函数、函词或函词命名式。函数father(x):值为x的父亲。谓词D(father(Li)):表示x的父亲是医生，值为真或假。符号约定：谓词－大写字母；P(x,y)函数－小写字母；f(x)变量－x、y、z、u、v……；常量－a、b、c…….。P(a,y)

2024/4/18103.2.2谓词逻辑（3）为了表示命题中出现的“全部”、“所有”、“一切”、“任一”或“凡是”等意义，引入全称量词，记为?x。为了表示命题中出现的“存在”、“某些”、“有一个”等意义，引入存在量词，记为?x。如：“某些学生对某些课外活动感兴趣”S(x)表示x是学生，L(y)表示y是课外活动，I(x,y)表示x对y感兴趣。

2024/4/18113.2.2谓词逻辑（4）定义3.2：项（1）个体常元和变元都是项。（2）f是n元函数符号，若t1，t2，…，tn是项，则f（t1，t2，…，tn）是项。（3）只有有限次使用（1），（2）得到的符号串才是项。

2024/4/18123.2.2谓词逻辑（5）定义3.3：原子公式设P为n元谓词符号，t1，t2，…，tn为项，P（t1，t2，…，tn）称为原子谓词公式，简称原子或原子公式。

2024/4/18133.2.2谓词逻辑（6）定义3.4：谓词公式（1）原子公式是谓词公式。（2）若A、B是谓词公式，则?A，A?B，A?B，A