| 摘要: |
| 本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型，引入了参量视图的概念，描述了参量的两种继承关系，并证明在一定条件下参量的双重继承关系不会引起矛盾；另一方面通过事件制约进程而引入开放系统定性推理的表现机制． |
| 关键词: 定性推理 开放系统 类型 参量 视图 继承 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家科委资助的中法合作PRA基金资助. |
|
| THE QP THEORY ABOUT OPEN PHYSICAL SYSTEMS |
|
WEI Zichu
|
| Abstract: |
| 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 condi-
tionS． |
| Key words: Qualitative reasoning open systems types quantities views inheritance |
