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