In this work we study action theories of the situation calculus such that the initial KB is a generalized database with equality constraints (GFDBs). We show that GFDBs characterize the class of definitional KBs and that they are closed under progression. We also show that, under conditions, generalized projection queries can be decided based on an induced transition system and evaluation of local conditions over states. Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
Action theories over generalized databases with equality constraints / Patrizi, Fabio; Vassos, Stavros. - STAMPA. - (2014), pp. 650-652. (Intervento presentato al convegno 14th International Conference on Principles of Knowledge Representation and Reasoning tenutosi a Vienna; Austria).
Action theories over generalized databases with equality constraints
PATRIZI, FABIO;VASSOS, STAVROS
2014
Abstract
In this work we study action theories of the situation calculus such that the initial KB is a generalized database with equality constraints (GFDBs). We show that GFDBs characterize the class of definitional KBs and that they are closed under progression. We also show that, under conditions, generalized projection queries can be decided based on an induced transition system and evaluation of local conditions over states. Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.| File | Dimensione | Formato | |
|---|---|---|---|
|
VE_2014_11573-537189.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
382.16 kB
Formato
Adobe PDF
|
382.16 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
