5 April 2011
Recent Advancements in Nonmonotonic Multi-Context Systems
Speaker: Michael Fink (TU Wien)
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). He
received his Masters and PhD degree in computer science from TU Wien
in 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 is
currently leading a project on inconsistency management in