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

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