定性推理-智能科学.PDF

高级人工智能 第四章 定性推理 史忠植 中国科学院计算技术研究所 内容提要 4.1 概述 4.2 定性推理的基本方法 4.3 定性模型推理 4.4 定性进程推理 4.5 定性仿真推理 4.6 代数方法 4.7 几何空间定性推理 2015/3/18 史忠植 高级人工智能 2 什么是定性推理？ 定性推理(qualitative reasoning)是从物理系 统、生命系统的结构描述出发, 导出行为描述, 以便预测系统的行为并给出原因解释。定性推理 采用系统部件间的局部结构规则来解释系统行为, 即部件状态的变化行为只与直接相邻的部件有关。 概述 1952年 Simmons提出定性分析的因果关系。 1977年 Rieger 发表了因果仿真的论文。 1984年 “Artificial Intelligence”杂志第24卷出版了定性推理专辑 刊载了de Kleer, Forbus 和Kuipers对定性推理奠基性的 文章, 这标志着定性推理开始走向成熟。 1986年 Iwasaki和Simmons发表了“Causality in Device Behavior” 的文章。 1993年 “Artificial Intelligence”杂志第59卷又发表了一组文章， 回顾十年前这几位定性推理奠基人所做的工作。 2015/3/18 史忠植 高级人工智能 4 概述 de Kleer的定性模型方法[de Kleer 1984] Forbus的定性进程方法[Forbus 1984] Kuipers 定性仿真法[Kuipers 1984] 2015/3/18 史忠植 高级人工智能 5 概述 Davis 提出从结构描述出发进行故障论断的方法 Reiler提出从基本原理出发进行故障诊断的方法 Williams把定量运算和定性推理相结合建立了一个 混合代数系统Q1 Iwasaki 和 Simmons把经济学、热力学中所用的因果 关系形式化 Weld在分子生物学中设计了定性模拟程序 2015/3/18 史忠植 高级人工智能 6 定性推理的基本方法 人类对物理世界的描述、解释, 常是以某种直观的定性 方法进行的,很少使用微分方程及具体的数值描述, 如 人们在骑自行车时, 为了避免摔倒和撞车, 并不需要使用 书本上的运动方程, 而是针对几个主要参量的变化趋势 给予粗略的、直观的, 但大体上准确的描述, 这就够了。 2015/3/18 史忠植 高级人工智能 7 定性推理的基本方法 一般分析运动系统行为的标准过程可分为三个步骤： (1) 决定描述对象系统特征的量。 (2) 用方程式表示量之间的相互关系。 (3) 分析方程式，得到数值解。 2015/3/18 史忠植 高级人工智能 8