Incomplete Causal Laws in the Situation Calculus Using Free Fluents
Abstract
We propose a simple relaxation of Reiter's basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by showing how the evolution of incomplete databases, guarded action theories, and non-deterministic actions can be conveniently specified. PDF
Cite
Text
Arenas et al. "Incomplete Causal Laws in the Situation Calculus Using Free Fluents." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Arenas et al. "Incomplete Causal Laws in the Situation Calculus Using Free Fluents." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/arenas2016ijcai-incomplete/)BibTeX
@inproceedings{arenas2016ijcai-incomplete,
title = {{Incomplete Causal Laws in the Situation Calculus Using Free Fluents}},
author = {Arenas, Marcelo and Baier, Jorge A. and Navarro, Juan S. and Sardiña, Sebastian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {907-914},
url = {https://mlanthology.org/ijcai/2016/arenas2016ijcai-incomplete/}
}