作者：郝国舜 马世龙 眭跃飞动态描述逻辑模态逻辑动态逻辑tableau算法
摘要：对动态系统的描述是智能领域的一个重要问题，但目前已有的动态描述逻辑语言，用不可再分的符号表示原子动作，不能区分动作类和动作实例，不足以对实际系统中的动作进行表达．因此提出了一个扩展的动态描述逻辑语言，在原子动作模态词的形式中可以表示动作的属性，从而区分了一类动作和具体动作．通过对可达关系进行限制，定义了此特殊形式模态词动作的语义．另外，还提供了此语言的Tableau算法，并证明了此算法的可终止性和完备性．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
