Distributed Evaluation of Nonmonotonic Multi-context Systems

  title={Distributed Evaluation of Nonmonotonic Multi-context Systems},
  author={Minh Dao-Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner},
  journal={J. Artif. Intell. Res.},
Multi-context Systems (MCSs) are a formalism for systems consisting of knowledge bases (possibly heterogeneous and non-monotonic) that are interlinked via bridge rules, where the global system semantics emerges from the local semantics of the knowledge bases (also called “contexts”) in an equilibrium. While MCSs and related formalisms are inherently targeted for distributed settings, no truly distributed algorithms for their evaluation were available. We address this shortcoming and present a… CONTINUE READING