Rec. Advan. in Nonmonotonic Multi-Context Syst. 5 April 2011, FENS L058
  • FENS
  • Rec. Advan. in Nonmonotonic Multi-Context Syst. 5 April 2011, FENS L058

You are here

                                                                                                                                                                                                                                                             5 April 2011 


15:40-16:30
FENS L058
 

 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.

Short Biography:

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
Multi-Context Systems.

15:40-16:30
FENS L058