[Back]


Talks and Poster Presentations (with Proceedings-Entry):

L. Bozzato, T. Eiter, L. Serafini:
"Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract)";
Talk: International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden; 2018-06-13 - 2018-06-19; in: "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, (IJCAI 2018), July 13-19, 2018, Stockholm, Sweden.", Stockholm, Sweden (2018), ISBN: 978-0-9992411-2-7; 5568 - 5572.



English abstract:
The Contextualized Knowledge Repository (CKR) framework was conceived as a logic-based approach for representing context dependent knowledge, which is a well-known area of study in AI. The framework has a two-layer structure with a global context that contains context-independent knowledge and meta-information about the contexts, and a set of local contexts with specific knowledge bases. In many practical cases, it is desirable that inherited global knowledge can be "overridden" at the local level. In order to address this need, we present an extension of CKR with global defeasible axioms: these axioms locally apply to (tuples of) individuals unless an exception for overriding exists; such an exception, however, requires a justification that is provable from the knowledge base. We formalize this intuition and study its semantic and computational properties. Furthermore, we present a translation of extended CKRs to datalog programs under the answer set (i.e., stable) semantics and we present an implementation prototype. Our work adds to the body of results on using deductive database technology in these areas, and provides an expressive formalism for exception handling by overriding.


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.24963/ijcai.2018/786

Electronic version of the publication:
https://www.ijcai.org/proceedings/2018/0786.pdf


Created from the Publication Database of the Vienna University of Technology.