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 -