%0 Journal Article
%T 可判定的时序动态描述逻辑
%A 常亮？
%A 史忠植？
%A 古天龙？
%A 王晓峰？
%J 软件学报
%P 1524-1537
%D 2011
%R 10.3724/SP.J.1001.2011.03869
%X 动态描述逻辑ddl(dynamicdescriptionlogic)提供了一种基于描述逻辑的动作理论,适用于语义web下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑alcqio出发构建了一个时序动态描辑tdalcqio,给出了tdalcqio的tableau判定算法,并证明了算法的可终止性和正确性.tdalcqio不仅兼容了构描述逻辑alcqio基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态的时序特征进行刻画和推理,从而为语义web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持.
%K 动态描述逻辑
%K 分支时序逻辑
%K 知识表示和推理
%K 动作理论
%K tableau
%K 判定算法
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3869&flag=1