| 摘要: |
| 本文讨论开放型物理系统的定性推理方法.文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式,用实例说明定性推理方法,并给出QUIOS的推理算法. |
| 关键词: 定性推理 开放系统 事件 进程 视图 推理算法 |
| DOI: |
| 分类号: |
| 基金项目:本文研究得到国家科委资助的中法合作PRA基金资助. |
|
| THE MECHANISM QUIOS AND QUALITATIVE REASONING |
|
WEI Zichu
|
| Abstract: |
| This paper was focused to explore a qualitative reasoning method of open physical systems. This paper discussed the properties of events and processes in QUIOS, and the way to express their views. The mechanism of qualitative reasoning in QUIOS is shown with an exarnple. A reasoning algorithm of QUIOS has also been outlined. |
| Key words: Qualitative reasoning open systems events processes views reasoning algorithm |