关于开放型物理系统的QP理论  

THE QP THEORY ABOUT OPEN PHYSICAL SYSTEMS

作　　者：韦梓楚[1] 

机构地区：[1]中国科学院数学研究所,北京100080

出　　处：《软件学报》1997年第7期511-518,共8页Journal of Software

基　　金：国家科委资助的中法合作PRA基金

摘　　要：本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型，引入了参量视图的概念，描述了参量的两种继承关系，并证明在一定条件下参量的双重继承关系不会引起矛盾；另一方面通过事件制约进程而引入开放系统定性推理的表现机制．In existing theories and methods for qualitative reasoning, there are some deficiencies of the capability of describing the real world. This paper developed K. Forbus' QPT (qualitative process theory) and proposed an extended way QUIOS to describe Quali tative reasoning. In this approach, the quantity types of QPT are generalized widely and the mechanism of expressing open physical systems is shown with the aid of processes restricted and guided by events. Besides, after having introduced the new concept of Quantity Views, this paper presented two sorts of inheritance mechanism about quantities in QUIOS and have shown that they will not raise any contradiction under given conditions.

关 键 词：定性推理 开放系统 QP理论 定性理论 

分 类 号：O175.12[理学—数学]