This book ties together the concerns of philosophers of science and AI researchers, showing for example the connections between scientific thinking and medical expert systems. It lays out a useful general framework for discussion of a variety of kinds of abduction. It develops important ideas about aspects of abductive reasoning that have been relatively neglected in cognitive science, including the use of visual and temporal representations and the role of abduction in the withdrawal of hypotheses.