基于时间区间的并行行为与并发事件逻辑--《计算机工程》2002年03期

　　在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化。文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法。
【作者单位】：北京理工大学计算机科学工程系 北京100081 (朱娟);北京理工大学计算机科学工程系 北京100081(刘玉树)
【关键词】：主体;动作;事件;基于区间的时态逻辑;框架;分枝
【分类号】：TP301
【DOI】：cnki:ISSN:1000-3428.0.2002-03-004
【正文快照】：
　　主体行为逻辑的研究是当前多主体研究领域的焦点问题之一，主要工作都集中在复杂动作表达、行为中的时间逻辑、框架问题和分枝问题(Frame Problem)(Ramification 的解决上Problem)[1-6]。上述研究工作取得了很大的成果，然而也存在一定的缺陷。因此，在文献的基础上，我们在[7]

　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.
【Keyword】：Agent;Action;Event;Temporal logic based on time interval;Frame;Ramification

立即下载获取文献全文
支持 PDF格式和 CAJ格式
您可通过中国知网下载本文献全文