摘要： 在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化。文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法。

关键词: 主体, 动作, 事件, 基于区间的时态逻辑, 框架, 分枝

Abstract: This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic. Events and actions are put together in this logic system, and their relation are researched deeply. This paper presentes the syntactic and semantic description of the logic theory, and proposes a conflict resolution for concurrent events based on domain description model at last.

中图分类号: 

• TP301