In this paper, we overview the recently introduced general framework of Description Logic Based Dynamic Systems, which leverages Levesque’s functional approach to model systems that evolve the extensional part of a description logic knowledge base by means of actions. This framework is parametric w.r.t. the adopted description logic and the progression mechanism. In this setting, we discuss verification and adversarial synthesis for specifications expressed in a variant of first-order μ-calculus, with a controlled form of quantification across successive states and present key decidability results under the natural assumption of state-boundedness.
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis / Calvanese, Diego; Montali, Marco; Patrizi, Fabio; DE GIACOMO, Giuseppe. - STAMPA. - 2015:(2015), pp. 4247-4253. (Intervento presentato al convegno Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 tenutosi a Buenos Aires; Argentina nel July 25-31, 2015).
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
PATRIZI, FABIO;DE GIACOMO, Giuseppe
2015
Abstract
In this paper, we overview the recently introduced general framework of Description Logic Based Dynamic Systems, which leverages Levesque’s functional approach to model systems that evolve the extensional part of a description logic knowledge base by means of actions. This framework is parametric w.r.t. the adopted description logic and the progression mechanism. In this setting, we discuss verification and adversarial synthesis for specifications expressed in a variant of first-order μ-calculus, with a controlled form of quantification across successive states and present key decidability results under the natural assumption of state-boundedness.File | Dimensione | Formato | |
---|---|---|---|
Calvanese_Description-Logic-Based_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
756.45 kB
Formato
Adobe PDF
|
756.45 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.