
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
M. Goldzsmidt, P. Morris, J. Pearl, "A Maximum Entropy Approach to Nonmonotonic Reasoning," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 15, no. 3, pp. 220232, March, 1993.  
BibTex  x  
@article{ 10.1109/34.204904, author = {M. Goldzsmidt and P. Morris and J. Pearl}, title = {A Maximum Entropy Approach to Nonmonotonic Reasoning}, journal ={IEEE Transactions on Pattern Analysis and Machine Intelligence}, volume = {15}, number = {3}, issn = {01628828}, year = {1993}, pages = {220232}, doi = {http://doi.ieeecomputersociety.org/10.1109/34.204904}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Pattern Analysis and Machine Intelligence TI  A Maximum Entropy Approach to Nonmonotonic Reasoning IS  3 SN  01628828 SP220 EP232 EPD  220232 A1  M. Goldzsmidt, A1  P. Morris, A1  J. Pearl, PY  1993 KW  abnormality minimisation; inference; maximum entropy; nonmonotonic reasoning; infinitesimal probabilities; probabilistic interpretation; conditional knowledge base; conditional interpretations; knowledge based systems; nonmonotonic reasoning; probabilistic logic VL  15 JA  IEEE Transactions on Pattern Analysis and Machine Intelligence ER   
An approach to nonmonotonic reasoning that combines the principle of infinitesimal probabilities with that of maximum entropy, thus extending the inferential power of the probabilistic interpretation of defaults, is proposed. A precise formalization of the consequences entailed by a conditional knowledge base is provided, the computational machinery necessary for drawing these consequences is developed, and the behavior of the maximum entropy approach is compared to related work in default reasoning. The resulting formalism offers a compromise between two extremes: the cautious approach based on the conditional interpretations of defaults and the bold approach based on minimizing abnormalities.
[1] E. W. Adams,The Logic of Conditionals. Dordrecht, Netherlands: D. Reidel, 1975.
[2] M. Aoki,Introduction to Optimization Techniques. New York: MacMillan, 1971, ch. 5.
[3] F. Bacchus, A. Grove, J. Halpern, and D. Koller, "Statistical foundations of default reasoning indifference and irrelevance," inProc. Fourth Int. Workshop Nonmonotonic Reasoning, 1992.
[4] R. BenEliyahu, "NPcomplete problems in optimal horn clauses satisfiability," Tech. Rep. R158, Cognitive Syst. Lab., Univ. Calif. Los Angeles, 1990.
[5] M. Born,Natural Philosophy of Cause and Chance. Oxford, UK: Clarendon, 1949.
[6] P. Cheeseman, "A method of computing generalized Bayesian probability values for expert systems, " inProc. Int. Joint Conf. Artificial Intell. (IJCAI83)(Karlsruhe, W. Germany), 1983, pp. 198202.
[7] J. P. Delgrande, "An approach to default reasoning based on a firstorder conditional logic: Revised report,"Artificial Intell., vol. 36, pp. 6390, 1988.
[8] W. Dowling and J. Gallier, "Lineartime algorithms for testing the satisfiability of propositional Horn formulae,"J. Logic Programming, vol. 3, pp. 267284, 1984.
[9] D. Etherington and R. Reiter, "On inheritance hierarchies with exceptions," inProc. Amer. Assoc. Artificial Intell. Conf.(Washington DC), 1983, pp. 104108, 1983.
[10] D. Gabbay, "Theoretical foundations for nonmonotonic reasoning in expert systems," inLogic and Models of Concurrent Systems(K. R. Apt, Ed.). Berlin: SpringerVerlag, 1985.
[11] H. A. Geffner and J. Pearl, "A framework for reasoning with defaults," inKnowledge Representation and Defeasible Reasoning(H. Kyburg, R. Loui, and G. Carlson, Eds.). London: Kluwer, 1990, pp. 245265.
[12] H. A. Geffner,Default Reasoning: Causal and Conditional Theories. Cambridge, MA: MIT Press, 1992.
[13] M. Goldszmidt and J. Pearl, "On the relation between rational closure and system Z." inProc. Third Int. Workshop Nonmonotonic Reasoning(South Lake Tahoe), 1990, pp. 130140, 1990.
[14] M. Goldszmidt and J. Pearl, "On the consistency of defeasible databases,"Artificial Intell., vol. 52, pp. 121149, 1991.
[15] M. Goldszmidt and J. Pearl, "SystemZ+: A formalism for reasoning with variable strength defaults," inProc. Amer. Assoc. Artificial Intell. Conf.(Anaheim, CA), 1991, pp. 399404, San Mateo, CA: Morgan Kaufmann.
[16] M. Goldszmidt and J. Pearl, "Reasoning with qualitative probabilities can be tractable," inProc. Eighth Conf. Uncertainty Artificial Intell.(Stanford, CA), 1992, San Mateo, CA: Morgan Kaufmann.
[17] M. Goldszmidt and J. Pearl, "Rankbased systems: A simple approach to belief revision, belief update, and reasoning about evidence and actions," inProc. Third Int. Conf. Principles Knowledge Representation Reasoning(Boston, MA), 1992, pp. 661671, San Mateo, CA: Morgan Kaufmann.
[18] S. Hanks and D. McDermott, "Nonmonotonic logics and temporal projection,"Artificial Intell., vol. 33, pp. 379412, 1987.
[19] D. Hunter, "Causality and maximum entropy updating,"Int. J. Approx. Reasoning, vol. 3, pp. 87114, 1989.
[20] E. Jaynes, "Where do we stand on maximum entropy?" inThe Maximum Entropy Formalism(R. Levine and M. Tribus, Eds.). Cambridge, MA: MIT Press, 1979.
[21] S. Kraus, D. Lehmann, and M. Magidor, "Nonmonotonic reasoning, preferential models and cumulative logics,"Artificial Intell., vol. 44, pp. 167207, 1990.
[22] D. Lehmann and M. Magidor, "What does a conditional knowledge base entail?"Artificial Intell., vol. 55, pp. 160, 1992.
[23] D. Lehmann, "What does a conditional knowledge base entail?" inProc. Principles Knowledge Represent. Reasoning(Toronto), 1989, pp. 212222.
[24] V. Lifschitz, "Open problems on the border of logic and artificial intelligence," Tech. Rep., Dept. of Comput. Sci., Stanford Univ., 1989.
[25] D. Makinson, "General theory of cummulative inference, inNonmonotonic Reasoning(M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall, Eds.). Berlin: SpringerVerlag, Lecture Notes on Artificial Intelligence 346, 1989.
[26] J. McCarthy, "CircumscriptionA form of nonmonotonic reasoning,"Artificial Intell., vol. 13, pp. 2739, 1980.
[27] McCarthy, J., 1986. "Applications of Circumscription to Formalizing Common Sense Knowledge."Artificial Intelligence, April 1986.
[28] R. Moore, "Semantical considerations on nonmonotonic logic,"Art. Intell., vol. 25, pp. 7594, 1985.
[29] J. Pearl,Probabilistic Reasoning in Intelligent Systems. San Mateo, CA: Morgan Kaufmann, 1988.
[30] J. Pearl, "System Z: A natural ordering of defaults with tractable applications to default reasoning," inProceedings of Theoretical Aspects of Reasoning about Knowledge(R. Parikh, Ed.). San Mateo, CA: Morgan Kaufmann, 1990, pp. 121135.
[31] J. Pearl, "Probabilistic semantics for nonmonotonic reasoning: A survey," inPhilosophy and AI  Essays at the Interface(R. Cummins and J. Pollock, Eds.). Cambridge, MA: MIT Press, pp. 157187, 1991.
[32] R. Reiter and G. Criscuolo, " Some representational issues in default reasoning,"Int. J. Comput. Math., vol. 9, pp. 113, 1983.
[33] R. Reiter, "A logic for default reasoning.Artificial Intell., vol. 13, pp. 81132, 1980.
[34] R. Reiter, "A theory of diagnosis from first principles,"Artif. Intell., vol. 32, pp. 5795, 1987.
[35] K. Satoh, "A probabilistic interpretation for lazy nonmonotonic reasoning," inProc. Amer. Assoc. Artificial Intell. Conf.(Boston), 1990, pp. 659664.
[36] Y. Shoham, "Chronological ignorance: Time, necessity, and causal theories," inProc. Amer. Assoc. Artificial Intell. Conf.(Philadelphia), 1986, pp. 389393.
[37] Y. Shoham, "Nonmonotonic logics: Meaning and utility," inProc. Int. Conf. Artificial Intell. (IJCAI_87)(Milan, Italy,) 1987, pp. 388393.
[38] M. Tribus,Rational Descriptions, Decisions and Designs. Elmsford, NY: Pergamon, 1969.