资源论文MERGEXPLAIN: Fast Computation of Multiple Conflicts for Diagnosis

MERGEXPLAIN: Fast Computation of Multiple Conflicts for Diagnosis

2019-11-20 | |  103 |   41 |   0
Abstract The computation of minimal conflict sets is a central task when the goal is to find relaxations or explanations for overconstrained problem formulations and in particular in the context of ModelBased Diagnosis (MBD) approaches. In this paper we propose M ERGE X PLAIN, a non-intrusive conflict detection algorithm which implements a divide-and-conquer strategy to decompose a problem into a set of smaller independent subproblems. Our technique allows us to efficiently determine multiple minimal conflicts during one single problem decomposition run, which is particularly helpful in MBD problem settings. An empirical evaluation on various benchmark problems shows that our method can lead to a significant reduction of the required diagnosis times.

上一篇:Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

下一篇:Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...