| 一种扩展的动态描述逻辑语言及其 Tableau 算法 |
| |
| 引用本文： | 郝国舜,马世龙,眭跃飞. 一种扩展的动态描述逻辑语言及其 Tableau 算法[J]. 智能系统学报, 2009, 4(3): 226-233. DOI: 10.3969/j.issn.1673-4785.2009.03.006 |
| |
| 作者姓名： | 郝国舜 马世龙 眭跃飞 |
| |
| 作者单位： | 1. 北京航空航天大学,软件开发环境国家重点实验室,北京,100191
2. 中科院计算所,智能信息处理重点实验室,北京100080 |
| |
| 基金项目： | 国家重点基础研究发展规划(973计划) |
| |
| 摘 要： | 对动态系统的描述是智能领域的一个重要问题，但目前已有的动态描述逻辑语言，用不可再分的符号表示原子动作，不能区分动作类和动作实例，不足以对实际系统中的动作进行表达．因此提出了一个扩展的动态描述逻辑语言，在原子动作模态词的形式中可以表示动作的属性，从而区分了一类动作和具体动作．通过对可达关系进行限制，定义了此特殊形式模态词动作的语义．另外，还提供了此语言的Tableau算法，并证明了此算法的可终止性和完备性．
|
| 关 键 词： | 动态描述逻辑 模态逻辑 动态逻辑 Tableau算法 |
An extended dynamic description logic language and its Tableau algorithm |
| |
| HAO Guo-shun,MA Shi-long,SUI Yue-fei. An extended dynamic description logic language and its Tableau algorithm[J]. CAAL Transactions on Intelligent Systems, 2009, 4(3): 226-233. DOI: 10.3969/j.issn.1673-4785.2009.03.006 |
| |
| Authors: | HAO Guo-shun MA Shi-long SUI Yue-fei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
