基于描述逻辑的动作理论研究

• 作者: 刘一松 谢聪银
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 描述逻辑 动作理论 状态更新 断言 动作推理 知识表示
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 29-32
• 页数: 4页
• 分类号: TP301
• 字数: 5314字
• 语种: 中文
• DOI: 10.11907/rjdk.151392

摘要

情景演算对于动作理论的描述具有很强的表达能力,但是其推理算法具有不可判定性.在描述逻辑AL-CO@的基础上,构建基于描述逻辑的动作理论系统DL-A.在该系统中,利用描述逻辑语言描述原子动作的表达式以及语义解释,并在此基础上利用各种构造符构造出顺序、选择、并发、迭代等复杂动作,同时赋予这些复杂动作的语法和语义.动作的实现会引起周围世界状态的改变,描述动作执行所引起的状态更新算法.基于描述逻辑ALCO@的动作理论不仅具有很强的表达能力,而且其算法具有可判定性,能够提供多种推理服务,可以应用于Web语义下的动作描述和推理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘一松	江苏大学计算机科学与通信工程学院	40	180	7.0	11.0
2	谢聪银	江苏大学计算机科学与通信工程学院	1	0	0.0	0.0