可判定的时序动态描述逻辑
文献类型：期刊论文
| 作者 | 常亮1; 史忠植2; 古天龙1; 王晓峰2 |
| 刊名 | 软件学报
 |
| 出版日期 | 2011 |
| 卷号 | 22.0期号:007页码:1524 |
| 关键词 | 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 |
| ISSN号 | 1000-9825 |
| 英文摘要 | 动态描述逻辑DDL（dynamic description logic）提供了一种基于描述逻辑的动作理论，适用于语义Web环境下对动态领域知识的刻画和推理．为了将分支时序逻辑的刻画能力引入到动态描述逻辑中，将时间的进展体现为原子动作的执行，从而将时序维与动态维统一起来．在此基础上，从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法，并证明了算法的可终止性和正确性．TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力，而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理，从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持． |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/30018]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.桂林电子科技大学 2.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 常亮,史忠植,古天龙,等. 可判定的时序动态描述逻辑[J]. 软件学报,2011,22.0(007):1524. |
| APA | 常亮,史忠植,古天龙,&王晓峰.(2011).可判定的时序动态描述逻辑.软件学报,22.0(007),1524. |
| MLA | 常亮,et al."可判定的时序动态描述逻辑".软件学报 22.0.007(2011):1524. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。