Abstract
We show that minimal models of positive propositional theories can be decomposed based on the structure of the dependency graph of the theories. This observation can be useful for many applications involving computation with minimal models. As an example of such benefits, we introduce new algorithms for minimal model finding and checking that are based on model decomposition. The algorithms’ temporal worst-case complexity is exponential in the size s of the largest connected component of the dependency graph, but their actual cost depends on the size of the largest source actually encountered, which can be far smaller than s, and on the class of theories to which sources belong. Indeed, if all sources reduce to an HCF or HEF theory, the algorithms are polynomial in the size of the theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This is a short paper, all missing references can be found in [2].
- 2.
Note that the syntax of (1) is a bit unusual for a clause; usually, the equivalent notation \(\lnot a_1 \vee \lnot a_2 \vee ... \vee \lnot a_m \vee c_1 \vee c_2 \vee ...\vee c_n\) is employed.
- 3.
Clause nodes in the dependency graph are mandatory to achieve a graph which is linear in the size of the theory.
References
Angiulli, F., Ben-Eliyahu-Zohary, R., Fassetti, F., Palopoli, L.: On the tractability of minimal model computation for some CNF theories. Artif. Intell. 210, 56–77 (2014). doi:10.1016/j.artint.2014.02.003
Ben-Eliyahu-Zohary, R., Angiulli, F., Fassetti, F., Palopoli, L.: Modular construction of minimal models. A full version of this paper, can be obtained from the authors
Cadoli, M.: The complexity of model checking for circumscriptive formulae. Inf. Process. Lett. 44(3), 113–118 (1992)
Cadoli, M.: On the complexity of model finding for nonmonotonic propositional logics. In: Proceedings of the 4th Italian Conference on Theoretical Computer Science, pp. 125–139. World Scientific Publishing Co., October 1992
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ben-Eliyahu-Zohary, R., Angiulli, F., Fassetti, F., Palopoli, L. (2017). Modular Construction of Minimal Models. In: Balduccini, M., Janhunen, T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2017. Lecture Notes in Computer Science(), vol 10377. Springer, Cham. https://doi.org/10.1007/978-3-319-61660-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-61660-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61659-9
Online ISBN: 978-3-319-61660-5
eBook Packages: Computer ScienceComputer Science (R0)