Real Logic is Nonmonotonic
- Henry E. Kyburg Jr.
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- 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.
- Real Logic is Nonmonotonic
Minds and Machines
Volume 11, Issue 4 , pp 577-595
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Author Affiliations
- 1. Department of Philosophy, University of Rochester and The Institute for Human and Machine Intelligence, USA