定性物篮晚方法.pptVIP

5、新一代KB系统技术定性物理方法 定性物理方法是一种典型的深法，目的在于使用应用领域的基本原理和常识方法对物理系统的行为作定性推理。物理系统可以是自然的或人工的遵守物理定律的任何系统。与数值仿真依赖于在不同时间点的变量所取值的集合不同，定性物理研究基于更抽象的级别对系统行为作定性刻画。定性物理主要研究定性仿真和预言，但其目标远超出仿真，包括研究对行为作定性推理所需要的知识类型，制定表示这些知识的通用方案，并开发实现定性推理的机制。这里，我们着重讨论定性动力学，包括时变量的定性表示以及在推理行为中的应用。 定性物理方法的研究可上推到Hayes（1978-1979）提出的朴素物理，Hayes试图形式化地描述关于物理世界的普通日常知识，这给定性物理研究带来很多灵感。尽管常识推理仍是现在定性物理研究的一个重要目标，但研究范围已大大拓宽。定性物理研究的动机归结为以下几点： 5、新一代KB系统技术定性物理方法 (1)关于物理世界的常识推理。常识推理（例如水会烧开；小球上抛行为的预言）尽管可以使用物理定律和数学方程，但人们却往往只凭直觉（几乎不做推理）来做预言。 (2)定性推理。在应用领域的推理往往超出基于普通常识的推理范围，因为需要使用领域的特有知识。在许多自然和社会科学领域，只存在关于行为的定性知识，关于变量值和变量间关系的不精确的信息，因而无法以精确的数学方式作定量描述。在某些应用领