Abstract
This paper discusses abductive reasoning—that is, reasoning in which explanatory hypotheses are formed and evaluated. First, it criticizes two recent formal logical models of abduction. An adequate formalization would have to take into account the following aspects of abduction: explanation is not deduction; hypotheses are layered; abduction is sometimes creative; hypotheses may be revolutionary; completeness is elusive; simplicity is complex; and abductive reasoning may be visual and non-sentential. Second, in order to illustrate visual aspects of hypothesis formation, the paper describes recent work on visual inference in archaeology. Third, in connection with the evaluation of explanatory hypotheses, the paper describes recent results on the computation of coherence.
We are grateful to John Josephson and Don Roberts for comments on an earlier draft. Thanks to John Ching and Andrew Wong for ideas about graphical representations. This research was supported by the Natural Sciences and Engineering Research Council of Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Ardrey. African genesis: A personal investigation into the animal origins and nature of man. Atheneum, New York, N.Y., 1961.
C. K. Brain. New finds at the Swartkrans australopithecine site. Nature, 225:1112–9, 1970.
C. K. Brain. The hunters or the hunted? An introduction to African cave taphonomy. The University of Chicago Press, Chicago, Ill., 1981.
T. Bylander, D. Allemang, M. C. Tanner, and J. R. Josephson. The computational complexity of abduction. Artificial Intelligence, 49:25–60, 1991.
J. Y. Ching. Computational imagery: An alternative framework. Ph.D. thesis proposal, Pattern Analysis and Machine Intelligence Lab, University of Waterloo, Waterloo, On., May 1994.
R. A. Dart. The predatory transition from ape to man. International Anthropological Linguistic Review, 1(4)201–18, 1953.
H. Ehrig, H. J. Kreowski, and G. Rozenberg, editors. Graph-grammars and their application to computer science: 4th international workshop, number 532 in Lecture notes in computer science, Berlin, Germany, March 1990. European Association for theoretical computer science, Springer Verlag.
J. I. Glasgow. The imagery debate revisited: A computational perspective. Computational Intelligence, 9:309–33, 1993.
J. I. Glasgow and D. Papadias. Computational imagery. Cognitive Science, 17(3):355–394, 1992.
T. A. Goudge. The thought of C. S. Peirce. University of Toronto Press, Toronto, On., Canada, 1950.
C. Hartshorne and P. Weiss, editors. Collected papers of Charles Sanders Peirce. Harvard University Press, Cambridge, Mass., U.S.A., 1958. Volumes 7–8 edited by A. Burks.
C. G. Hempel. Aspects of scientific explanation. The Free Press, New York, N.Y., 1965.
J. R. Hobbs, M. Stickel, D. Appelt, and P. Martin. Interpretation as abduction. Technical Note 499, AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, December 1990.
C. V. Jones. An integrated modeling environment base on attributed graphs and graph-grammars. Decision Support Systems: The international journal, 9(10):255–75, Oct 1993.
P. Kitcher and W. Salmon. Scientific explanation. University of Minnesota Press, Minneapolis, M.N., 1989.
K. Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 52:255–72, 1991.
M. Leyton. Inferring causal history from shape. Cognitive Science, 13:357–87, 1989.
D. V. McDermott. A critique of pure reason. Computational Intelligence, 3:151–60, 1987.
M. Nagl. Formal languages of labelled graphs. Computing, 16:113–37, 1976.
J. Pearl. Probabilistic reasoning in intelligent systems. Morgan Kaufman, San Mateo, CA, 1988.
Y. Peng and J. Reggia. Abductive inference models for diagnostic problem solving. Springer Verlag, New York, N.Y., 1990.
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.
D. D. Roberts. The existential graphs of Charles S. Peirce. Mouton, The Hague, 1973.
C. Shelley. Visual abductive reasoning in archaeology. Philosophy of Science, in press, 1996.
P. Thagard. Computational philosophy of science. MIT Press, Cambridge, Mass., 1988.
P. Thagard. Explanatory coherence. Behavioral and Brain Sciences, 12:435–67, 1989.
P. Thagard. Philosophical and computational models of explanation. Philosophical Studies, 64:87–104, 1991.
P. Thagard. Conceptual revolutions. Princeton University Press, Princeton, N.J., 1992.
P. Thagard and K. Verbeurgt. Coherence. Under review.
A. Wong, S. Lu, and M. Rioux. Recognition and shape synthesis of 3-D objects based on attributed hypergraphs. IEEE Transactions on Pattern Analysis and Machine Intelligence, 11(3):279–90, Jun 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Thagard, P., Shelley, C. (1997). Abductive Reasoning: Logic, Visual Thinking, and Coherence. In: Dalla Chiara, M.L., Doets, K., Mundici, D., van Benthem, J. (eds) Logic and Scientific Methods. Synthese Library, vol 259. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0487-8_22
Download citation
DOI: https://doi.org/10.1007/978-94-017-0487-8_22
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4786-1
Online ISBN: 978-94-017-0487-8
eBook Packages: Springer Book Archive