TY - GEN
T1 - Abstract modular inference systems and solvers
AU - Lierler, Yuliya
AU - Truszczynski, Miroslaw
PY - 2014
Y1 - 2014
N2 - 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 multi-logic 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.
AB - 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 multi-logic 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.
UR - http://www.scopus.com/inward/record.url?scp=84893471080&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84893471080&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-04132-2_4
DO - 10.1007/978-3-319-04132-2_4
M3 - Conference contribution
AN - SCOPUS:84893471080
SN - 9783319041315
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 49
EP - 64
BT - Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings
T2 - 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
Y2 - 20 January 2014 through 21 January 2014
ER -