Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify the information flow among contexts. We investigate several notions of equilibrium representing acceptable belief states for our multi-context systems. The approach generalizes the heterogeneous monotonic multi-context systems developed by F. Giunchiglia and colleagues as well as the homogeneous nonmonotonic multi-context systems of Brewka, Serafini and Roelofsen. Background and Motivation Interest in formalizations of contextual information and inter-contextual information flow has steadily increased over the last years. Based on seminal papers by McCarthy (1987) and Giunchiglia (1993), several approaches have been proposed, most notably McCarthy’s propositional logic of context (1993) and the multi-context systems of the Trento school devised by Giunchiglia and Serafini (1994). Intuitively, a multi-cont...

• Type: Conference
• Year: 2007
• Where: AAAI
• Authors: Gerhard Brewka, Thomas Eiter
• Keywords: AAAI 2007, Information flow, Intelligent Agents, Multi-context Systems, Nonmonotonic Bridge Rules