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


雷达卡




京公网安备 11010802022788号







