文档介绍：第5章基于谓词逻辑的机器推理
3/27/2018
1
目录
机器推理概述
一阶谓词逻辑
归结演绎推理
应用归结原理求取问题答案
归结策略
归结反演程序举例*
Horn子句归结与逻辑程序
非归结演绎推理
3/27/2018
2
机器推理概述(1)
机器推理:
就是计算机推理,也称自动推理。它是人工智能的核心课题之一。推理是人脑的一个基本功能和重要功能。几乎所有的人工智能领域都与推理有关。因此,要实现人工智能,就必须将推理的功能赋予机器,实现机器推理。
自动定理证明:
是机器推理的一种重要应用,它是利用计算机证明非数值性的结果,很多非数值领域的任务如医疗诊断、信息检索、规划制定和难题求解等方法都可以转化一个定理证明问题。
3/27/2018
3
自动定理证明的基本方法:
机器推理概述(2)
定理证明器:它是研究一切可判定问题的证明方法。鲁滨逊的归结原理。
人机交互进行定理证明:计算机作为数学家的辅助工具,用计算机帮助人完成手工证明中的难以完成的烦杂的大量计算推理和穷举。四色定理。
判定法:该方法是对一类问题找出统一的计算机上可实现的算法。数学家吴文俊教授——吴氏方法。
自然演绎法:该方法依据推理规则从前提和公理中可以推出许多定理,如果待证明的定理在其中则定理得证。LT程序、证明平面几何的程序。
3/27/2018
4
基于归结原理的自动定理证明过程:
机器推理概述(3)
定理的自然语言描述
定理的谓词公式描述
子句集
生成子句集
定理得证
应用归结规则+归结策略
自然语言处理生成谓词公式
已知前提:(1)自然数都是大于零的整数。
(2)所有整数不是偶数就是奇数。
(3)偶数除以2是整数。
结论:所有自然数不是奇数就是一半为整数的数。
3/27/2018
5
机器推理概述(4)
本章主要解决以下几个问题:
1、一阶谓词逻辑及基于一阶谓词逻辑的知识表示
2、谓词公式到子句集的转换
3、命题逻辑和谓词逻辑中的归结原理
4、归结策略
3/27/2018
6
谓词、函数、量词
谓词公式
谓词逻辑中的形式演绎推理
3/27/2018
7
、函数、量词(1)
命题(proposition):是具有真假意义的语句。命题代表人
们进行思维时的一种判断,或者是否定,或者是肯定。
命题可以用命题符号表示。
用命题符号可以表示简单的逻辑关系和推理。
P:今天天气好
Q:去旅游
S1:我有名字 S2:你有名字
PQ表示:如果今天天气好,就去旅游。
此时,如果P(今天天气好)成立,则可以得到结论Q(去旅游)
3/27/2018
8
、函数、量词(2)
对于复杂的知识,命题符号能力不够。
无法把所描述的客观事物的结构及逻辑特征反映出来。
无法把不同事物间的共同特征表达出来。
F:老李是小李的父亲。
S1:我有名字 S2:你有名字
所有的人都有名字: SIS2 S3 …
3/27/2018
9
、函数、量词(3)
谓词(predicate):一般形式为P(x1, x2 ,…, xn )
P为谓词名,用于刻画个体的性质、状态
或个体间的关系。
x1, x2 ,…, xn是个体,表示某个独立存
在的事物或者某个抽象的概念。
S(x): x是学生;
P(x,y): x是y的双亲。
个体变元的变化范围称为个体域。
包揽一切事物的集合称为全总个体域。
3/27/2018
10