Symmetry breaking for distributed multi-context systems

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