时序描述逻辑TL-SI及其判定算法

摘要：

时序描述逻辑能够通过概念(或个体)问的时序关系描述动态领域的时序行为。时序概念的表现形式具有多样性，而其推理算法却常常是不可判定的。本文提出时序描述逻辑TL-SI，将时序网络间的蕴含算法、时序概念间的蕴含算法以及非时序概念的Tableau算法有机结合起来，并证明了三种算法的可靠性和完备性。 该逻辑可以有效表示动作行为，实现了可判定的逻辑推理，为语义Web服务的行为描述提供了有力支持。

关键词： 时序描述逻辑 判定算法 可满足性 语义Web服务 行为描述

作者: 胡坤 余雪丽

作者单位: 太原理工大学 计算机与软件学院,山西省 太原市 030024

会议类型: 国内会议

会议名称: 2009中国计算机大会

会议地点: 天津

会议语种:中文

页码: 373-383

在线出版日期: 2009-10-23（万方平台首次上网日期，不代表论文的发表时间）