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

• 作者: 眭跃飞 郝国舜 马世龙
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 动态描述逻辑 模态逻辑 动态逻辑 Tableau算法
• 年，卷（期）: 2009,（3）
• 页码范围: 226-233
• 页数: 8页
• 分类号: TP301
• 字数: 8106字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.2009.03.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马世龙	北京航空航天大学软件开发环境国家重点实验室	58	445	8.0	20.0
2	郝国舜	北京航空航天大学软件开发环境国家重点实验室	3	4	1.0	2.0