Symmetry breaking for distributed multi-context systems

DOI10.1007/978-3-642-20895-9_5MaRDI QIDQ3003240zbMATH OpenOpenAlexWikidataFDO

Authors Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1104.3931

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Distributed algorithms (68W15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in such systems to eliminate symmetric parts of the search space and, thereby, simplify the evaluation process. We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them with those partial symmetries returned by neighbouring contexts. We prove the correctness of our methods. We instantiate such symmetry detection and symmetry breaking in a multi-context system with contexts that use answer set programs, and demonstrate computational benefit on some recently proposed benchmarks.

Recommendations

• Distributed evaluation of nonmonotonic multi-context systems
• Decomposition of distributed nonmonotonic multi-context systems
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
• scientific article; zbMATH DE number 6139986
• Multi-context systems in dynamic environments

Cited in

(4)

• Distributed evaluation of nonmonotonic multi-context systems
• Decomposition of distributed nonmonotonic multi-context systems
• scientific article; zbMATH DE number 6139986 (Why is no real title available?)
• scientific article; zbMATH DE number 5010828 (Why is no real title available?)

Describes a project that uses

Uses Software

• clasp

This page was built for publication: Symmetry breaking for distributed multi-context systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003240)