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.
- Burks, Arthur W. (1953), 'The presupposition theory of induction', Philosophy of Science 20, pp. 177-197.Google ScholarCross Ref
- Burks, Arthur W. (1954-55), 'On the presuppositions of induction', Review of Metaphysics 8, pp. 574-611.Google Scholar
- Burks, Arthur W. (1977), Chance, Cause, Reason, Chicago: University of Chicago Press.Google Scholar
- Carnap, Rudolf (1950), The Logical Foundations of Probabilty, 2nd edition, Chicago: University of Chicago Press.Google Scholar
- de Kleer, J. (1986), 'An assumption based ATMS', AI Journal 28, pp. 127-162. Google ScholarDigital Library
- Fagin, Ronald and Halpern, Joseph Y. (1988), 'Belief, awareness and limited reasoning', Artificial Intelligence 34, pp. 39-76. Google ScholarDigital Library
- Fetzer, James H. (1981), Scientific Knowledge, Dordrecht: Reidel.Google Scholar
- Fetzer, James H. (1993), Philosophy of Science, New York: Paragon House.Google Scholar
- Halpern, Joseph Y. (1993), 'Let many flowers bloom: A response to 'an inquiry into computer understanding', Computational Intelligence 9, pp. 184-188. Google ScholarDigital Library
- Harrah, David (1956), 'Theses on presuppositions', Review of Metaphysics 9, pp. 117-128.Google Scholar
- Harrah, David (1961), 'A logic of questions and answers', Philosophy of Science 28, pp. 40-46.Google ScholarCross Ref
- Israel, David (1980), 'What's wrong with nonmonotonic logic?' in Proceedings of the First Annual National Conference on Artificial Intelligence, pp. 99-101.Google Scholar
- Keynes, John Maynard (1952), A Treatise on Probability, London: Macmillan and Co.Google Scholar
- Kyburg, Henry E. Jr. and Choh Man Teng (2001), Uncertain Inference, New York: Cambridge University Press.Google Scholar
- Kyburg, Henry E. Jr. (1994), 'Believing on the basis of evidence', Computational Intelligence 10, pp. 3-20.Google Scholar
- Kyburg, Henry E. Jr. (1997), 'Combinatorial semantics: the semantics of frequent validity', Computational Intelligence 13, pp. 215-257.Google ScholarCross Ref
- Morgan, Charles G. (1991), 'Logic, probability, and artificial intelligence', Computational Intelligence 7, pp. 94-109. Google ScholarDigital Library
- Morgan, Charles G. (1998), 'Non-monotonic logic is impossible', Canadian Artificial Intelligence Magazine 42, pp. 18-25.Google Scholar
- Morgan, Charles G. (2000), 'The nature of nonmonotonic reasoning', Minds and Machines 10, pp. 321-360. Google ScholarDigital Library
- Nilsson, Nils (1986), 'Probabilistic logic', Artificial Intelligence 28, pp. 71-88. Google ScholarDigital Library
- Popper, Karl R. (1959), The Logic of Scientific Discovery, London: Hutchinson.Google Scholar
- 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.Google Scholar
Index Terms
- Real Logic is Nonmonotonic
Recommendations
Ground Nonmonotonic Modal Logic S5: New Results
We study logic programs under Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between T ...
Only-knowing meets nonmonotonic modal logic
KR'12: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and ReasoningOnly-knowing was originally introduced by Levesque to capture the beliefs of an agent in the sense that its knowledge base is all the agent knows. When a knowledge base contains defaults Levesque also showed an exact correspondence between only-knowing ...
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs with the stable semantics, which they called ‘classical’. Subsequently,...
Comments