Equilibria in heterogeneous nonmonotonic multi-context systems
Gerhard Brewka, Thomas Eiter · 2007
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and non-monotonic 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 general-izes the heterogeneous monotonic multi-context systems de-veloped by F. Giunchiglia and colleagues as well as the ho-mogeneous 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)