Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
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.
Cite
Text
Calvanese et al. "Verification of Generalized Inconsistency-Aware Knowledge and Action Bases." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Calvanese et al. "Verification of Generalized Inconsistency-Aware Knowledge and Action Bases." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/calvanese2015ijcai-verification/)BibTeX
@inproceedings{calvanese2015ijcai-verification,
title = {{Verification of Generalized Inconsistency-Aware Knowledge and Action Bases}},
author = {Calvanese, Diego and Montali, Marco and Santoso, Ario},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {2847-2853},
url = {https://mlanthology.org/ijcai/2015/calvanese2015ijcai-verification/}
}