April 5, 2011
Speaker: Michael Fink (TU Wien)
Recent Advancements in Nonmonotonic Multi-Context Systems
Multi-Context Systems (MCS) evolved from seminal work by J.McCarthy on contextual reasoning. They have been developed as a framework for
modeling the information exchange between individual knowledge bases,
called contexts, via so-called bridge rules. Allowing for heterogeneous contexts with different (possibly nonmonotonic)semantics, MCSs have become a versatile framework for heterogenous knowledge integration.
This talk will give a brief review of Multi-Context Systems, before addressing recent work on nonmonotonic MCSs. In particular, evaluation issues and inconsistency management will be discussed, as well as considerable extensions of the framework and a particular application to argumentation.
The aim of this ongoing work is to provide the basis of an efficient
platform for (distributed) nonmonotonic problem solving on top of
heterogeneous distributed knowledge sources.
Michael Fink is an assistant professor at the Institute of Information Systems at the Vienna University of Technology (TU Wien). Hereceived his Masters and PhD degree in computer science from TU Wienin 2000 and 2002, respectively. Past and present research and teaching activities center on computational logic, particularly related to logic programming, information integration,knowledge-based software agents, and declarative planning.He served on the program committee of renowned international conferences in artificial intelligence and logic programming and iscurrently leading a project on inconsistency management in Multi-Context Systems.