在稳定模型和答案集规划中重构情境演算和事件演算

Jan, 2014

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

Joohyung Lee, Ravi Palla

TL;DR通过发现究竟为何circumscription和stable model semantics在某些情况下意义相同，本文利用普通稳定模型理论重新阐述了situation calculus和event calculus，并完成了进一步的翻译，将其转化为应用高效答案集求解器来计算

Abstract

circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a