---
title: "Incomplete Causal Laws in the Situation Calculus Using Free Fluents"
authors:
  - "Marcelo Arenas"
  - "Jorge A. Baier"
  - "Juan S. Navarro"
  - "Sebastian Sardiña"
doi: ""
url: "https://ijcai.org/proceedings/2016/133"
pdf: "https://ijcai.org/proceedings/2016/0133.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "907-913"
track: ""
keywords:
---

# Incomplete Causal Laws in the Situation Calculus Using Free Fluents

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña

*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.