中文摘要：

随着应用的日益复杂，实时反应式系统需要具有更强的实时知识处理能力。然而，由于产生式规则无法描述实时反应式系统中的知识，传统的推理技术无法应用于实时反应式系统，因此，越来越多的实时反应式系统使用ECA（Event-condition-action）规则来描述系统知识。但是，目前学术界尚未展开对基于ECA规则推理的专门研究。与该领域相关的工作集中在事件检测与规则触发上。虽然这些工作可以用来实现基于ECA规则的推理，但却无法满足实时反应式系统对智能化的需求。为此，本课题将提出并实现一个基于ECA规则的实时推理机制。该推理机制以智能体依赖图为基础，通过选择图中的路径在智能体间传递令牌，实时地得到推理结果。同时，该推理机制通过激活或休眠智能体依赖图中的节点，支持规则的在线加入、删除及修改，且在此过程中无须中断推理。此外，它还可以处理带有复杂时序特性的事件，从而使实时反应式系统具有处理复杂问题的能力。