Institute of Computing Technology, Chinese Academy IR
| 可判定的时序动态描述逻辑 | |
| 常亮1; 史忠植2; 古天龙1; 王晓峰2 | |
| 2011 | |
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825 |
| 卷号 | 22.0期号:007页码:1524 |
| 摘要 | 动态描述逻辑DDL（dynamic description logic）提供了一种基于描述逻辑的动作理论，适用于语义Web环境下对动态领域知识的刻画和推理．为了将分支时序逻辑的刻画能力引入到动态描述逻辑中，将时间的进展体现为原子动作的执行，从而将时序维与动态维统一起来．在此基础上，从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法，并证明了算法的可终止性和正确性．TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力，而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理，从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持． |
| 关键词 | 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/30019 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [常亮]的文章 |
| [史忠植]的文章 |
| [古天龙]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [常亮]的文章 |
| [史忠植]的文章 |
| [古天龙]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [常亮]的文章 |
| [史忠植]的文章 |
| [古天龙]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论