Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)

Details Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract) Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)

2000-03-05

arxiv.org/abs/cs/0003007v1

Computer Science

Artificial Intelligence

Scientific paper

In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axioms and unique name axioms. This kind of treatment is very important since this enable to apply various technique developed in operations research to nonmonotonic reasoning. Nerode et al. (1995) are the first to propose a method of computing circumscription using integer programming. They claimed their method was correct for circumscription with fixed predicate, but we show that their method does not correctly reflect their claim. We show a correct method of computing all the minimal models not only with fixed predicates but also with varied predicates and we extend our method to compute prioritized circumscription as well.

Affiliated with

Also associated with

No associations

Rating

Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-55238