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

by   Joohyung Lee, et al.

Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical formulas, we reformulate the situation calculus and the event calculus in the general theory of stable models. We also present a translation that turns the reformulations further into answer set programs, so that efficient answer set solvers can be applied to compute the situation calculus and the event calculus.



There are no comments yet.


page 1

page 2

page 3

page 4


Propositional satisfiability in declarative programming

Answer-set programming (ASP) paradigm is a way of using logic to solve s...

A Well-typed Lightweight Situation Calculus

Situation calculus has been widely applied in Artificial Intelligence re...

cc-Golog: Towards More Realistic Logic-Based Robot Controllers

High-level robot controllers in realistic domains typically deal with pr...

Logic, Probability and Action: A Situation Calculus Perspective

The unification of logic and probability is a long-standing concern in A...

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

Whitby is the server-side of an Intelligent Tutoring System application ...

On the Soundness of Coroutines with Snapshots

Coroutines are a general control flow construct that can eliminate contr...

Situation Calculus for Synthesis of Manufacturing Controllers

Manufacturing is transitioning from a mass production model to a manufac...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.