Verification of Context-Sensitive Knowledge and Action Bases

Diego CalvaneseDiego Calvanese, İsmail İlkan Ceylanİsmail İlkan Ceylan, Marco MontaliMarco Montali, Ario SantosoArio Santoso

Download

Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
Verification of Context-Sensitive Knowledge and Action Bases
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 514--528, 2014. Springer

Details
Bibtex

KurzfassungAbstract
Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, we enrich the KAB setting with contextual information, making use of different context dimensions. On the one hand, context is determined by the environment using context-changing actions that make use of the current state of the KB and the current context. On the other hand, it affects the set of TBox assertions that are relevant at each time point, and that have to be considered when processing queries posed over the KAB. Here we extend to our enriched setting the results on verification of rich temporal properties expressed in μ-calculus, which had been established for standard KABs. Specifically, we show that under a run-boundedness condition, verification stays decidable and does not incur in any additional cost in terms of worst-case complexity. We also show how to adapt syntactic conditions ensuring run-boundedness so as to account for contextual information, taking into account context-dependent activation of TBox assertions.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{CCMS2014,
  author    = {Diego Calvanese and {\.{I}}smail {\.{I}}lkan Ceylan and Marco
               Montali and Ario Santoso},
  title     = {Verification of Context-Sensitive Knowledge and Action Bases},
  editor    = {Eduardo Ferm{\'{e}} and Jo{\~{a}}o Leite},
  booktitle = {Proceedings of the 14th European Conference on Logics in
               Artificial Intelligence (JELIA 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8761},
  publisher = {Springer},
  year      = {2014},
  pages     = {514--528}
}