Reconciling Situation Calculus and Fluent Calculus
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.
Cite
Text
Schiffel and Thielscher. "Reconciling Situation Calculus and Fluent Calculus." AAAI Conference on Artificial Intelligence, 2006. doi:10.1097/sla.0000000000000490Markdown
[Schiffel and Thielscher. "Reconciling Situation Calculus and Fluent Calculus." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/schiffel2006aaai-reconciling/) doi:10.1097/sla.0000000000000490BibTeX
@inproceedings{schiffel2006aaai-reconciling,
title = {{Reconciling Situation Calculus and Fluent Calculus}},
author = {Schiffel, Stephan and Thielscher, Michael},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2006},
pages = {287-292},
doi = {10.1097/sla.0000000000000490},
url = {https://mlanthology.org/aaai/2006/schiffel2006aaai-reconciling/}
}