引用本文:韦梓楚.QUIOS的事件、进程和推理算法.软件学报,1997,8(7):519-524
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 4094次   下载 5583 本文二维码信息
码上扫一扫!
分享到: 微信 更多
QUIOS的事件、进程和推理算法
韦梓楚1
中国科学院数学研究所,北京,100080
摘要:
本文讨论开放型物理系统的定性推理方法.文中阐释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