Computing Minimal Models by Positively Minimal Disjuncts
In this paper, we consider a method of computing minimal models in propositional logic. We firstly show that positively minimal disjuncts in DNF (Disjunctive Normal Form) of the original axiom corresponds with minimal models. A disjunct D is positively minimal if there is no disjunct which contains less positive literal than D. We show that using superset query and membership query which were used in some learning algorithms in computational learning theory, we can compute all the minimal models.
We then give a restriction and an extension of the method. The restriction is to consider a class of positive (sometimes called monotone) formula where minimization corresponds with diagnosis and other important problems in computer science. Then, we can replace superset query with sampling to give an approximation method. The algorithm itself has been already proposed by [Valiant84], but we show that the algorithm can be used to approximate a set of minimal models as well.
On the other hand, the extension is to consider circumscription with varied propositions. We show that we can compute equivalent formula of circumscription using a similar technique to the above.
Unable to display preview. Download preview PDF.
- [Angluin88]Angluin, D.: Queries and Concept Learning. Machine Learning 2, 319–342 (1988)Google Scholar
- [Ben-Eliyahu00]Ben-Eliyahu-Zohary, R.: A Demand-Driven Algorithm for Generating Minimal Models. In: Proc. of AAAI-2000, pp. 267–272 (2000)Google Scholar
- [Blum03]Blum, A., Jackson, J.C., Sandholm, T., Zinkevich, M.: Preference Elicitation and Query Learning. In: COLT-2003, pp. 13–25 (2003)Google Scholar
- [Gunopulos97]Gunopulos, D., Khardon, R., Mannila, H., Toivonen, H.: Data Mining, Hypergraph Transversals, and Machine Learning. In: Proc. of PODS-1997, pp. 209–216 (1997)Google Scholar
- [Ibaraki91]Ibaraki, T., Kameda, T.: A Boolean Theory of Coteries. In: Proc. of 3rd IEEE Symposium on Parallel and Distributed Processing, pp. 150–157 (1991)Google Scholar
- [Khardon and Roth96]
- [Lifschitz85]Lifschitz, V.: Computing Circumscription. In: Proc. of IJCAI 1985, pp. 121–127 (1985)Google Scholar
- [Satoh00]Satoh, K., Okamoto, H.: Computing Circumscriptive Databases by Integer Programming: Revisited. In: Proc. of AAAI 2000, pp. 429–435 (2000)Google Scholar