QUIOS的事件、进程和推理算法  

THE MECHANISM QUIOS AND QUALITATIVE REASONING

作　　者：韦梓楚[1] 

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

出　　处：《软件学报》1997年第7期519-524,共6页Journal of Software

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

摘　　要：本文讨论开放型物理系统的定性推理方法．文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出QUIOS的推理算法．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.

关 键 词：定性推理 开放系统 视图 推理算法 定性理论 

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