{"type":"ScholarlyArticle","title":"Verification of Generalized Inconsistency-Aware Knowledge and Action Bases","authors":[{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":""},{"name":"Marco Montali","slug":"marco-montali","given":"Marco","family":"Montali","affiliation":""},{"name":"Ario Santoso","slug":"ario-santoso","given":"Ario","family":"Santoso","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/403","pdf":"https://ijcai.org/proceedings/2015/0403.pdf","markdown":"https://ijcai.org/proceedings/2015/403.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/403","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":403,"pages":{"first":2847,"last":2852},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}