Verification of Generalized Inconsistency-Aware Knowledge and Action Bases

Calvanese, Diego; Montali, Marco; Santoso, Ario

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Marco Montali, Ario Santoso

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2847-2852.

Abstract

Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects. Recently, KABs have been extended to manage inconsistency, with ad-hoc verification techniques geared towards specific semantics. This work provides a twofold contribution along this line of research. On the one hand, we enrich KABs with a high-level, compact action language inspired by Golog, obtaining so called Golog-KABs (GKABs). On the other hand, we introduce a parametric execution semantics for GKABs, so as to elegantly accomodate a plethora of inconsistency-aware semantics based on the notion of repair. We then provide several reductions for the verification of sophisticated first-order temporal properties over inconsistency-aware GKABs, and show that it can be addressed using known techniques, developed for standard KABs.

Diego Calvanese, Marco Montali, and Ario Santoso. 2015. Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2847–2852. https://ijcai.org/proceedings/2015/403

@inproceedings{ijcai2015p403,
  title     = {Verification of Generalized Inconsistency-Aware Knowledge and Action Bases},
  author    = {Calvanese, Diego and Montali, Marco and Santoso, Ario},
  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     = {2847--2852},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/403},
}

TY  - CPAPER
TI  - Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
AU  - Calvanese, Diego
AU  - Montali, Marco
AU  - Santoso, Ario
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2847
EP  - 2852
UR  - https://ijcai.org/proceedings/2015/403
ER  -