Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Best Papers from Sister Conferences Track. Pages 4247-4252.
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 mu-calculus, with a controlled form of quantification across successive states, and present key decidability results under the natural assumption of state-boundedness.
@inproceedings{ijcai2015p604,
title = {Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis},
author = {Calvanese, Diego and Montali, Marco and Patrizi, Fabio and De Giacomo, Giuseppe},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {4247--4252},
year = {2015},
month = {7},
note = {Best Papers from Sister Conferences Track},
url = {https://ijcai.org/proceedings/2015/604},
}
TY - CPAPER TI - Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis AU - Calvanese, Diego AU - Montali, Marco AU - Patrizi, Fabio AU - De Giacomo, Giuseppe T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 4247 EP - 4252 UR - https://ijcai.org/proceedings/2015/604 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
