Document Type
Conference Proceeding
Publication Date
1-2014
Abstract
Integrating diverse formalisms into modular knowledge representation systems offers increased expressivity, modeling convenience and computational benefits. We introduce the concepts of abstract inference modules and abstract modular inference systems to study general principles behind the design and analysis of model-generating programs, or solvers, for integrated multilogic systems.We show how modules and modular systems give rise to transition graphs, which are a natural and convenient representation of solvers, an idea pioneered by the SAT community. We illustrate our approach by showing how it applies to answer-set programming and propositional logic, and to multi-logic systems based on these two formalisms.
Recommended Citation
Lierler, Yuliya and Truszczyński, Miroslaw, "Abstract Modular Inference Systems and Solvers" (2014). Computer Science Faculty Proceedings & Presentations. 30.
https://digitalcommons.unomaha.edu/compsicfacproc/30
Comments
To appear at Practical Aspects of Declarative Languages 2014