Skip to main content Accessibility help
×
Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-26T02:31:09.514Z Has data issue: false hasContentIssue false

10 - Isaac Levi on Abduction

Published online by Cambridge University Press:  05 March 2010

Erik J. Olsson
Affiliation:
Lunds Universitet, Sweden
Maurice Pagnucco
Affiliation:
School of Computer Science and Engineering the University of New South Wales
Get access

Summary

Progress is impossible without change; and those who cannot change their minds cannot change anything.

George Bernard Shaw

The purpose of this chapter is to survey Isaac Levi's conception of abduction and to contrast it with other work on abduction to be found in the literature. In particular, I concentrate on developments in abductive logics within the area of artificial intelligence where the main concern is to implement an abductive form of inference. I contrast the views to be found there with Levi's conception of abduction. In large part, I show that Levi's notion of abduction is quite distinct to what is found in the artificial intelligence literature.

Deduction, induction, and abduction have variously been viewed as essential elements in the stages of scientific inquiry. Isaac Levi's work has gone a long way toward clarifying these notions and identifying their roles in a reasoner's process of inquiry. In brief, abduction is used to identify potential answers to an inquiry; induction selects the most desirable of these given the reasoner's requirements; and deduction determines the consequences of this selection. I seek to examine abduction's role in further detail by looking at Levi's notion of this process and contrasting it against other views. While I have less to say about induction and deduction, I also touch on them as the three processes form a coherent whole in Levi's work.

I begin in the next section with a brief overview of Peirce's theory of abduction.

Type
Chapter
Information
Knowledge and Inquiry
Essays on the Pragmatism of Isaac Levi
, pp. 143 - 156
Publisher: Cambridge University Press
Print publication year: 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Alchourrón, Carlos E., Gärdenfors, Peter, and Makinson, David. 1985. “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.” Journal of Symbolic Logic 50: 510–30CrossRefGoogle Scholar
Allemang, Dean, Tanner, Michael, Bylander, Thomas, and Josephson, John. 1987. “Computational Complexity of Hypothesis Assembly.” In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 1112–17. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Boutilier, Craig, and Becher, Veronica. 1995. “Abduction as Belief Revision.” Artificial Intelligence 77, no. 1: 43–94CrossRefGoogle Scholar
Charniak, Eugene, and McDermott, Drew. 1985. Introduction to Artificial Intelligence. Reading, Mass.: Addison-WesleyGoogle Scholar
Darwiche, Adnan, and Pearl, Judea. 1997. “On the Logic of Iterated Belief Revision.” Artificial Intelligence 89: 1–29CrossRefGoogle Scholar
Fann, K. T. 1970. Peirce's Theory of Abduction. The Hague: Martinus NijhoffCrossRefGoogle Scholar
Gärdenfors, Peter. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, Mass.: MIT Press and Bradford BooksGoogle Scholar
Gärdenfors, Peter. 1990. “The Dynamics of Belief Systems: Foundations vs. Coherence Theories.” Revue Internationale de Philosophie 44: 24–46Google Scholar
Gärdenfors, Peter, and Makinson, David. 1988. “Revisions of Knowledge Systems Using Epistemic Entrenchment.” In Proceedings of the Second Conference on Theoretical Aspect of Reasoning about Knowledge, pp. 83–96. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Genesereth, Michael R., and Nilsson, Nils J.. 1987. Logical Foundations of Artificial Intelligence. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Harman, Gilbert H. 1965. “Inference to the Best Explanation.” Philosophical Review 74: 88–95CrossRefGoogle Scholar
Kakas, Antonis C., Robert A. Kowalski, and Francesca Toni. 1995. “Abductive Logic Programming.” In Gabbay, Dov M. (ed.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5. Oxford: Oxford University PressGoogle Scholar
Levesque, Hector J. 1989. “A Knowledge-Level Account of Abduction.” In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pp. 1061–7. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Levi, Isaac. 1979. “Abduction and Demands for Information.” In Niiniluoto, I. and Tuomela, R. (eds.), The Logic and Epistemology of Scientific Change, pp. 405–29. North Holland: Acta Fennica Philosophica. Reprinted, with modifications, in Levi 1984Google Scholar
Levi, Isaac. 1980. The Enterprise of Knowledge. Cambridge, Mass.: MIT PressGoogle Scholar
Levi, Isaac. 1984. Decision and Revisions: Philosophical Essays on Knowledge and Value. Cambridge: Cambridge University PressCrossRefGoogle Scholar
Levi, Isaac. 1986. Hard Choices. Cambridge: Cambridge University PressCrossRefGoogle Scholar
Levi, Isaac. 1991. The Fixation of Belief and Its Undoing: Changing Beliefs through Inquiry. Cambridge: Cambridge University PressCrossRefGoogle Scholar
Levi, Isaac. 1996. For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning. Cambridge: Cambridge University PressCrossRefGoogle Scholar
Muggleton, Stephen. 1987. “Duce, an Oracle Based Approach to Constructive Induction.” In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 287–92. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Nayak, Abhaya C. 1994. “Iterated Belief Change Based on Epistemic Entrenchment.” Erkenntnis 41: 353–90CrossRefGoogle Scholar
Nayak, Abhaya C., Pagnucco, Maurice, and Peppas, Pavlos. 2003. “Dynamic Belief Revision Operators.” Artificial Intelligence 146, no. 2: 193–228CrossRefGoogle Scholar
Ng, Hwee Tou, and Mooney, Raymond J.. 1990. “On the Role of Coherence in Abductive Explanation.” In Proceedings of the Eighth National Conference in Artificial Intelligence, pp. 337–42. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Pagnucco, Maurice. 1996. “The Role of Abductive Reasoning within the Process of Belief Revision.” Ph.D. thesis, Basser Department of Computer Science, University of Sydney
Paul, Gabrielle. 1993. “Approaches to Abductive Reasoning: An Overview.” Artificial Intelligence Review 7: 109–52CrossRefGoogle Scholar
Peirce, Charles Sanders. 1931–58. Collected Papers, vols. 1–8, ed. Hartshorne, Charles, Weiss, Paul, and Burks, Arthur. Cambridge, Mass.: Harvard University PressGoogle Scholar
Peng, Yun, and Reggia, James A.. 1990. Abductive Inference Models for Diagnostic Problem-Solving. Berlin: Springer-VerlagCrossRefGoogle Scholar
Pople, Harry E. 1973. “On the Mechanisation of Abductive Logic.” In Proceedings of the Third International Joint Conference on Artificial Intelligence, pp. 147–52. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Ram, Ashwin, and Leake, David. 1991. “Evaluation of Explanatory Hypotheses.” In Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society, pp. 867–71. Hillsdale, N.J.: ErlbaumGoogle Scholar
Ramsey, Frank P. 1950. Foundations of Mathematics and Other Logical Essays, 2nd ed. London: Routledge and Kegan PaulGoogle Scholar
Reiter, Raymond, and Kleer, Johan. 1987. “Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report.” In Proceedings of the National Conference in Artificial Intelligence, pp. 183–8. Los Altos, Calif.: Morgan KaufmannGoogle Scholar
Robinson, J. A. 1965. “A Machine-Oriented Logic Based on the Resolution Principle.” Journal of the Association for Computing Machinery, 12: 23–41CrossRefGoogle Scholar
Stickel, Mark E. 1991. “A Prolog-like Inference System for Computing Minimal-Cost Abductive Explanations in Natural-Language Interpretation.” Annals of Mathematics and Artificial Intelligence 4: 89–106CrossRefGoogle Scholar
Thagard, Paul R. 1989. “Explanatory Coherence.” Behavioral and Brain Sciences 12: 435–502CrossRefGoogle Scholar

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Isaac Levi on Abduction
    • By Maurice Pagnucco, School of Computer Science and Engineering the University of New South Wales
  • Erik J. Olsson, Lunds Universitet, Sweden
  • Book: Knowledge and Inquiry
  • Online publication: 05 March 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511584312.012
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Isaac Levi on Abduction
    • By Maurice Pagnucco, School of Computer Science and Engineering the University of New South Wales
  • Erik J. Olsson, Lunds Universitet, Sweden
  • Book: Knowledge and Inquiry
  • Online publication: 05 March 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511584312.012
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Isaac Levi on Abduction
    • By Maurice Pagnucco, School of Computer Science and Engineering the University of New South Wales
  • Erik J. Olsson, Lunds Universitet, Sweden
  • Book: Knowledge and Inquiry
  • Online publication: 05 March 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511584312.012
Available formats
×