Hostname: page-component-848d4c4894-p2v8j Total loading time: 0.001 Render date: 2024-05-18T09:34:58.149Z Has data issue: false hasContentIssue false

Abduction by Classification and Assembly

Published online by Cambridge University Press:  31 January 2023

John R. Josephson
Affiliation:
The Ohio State University
B. Chandrasekaran
Affiliation:
The Ohio State University
Jack W. Smith Jr.
Affiliation:
The Ohio State University
Michael C. Tanner
Affiliation:
The Ohio State University

Extract

We describe a general problem solving mechanism that is especially suited for performing a particular form of abductive inference, or best-explanation finding. A problem solver embodying this mechanism synthesizes composite hypotheses. It does so by by combining hypothesis parts as a means to the satisfaction of explanatory goals. In this way it is able to arrive at complex, integrated conclusions which are not pre-stored.

The intent is to present a computationally-feasible, task-specific problem solver for a particular information processing task which is nevertheless of very great generality. The task is that of synthesizing coherent composite explanatory hypotheses based upon a prestored, and possibly vast collection of hypothesis-generating “concepts”. The authors’ claim is nothing less than to have shown, in a new sense, and surpassing all other work in this area, how it is computationally possible for an agent to come to “know”, based upon the evidence of the case.

Type
Part VII. Probability And Causality
Copyright
Copyright © Philosophy of Science Association 1986

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.)

Footnotes

1

This work has been supported in various stages by NSF Grant MCS-8305032, and NIH Grant R01 LM 04298 from the National Library of Medicine. Dr. Jack W. Smith, Jr. is supported by NLM Career Development Award K04 LM00083.

Praise is due Tom Bylander for showing that the task of producing a consistent composite is NP complete. Thanks are also due to Tom Bylander for his helpful comments on a previous draft, to Bill Punch and Dean Allemang for their discussions and encouragement of the approach to abduction, and to Jon Sticklen for arguing until things were better justified. Also thanks to the members of the recent graduate seminar at Ohio State on diagnostic reasoning for their helpful comments, and to two anonymous reviewers of an earlier draft, who, by their failure to understand what was being presented, pointed the way to an improved explication.

References

Allemang, D. , Tanner, M Bylander, T and Josephson, J (1986). On the Computational Complexity of Hypothesis Assembly. Technical Report, Laboratory for Artificial Intelligence Research, Department of Computer and Information Science, The Ohio State University, The Ohio State University, LAIR, CIS Dept., CAE Bldg., Columbus, Ohio, 43210-1277, 1986. Submitted for publication.Google Scholar
Chandrasekaran, B. and Mittal, S.; (1979). “An Approach to Medical Diagnosis Based on Conceptual Structures.” In Proceedings of the Sixth International Joint Conference on Artificial Intelligence - Tokyo 1979. Pages 134142.Google Scholar
Chandrasekaran, B.; Gomez, F. Mittal, S. and Smith, J.W., (1983). “Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems.” In Advances in Computers. Edited by M. Yovits. New York: Academic Press. Pages 217-293.Google Scholar
Charniak, Eugen and McDermott, Drew. (1985). Introduction to Artificial Intelligence. Reading, MA: Addison Wesley.Google Scholar
Ennis, R. (1968). “Enumerative Induction and Best Explanation.” The Journal of Philosophy LXV: 523529.CrossRefGoogle Scholar
Harman, Gilbert. (1965). “The Inference to the Best Explanation.” The Philosophical Review LXXIV: 8895CrossRefGoogle Scholar
Josephson, John R. (1982). Explanation and Induction. Unpublished Ph.D. Dissertation, The Ohio State University. Xerox University Microfilms Publication Number DE082-22107.Google Scholar
Josephson, John R.; Chandrasekaran, B. and Smith, J.W (1984). “Assembling the Best Explanation.” In Proceedings of the IEEE Workshop on Principles of Knowledge—Based Systems. IEEE Computer Society, Denver, Colorado, December 3-4, 1984. Pages 185190. (A revised version by the same title is now available as a technical report.)Google Scholar
Josephson, John R. Tanner, Michael C ; Smith, Jack W. Svirbely, John R and Straum, Pat. (1985). “Red: Integrating Generic Tasks to Identify Red-Cell Antibodies.” In Proceedings of the Expert Systems in Government Symposium. Edited by Kamal Karna. Washington, DC: IEEE Computer Society Press. Pages 524531.Google Scholar
Lycan, William G. (1985). “Epistemic Value.” Synthese 64: 137164.CrossRefGoogle Scholar
Newell, A. and Simon, H.A (1963). “GPS, A Program That Simulates Human Thought.” In Computers and Thought. New York: McGraw-Hill. Pages 279293.Google Scholar
Peirce, C.S. (1955). “Abduction and Induction.” In Philosophical Writings of Peirce. New York: Dover. Pages 150156.Google Scholar
Pople, H. (1973). “On the Mechanization of Abductive Logic.” In Proceedings of the Third International Joint Conference on Artificial Intelligence - Stanford 1973. Pages 147152.Google Scholar
Pople, H. (1977). “The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning.” In Proceedings of the Fifth International Joint Conference on Artificial Intelligence - Cambridge, MA 1977. Pages 10301037.Google Scholar
Reggia, J. (1985). “Abductive Inference.” In Proceedings of the Expert Systems in Government Symposium. Edited by Kamal Karna. Washington, DC: IEEE Computer Society Press. Pages 484489.Google ScholarPubMed
Sebeok, Thomas A. and Umiker-Sebeok, Jean. (1983). You Know Mv Method. A Juxtaposition of Charles S. Peirce and Sherlock Holmes. Bloomington, Indiana: Indiana University Press.Google Scholar
Smith, Jack W. Svirbely, John R Evans, Charles A. Strohm, Pat Josephson, John R. and Tanner, Mike. (1985). “Red: A Red-Cell Antibody Identification Expert Module.” The Journal of Medical Systems Q(3): 121138.CrossRefGoogle Scholar
Smith, Jack W. Josephson, J ; Tanner, M. Svirbely, J ; Strohm, P. (1986). “Problem Solving in Red Cell Antibody Identification: Red’s Performance on 20 Cases.” Technical Report, Laboratory for Artificial Intelligence Research, Department of Computer and Information Science, The Ohio State University, The Ohio State University, LAIR, CIS Dept., CAE Bldg., Columbus, Ohio, 43210- 1277, 1986. Submitted for publication.Google Scholar
Truzzi, Marcello. (1983). “Sherlock Holmes: Applied Social Psychologist.” In The Sign of Three: Dupin, Holmes, Pierce. Edited by T.A. Sebeok and E. Umberto. Bloomington, Indiana: Indiana University Press. Chapter Two.Google Scholar