In this paper we investigate situation calculus action theories extended with ontologies, expressed as description logics TBoxes that act as state constraints. We show that this combination, while natural and desirable, is particularly problematic: it leads to undecidability of the simplest form of reasoning, namely satisfiability, even for the simplest kinds of description logics and the simplest kind of situation calculus action theories.
On the undecidability of the situation calculus extended with description logic ontologies / Calvanese, Diego; DE GIACOMO, Giuseppe; Soutchanski, Mikhail. - STAMPA. - 2015:(2015), pp. 2840-2846. (Intervento presentato al convegno Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 tenutosi a Buenos Aires; Argentina nel July 25-31, 2015).
On the undecidability of the situation calculus extended with description logic ontologies
DE GIACOMO, Giuseppe
;
2015
Abstract
In this paper we investigate situation calculus action theories extended with ontologies, expressed as description logics TBoxes that act as state constraints. We show that this combination, while natural and desirable, is particularly problematic: it leads to undecidability of the simplest form of reasoning, namely satisfiability, even for the simplest kinds of description logics and the simplest kind of situation calculus action theories.File | Dimensione | Formato | |
---|---|---|---|
Calvanese_On-the-Undecidability_2015.pdf
solo gestori archivio
Note: Articolo principale
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
611.75 kB
Formato
Adobe PDF
|
611.75 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.