Symmetry Breaking for Distributed Multi-Context Systems

Details Symmetry Breaking for Distributed Multi-Context Systems Symmetry Breaking for Distributed Multi-Context Systems

2011-04-20

arxiv.org/abs/1104.3931v1

Computer Science

Logic in Computer Science

Self-archived version of LPNMR'11 submission

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Symmetry Breaking for Distributed Multi-Context Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Symmetry Breaking for Distributed Multi-Context Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symmetry Breaking for Distributed Multi-Context Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-431998