We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually forgets some facts, as one learns new ones. We discuss various ways of obtaining bounded action theories. The main result of the paper is that verification of an expressive class of first-order μ-calculus temporal properties in such theories is in fact decidable. This paper is an abridged version of (De Giacomo, Lespérance, and Patrizi 2012). Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
Bounded situation calculus action theories (Extended abstract) / DE GIACOMO, Giuseppe; Yves, Lesperance; Patrizi, Fabio. - STAMPA. - WS-12-06:(2012), pp. 16-23. (Intervento presentato al convegno 8th International Cognitive Robotics Workshop tenutosi a Toronto, ON nel 23 July 2012 through 23 July 2012).
Bounded situation calculus action theories (Extended abstract)
DE GIACOMO, Giuseppe;PATRIZI, FABIO
2012
Abstract
We define a notion of bounded action theory in the situation calculus, where the theory entails that in all situations, the number of ground fluent atoms is bounded by a constant. Such theories can still have an infinite domain and an infinite set of states. We argue that such theories are fairly common in applications, either because facts do not persist indefinitely or because one eventually forgets some facts, as one learns new ones. We discuss various ways of obtaining bounded action theories. The main result of the paper is that verification of an expressive class of first-order μ-calculus temporal properties in such theories is in fact decidable. This paper is an abridged version of (De Giacomo, Lespérance, and Patrizi 2012). Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.File | Dimensione | Formato | |
---|---|---|---|
VE_2012_11573-485094.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
228.64 kB
Formato
Adobe PDF
|
228.64 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.