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

01/18/2014
by   Joohyung Lee, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

11/25/2002

Propositional satisfiability in declarative programming

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

A Well-typed Lightweight Situation Calculus

Situation calculus has been widely applied in Artificial Intelligence re...
03/08/2000

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

High-level robot controllers in realistic domains typically deal with pr...
06/17/2020

Logic, Probability and Action: A Situation Calculus Perspective

The unification of logic and probability is a long-standing concern in A...
08/10/2021

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

Whitby is the server-side of an Intelligent Tutoring System application ...
06/04/2018

On the Soundness of Coroutines with Snapshots

Coroutines are a general control flow construct that can eliminate contr...
07/12/2018

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.