Abstract
Charles Morgan has argued that nonmonotonic logic is ``impossible''. We show here that those arguments are mistaken, and that Morgan's preferred alternative, the representation of nonmonotonic reasoning by ``presuppositions'' fails to provide a framework in which nonmonotonic reasoning can be constructively criticised. We argue that an inductive logic, based on probabilistic acceptance, offers more than Morgan's approach through presuppositions.
Similar content being viewed by others
References
Burks, Arthur W. (1953), 'The presupposition theory of induction', Philosophy of Science 20, pp. 177–197.
Burks, Arthur W. (1954–55), 'On the presuppositions of induction', Review of Metaphysics 8, pp. 574–611.
Burks, Arthur W. (1977), Chance, Cause, Reason, Chicago: University of Chicago Press.
Carnap, Rudolf (1950), The Logical Foundations of Probabilty, 2nd edition, Chicago: University of Chicago Press.
de Kleer, J. (1986), 'An assumption based ATMS', AI Journal 28, pp. 127–162.
Fagin, Ronald and Halpern, Joseph Y. (1988), 'Belief, awareness and limited reasoning', Artificial Intelligence 34, pp. 39–76.
Fetzer, James H. (1981), Scientific Knowledge, Dordrecht: Reidel.
Fetzer, James H. (1993), Philosophy of Science, New York: Paragon House.
Halpern, Joseph Y. (1993), 'Let many flowers bloom: A response to 'an inquiry into computer understanding', Computational Intelligence 9, pp. 184–188.
Harrah, David (1956), 'Theses on presuppositions', Review of Metaphysics 9, pp. 117–128.
Harrah, David (1961), 'A logic of questions and answers', Philosophy of Science 28, pp. 40–46.
Israel, David (1980), 'What's wrong with nonmonotonic logic?' in Proceedings of the First Annual National Conference on Artificial Intelligence, pp. 99–101.
Keynes, John Maynard (1952), A Treatise on Probability, London: Macmillan and Co.
Kyburg, Henry E. Jr. and Choh Man Teng (2001), Uncertain Inference, New York: Cambridge University Press.
Kyburg, Henry E. Jr. (1994), 'Believing on the basis of evidence', Computational Intelligence 10, pp. 3–20.
Kyburg, Henry E. Jr. (1997), 'Combinatorial semantics: the semantics of frequent validity', Computational Intelligence 13, pp. 215–257.
Morgan, Charles G. (1991), 'Logic, probability, and artificial intelligence', Computational Intelligence 7, pp. 94–109.
Morgan, Charles G. (1998), 'Non-monotonic logic is impossible', Canadian Artificial Intelligence Magazine 42, pp. 18–25.
Morgan, Charles G. (2000), 'The nature of nonmonotonic reasoning', Minds and Machines 10, pp. 321–360.
Nilsson, Nils (1986), 'Probabilistic logic', Artificial Intelligence 28, pp. 71–88.
Popper, Karl R. (1959), The Logic of Scientific Discovery, London: Hutchinson.
Reiter, Raymond and de Kleer, Johan (1987), 'Foundations of assumption-based truth maintenance systems', in AAAI-87, volume Los Altos, pp. 183–189. Morgan Kaufman.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kyburg, H.E. Real Logic is Nonmonotonic. Minds and Machines 11, 577–595 (2001). https://doi.org/10.1023/A:1011808015672
Issue Date:
DOI: https://doi.org/10.1023/A:1011808015672