Lade Veranstaltungen

« Alle Veranstaltungen

  • Diese Veranstaltung hat bereits stattgefunden.

Enhancing Context Knowledge Repositories with Justifiable Exceptions

25. Oktober 2019 um 14:00 - 15:00

Veranstaltungskategorie Vortrag

Veranstaltungsort
Universität Klagenfurt
S.2.69

Veranstalter
Fakultät für Technische Wissenschaften


Beschreibung

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, based on description logics. 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, an extension of CKR with global defeasible axioms was developed: these axioms locally apply to individuals unless an exception for overriding exists; such an exception, however, requires a justification that is provable from the knowledge base. The formalization of this intuition has some desirable semantic properties, and furthermore allows for a translation of reasoning tasks on extended CKRs to datalog programs under the answer set (i.e., stable) semantics. This work complements other work on nonmonotonic extensions of description logics with an expressive formalism for exception handling by overriding, and adds to the body of results on using deductive database technology in these areas.
This is joint work with Loris Bozzato and Luciano Serafini (Fondazione Bruno Kessler, Trento)

https://www.ftf.or.at/kategorie/tewi-kolloquium/

Vortragende(r)
Prof. Dr. Thomas Eiter

Kontakt
Christian Timmerer (christian [dot] timmerer [at] itec [dot] aau [dot] at)

Details

Termine:
25. Oktober 2019 um 14:00 - 15:00 Uhr
Veranstaltungskategorie:
zum Veranstaltungskalender

Details

Termine:
25. Oktober 2019 um 14:00 - 15:00 Uhr
Veranstaltungskategorie:
zum Veranstaltungskalender