Progressing basic action theories with non-local effect actions (CS-2009)

Progressing basic action theories with non-local effect actions, Stavros Vassos, Sebastian Sardina, and Hector Levesque, In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09), pages 135-140, Toronto, Canada, 2009.
[pdf | citeulike| slides]

Abstract:
In this paper we propose a practical extension to some recent work on the progression of action theories in the situation calculus. In particular, we argue that the assumption of local-effect actions is too restrictive for realistic settings. Based on the notion of safe-range queries from database theory and just-in-time action histories, we present a new type of action theory, called range-restricted, that allows actions to have non-local effects with a restricted range. These theories can represent incomplete information in the initial database in terms of possible closures for fluents and can be progressed by directly updating the database in an algorithmic manner. We prove the correctness of our method and argue for the applicability of range-restricted theories in realistic settings.

Bibtex:

@inproceedings{vassos09rangerestricted,
address = {Toronto, Canada},
author = {Vassos, Stavros and Sardina, Stavros and Levesque, Hector},
booktitle = {Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09)},
editor = {Lakemeyer, Gerhard and Morgenstern, Leora and Williams, Mary-Anne},
pages = {135–140},
publisher = {UTSePress},
title = {Progressing basic action theories with non-local effect actions},
year = {2009}
}