一种扩展的动态描述逻辑语言及其 Tableau 算法

摘要：

对动态系统的描述是智能领域的一个重要问题,但目前已有的动态描述逻辑语言,用不可再分的符号表示原子动作,不能区分动作类和动作实例,不足以对实际系统中的动作进行表达.因此提出了一个扩展的动态描述逻辑语言,在原子动作模态词的形式中可以表示动作的属性,从而区分了一类动作和具体动作.通过对可达关系进行限制,定义了此特殊形式模态词动作的语义.另外,还提供了此语言的Tableau算法,并证明了此算法的可终止性和完备性.

关键词：动态描述逻辑、模态逻辑、动态逻辑、Tableau算法

所属期刊栏目：4

分类号：TP301(计算技术、计算机技术)

资助基金：国家"973"计划资助项目2005CB321902

在线出版日期：2009-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：226-233