Reconciling situation calculus and fluent calculus

Authors:
Stephan Schiffel;Michael Thielscher
Affiliations:
Department of Computer Science, Dresden University of Technology;Department of Computer Science, Dresden University of Technology
Venue:
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Year:
2006

Citing 7
Cited 6

The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
How to progress a database

Artificial Intelligence
From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem

Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
On knowledge-based programming with sensing in the situation calculus

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Reasoning Robots: The Art and Science of Programming Robotic Agents

Reasoning Robots: The Art and Science of Programming Robotic Agents

Integrating Action Calculi and Description Logics

KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
On Structure of Games

Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
A description logic based situation calculus

Annals of Mathematics and Artificial Intelligence
A unifying action calculus

Artificial Intelligence
WSSL: a fluent calculus-based language for web service specifications

CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Towards a programming paradigm for control systems with high levels of existential autonomy

AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that would allow to formally analyze the relationship between the two approaches as well as between the programming languages based on them, Golog and FLUX. Furthermore, such a formal relation would allow to combine Golog and FLUX and to analyze which of the underlying computation principles is better suited for different classes of programs. We develop a formal translation between domain axiomatizations of the Situation Calculus and the Fluent Calculus and present a Fluent Calculus semantics for Golog programs. For domains with deterministic actions our approach allows an automatic translation of Golog domain descriptions and execution of Golog programs with FLUX.