基于动态时序描述逻辑的动作理论

• 作者: 孙永新 赵希顺
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 动态时序描述逻辑 动作推理 动态域 动作理论
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 210-214,238
• 页数: 6页
• 分类号: TP181
• 字数: 8625字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.09.039

摘要

动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展.提出一种基于DL TLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DL TLALCIO理论,并解决动作推理中的框架问题和分支问题.动作推理问题,如动作可执行性和投影问题等,可归结为关于DL TLALCIO理论的推理问题,并最终归结为DL TLALCIO的公式可满足性问题.DL TLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DL TLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0
2	孙永新	中山大学逻辑与认知研究所	4	7	1.0	2.0