期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
可判定的时序动态描述逻辑 被引量:6
1
作者 常亮 史忠植 +1 位作者 古天龙 王晓峰 《软件学报》 EI CSCD 北大核心 2011年第7期1524-1537,共14页
动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维... 动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理,从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持. 展开更多
关键词 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 tableau判定算法
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部