TY - JOUR
T1 - Graph-based construction of minimal models
AU - Angiulli, Fabrizio
AU - Ben-Eliyahu-Zohary, Rachel
AU - Fassetti, Fabio
AU - Palopoli, Luigi
N1 - Funding Information:
We thank Dr. Jay Levinson for editing parts of this paper. The second author was supported by a research grant from Azrieli College of Engineering , Jerusalem.
Publisher Copyright:
© 2022 Elsevier B.V.
PY - 2022/12/1
Y1 - 2022/12/1
N2 - Reasoning with minimal models is at the heart of many knowledge representation systems. Yet, it turns out that this task is formidable even when very simple theories are considered. It is, therefore, crucial to devise methods that attain good performances in most cases. To this end, a path to follow is to find ways to break the task at hand into several sub-tasks that can be solved separately and in parallel. And, in fact, 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 turns out to be useful for many applications involving computation with minimal models. In particular, we introduce a new algorithm for minimal model finding based on model decomposition. The algorithm temporal worst-case complexity is exponential in the size s of the largest connected component of the dependency graph, but the actual cost depends on the size of the largest component actually encountered at run time that can be far smaller than s, and on the class of theories to which components belong. For example, if all components reduce to either an Head Cycle Free or an Head Elementary-set Free theory, the algorithm is polynomial in the size of the theory.
AB - Reasoning with minimal models is at the heart of many knowledge representation systems. Yet, it turns out that this task is formidable even when very simple theories are considered. It is, therefore, crucial to devise methods that attain good performances in most cases. To this end, a path to follow is to find ways to break the task at hand into several sub-tasks that can be solved separately and in parallel. And, in fact, 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 turns out to be useful for many applications involving computation with minimal models. In particular, we introduce a new algorithm for minimal model finding based on model decomposition. The algorithm temporal worst-case complexity is exponential in the size s of the largest connected component of the dependency graph, but the actual cost depends on the size of the largest component actually encountered at run time that can be far smaller than s, and on the class of theories to which components belong. For example, if all components reduce to either an Head Cycle Free or an Head Elementary-set Free theory, the algorithm is polynomial in the size of the theory.
KW - Disjunctive logic programs
KW - Minimal models
KW - Splitting sets
KW - Stable models
UR - http://www.scopus.com/inward/record.url?scp=85137655259&partnerID=8YFLogxK
U2 - 10.1016/j.artint.2022.103754
DO - 10.1016/j.artint.2022.103754
M3 - Article
AN - SCOPUS:85137655259
SN - 0004-3702
VL - 313
JO - Artificial Intelligence
JF - Artificial Intelligence
M1 - 103754
ER -