描述逻辑的动态时序扩展

• 作者: 孙永新 符志强 赵希顺
• 来源期刊: 计算机应用研究
• 关键词: 动态时序描述逻辑 动作推理 表判定算法 语义Web服务
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 536-541
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.02.036

摘要

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性.为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展.分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性.利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	符志强	仲恺农业工程学院计算机科学与工程学院	25	42	4.0	5.0
2	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0
3	孙永新	中山大学逻辑与认知研究所	4	7	1.0	2.0