定性推理经典方法的数学结构分析

《定性推理经典方法的数学结构分析》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、http://www.paper.edu.cn定性推理经典方法的数学结构分析1杨正瓴1天津大学电气与自动化工程学院（300072）E-mail（zlyang@tju.edu.cn）摘要：在简单回顾了定性推理的目标和特征的基础上，从代数结构、信息复杂性等方面分析了现存的6个代表性定性推理理论。从代数结构上看，它们或大约在环的水平，或大约接近于域。从复杂性看，有的以一阶逻辑为演算核心，有的大约以实数域作为核心。从求解效率看，最坏情况大都倾向于到指数界，平均情况时好时坏，常在多项式界。最后，提出“一般的几何曲线”层次的演算体系是定性推理的最高数学抽象。关键词：定性推理；数学结构；复杂

2、性；环；域；人工智能1.引言----AI中定性推理的目标和特征概述人工智能（AI）中的定性推理研究起因于力图将专家及常人解决常识问题的能力的计算机化。Williams等人认为，定性推理的核心是“发展关于科学家、工程师以及常人的下述的核心技能的计算理论，即他们的假设、验证、预言、创造、优化、诊断和维修物理机构的能[1]p2力”。这是一个关于定性推理的从外部功能的描述。定性推理的5个直接的起因为：常识性知识的使用与表示；某些领域的问题，精确定量的信息是不可能或不必要的，需要进行的是定性行为的分析和预测；在启发式专家系统中，不同领域和不同任务的知识转换时遇到的困难，需要定性方法；某些

3、情况下系统的动态行为，或时态推理的需要；寻找系统的因果关系。众所周知，如果一个问题能找到精确的数量化方法并且求解不太难的话，人们通常不会采用定性方法。如在物理学中用微分方程来描述物理系统。但由于“大多数从实际问题抽象[2]p60出来的微分方程的通解不能用初等函数的积分来表示”，因此现代意义上的定量是不能实现。实际上，客观世界中大量的问题的微分方程模型就是这样的。19世纪末H.庞加莱和[2]p60A.M.李亚谱诺夫开始发展较为系统的“常微分方程的定性方法”。可是对于复杂的非[3]p70线性问题，这种属于传统数学的“定性方法”仅能得到很少的一些性质，不足以实用化。于是，在20世纪7

4、0年代，在AI中蓬勃发展起了AI中的“定性方法”，其目的在于解决实际中的各种复杂问题。这些问题的基本特征是：人类“可解”，但现有数学“不可解”。从定量到定性方法的一个大致关系如下图1所示。定量化传统数学中的“定性方AI中的“定性方法”图1从定量到定性：对于常识和复杂问题的表达，定量方法能力太弱，能力以箭头方向加强-1-http://www.paper.edu.cn现存定性推理的目的是通过对系统的结构、行为和功能的描述，寻找它们之间的关系和因果性，并且力图弄清人类的常识推理。现存定性推理与传统定量方法的主要区别有：度量尺度不同：定性推理是量空间的离散度量；传统方法是实空间的连续度

5、量。描述问题的模型不同：前者使用定性约束定性进程等定性模型；后者使用微分方程代数方程等精确定量模型。仿真过程和结果的差异：前者使用局部传播得到系统的定性行为描述、预测和解释；后者是方程求解力图得到精确的数量解。推理能力不同：前者使用局部传播得到系统的定性行为描述、预测和解释，给出因果性[4]关系；后者不具备明显的因果能力，因果性隐含在解的数值之中。当今国际AI界对定性推理是很重视的。《ArtificialIntelligence》在1984、1991年分别出过2个专辑。1993年又有大量篇幅用在定性推理的展望上，如文献[18,23,24]以及其它一些我们没有列出的该辑的文献。2

6、.现存的AI中的定性推理的主要代表性方法的代数结构2.1现存的代表性定性推理理论[5]公认的定性推理的三大基本方法是：Kuipers的定性模拟QSIM，Forbus的定性进程方法[6][7]，deKleer的透视法（定性方程）法。另外一些有特色的工作有Williams的定性定量结合[8][9]研究，H.A.Simon关于定性推理数学本质的研究。一些其它的方法，除了是对上述几类工作的发展外，还有Simon的定性因果法，Yip的定性动力学分析方法，Weld的复合透视法，Ishida关于相平面中的线性系统的定性行为的研究，Wong对于优先关系和单调关系的研究，[10-17]Davis

7、、Reiter、deKleer等人的定性故障诊断的研究，Nilson对定性运动学的研究，等[4]等，不一而论。2.2现存的AI中的定性推理的主要代表性方法的代数结构我们评论的方法是，估计各种理论的代数结构的水平、理论的复杂性水平及求解的效率[5,6,18][8]三个方面。结论是：(1)从代数结构上看，它们或大约在环的水平，或大约接近于域。[6,19][8](2)从复杂性看，有的以一阶逻辑为演算核心，有的大约以实数域作为核心。(3)从求解效率看，最坏情况大都倾向于到指数界，（因为有些理论的推理