在稳定模型一般理论与回答集编程中重构情境演算与事件演算
人工智能
2014-01-21 v1 计算机科学中的逻辑
摘要
限定与稳定模型语义下的逻辑程序是两种著名的非单调形式体系。前者曾作为基于经典逻辑的动作形式体系的基础，如情境演算、事件演算和时序动作逻辑；后者曾作为一系列动作语言的基础，如语言A及其若干后继语言。基于限定与稳定模型语义在一类规范公式上相一致这一发现，我们在稳定模型一般理论中重构了情境演算和事件演算。我们还提出了一种转换方法，将这些重构进一步转化为回答集程序，从而可以应用高效的回答集求解器来计算情境演算和事件演算。
引用
@article{arxiv.1401.4607,
title = {Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming},
author = {Joohyung Lee and Ravi Palla},
journal= {arXiv preprint arXiv:1401.4607},
year = {2014}
}