Inconsistency Management in Generalized Knowledge and Action Bases

Diego Calvanese, Marco Montali, and Ario Santoso

Proc. of the 28th Int. Workshop on Description Logics (DL 2015). Volume 1350 of CEUR Workshop Proceedings, http://ceur-ws.org/. 2015.

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. 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.


@inproceedings{DL-2015-gkabs,
   title = "Inconsistency Management in Generalized Knowledge and Action
Bases",
   year = "2015",
   author = "Diego Calvanese and Marco Montali and Ario Santoso",
   booktitle = "Proc. of the 28th Int. Workshop on Description Logics
(DL 2015)",
   volume = "1350",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
pdf url