TY - GEN
T1 - Algorithms for computing X-minimal models
AU - Avin, Chen
AU - Ben-Eliyahu-Zohary, Rachel
PY - 2001/12/1
Y1 - 2001/12/1
N2 - The problem of computing X-minimal models, that is, models minimal with respect to a subset X of all the atoms in a theory, is very relevant for computing circumscriptions and diagnosis. Unfortunately, the problem is NP-hard. In this paper we present two novel algorithms for computing X-minimal models. The advantage of these new algorithms is that, unlike existing ones, they are capable of generating the models one by one. There is no need to compute a superset of all minimal models before finding the first X-minimal one. Our procedures may use local serach techniques, or, alternatively, complete methods. We have implemented and tested the algorithms and the preliminary experimental results are encouraging.
AB - The problem of computing X-minimal models, that is, models minimal with respect to a subset X of all the atoms in a theory, is very relevant for computing circumscriptions and diagnosis. Unfortunately, the problem is NP-hard. In this paper we present two novel algorithms for computing X-minimal models. The advantage of these new algorithms is that, unlike existing ones, they are capable of generating the models one by one. There is no need to compute a superset of all minimal models before finding the first X-minimal one. Our procedures may use local serach techniques, or, alternatively, complete methods. We have implemented and tested the algorithms and the preliminary experimental results are encouraging.
UR - http://www.scopus.com/inward/record.url?scp=84867814115&partnerID=8YFLogxK
U2 - 10.1007/3-540-45402-0_24
DO - 10.1007/3-540-45402-0_24
M3 - Conference contribution
AN - SCOPUS:84867814115
SN - 3540425934
SN - 9783540425939
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 322
EP - 335
BT - Logic Programming and Nonmonotonic Reasoning - 6th International Conference, LPNMR 2001, Proceedings
T2 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001
Y2 - 17 September 2001 through 19 September 2001
ER -