EPiC Series in Computing Propagators and Solvers for the Algebra of Modular Systems

Bart Bogaerts, Eugenia Ternovska, David Mitchell
2017 Pages 227-248 LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning   unpublished
Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely semantic terms. Many practical systems based on expressive formalisms solve the model expansion task. In this paper, we construct a solver for the model expansion task for a complex modular system from an expression in the algebra and black-box
more » ... pagators or solvers for the primitive modules. To this end, we define a general notion of propagators equipped with an explanation mechanism, an extension of the algebra to propagators, and a lazy conflict-driven learning algorithm. The result is a framework for seamlessly combining solving technology from different domains to produce a solver for a combined system.
fatcat:5jevuenyj5afrpd2dd66ygkeku