Incomplete Causal Laws in the Situation Calculus Using Free Fluents
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 907-913.
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.
@inproceedings{ijcai2016p133,
title = {Incomplete Causal Laws in the Situation Calculus Using Free Fluents},
author = {Arenas, Marcelo and Baier, Jorge A. and Navarro, Juan S. and Sardina, Sebastian},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {907--913},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/133},
}
TY - CPAPER TI - Incomplete Causal Laws in the Situation Calculus Using Free Fluents AU - Arenas, Marcelo AU - Baier, Jorge A. AU - Navarro, Juan S. AU - Sardina, Sebastian T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 907 EP - 913 UR - https://ijcai.org/proceedings/2016/133 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
