On the Mechanization of Abductive Logic

ON THE MECHANIZATION OF ABDUCTIVE LOGIC Harry E. Pople, Jr. Graduate School of Business University of Pittsburgh Pittsburgh, Pennsylvania 15260 Session 6 Logic: II Theorem Proving and Abstract Abduction Is a basic form of logical inference, which is said to engender the use of plans, perceptual models, intuitions, and analogical reasoning - all aspects of Intelligent behavior that have so far failed to find representation in existing formal deductive systems. This paper explores the abductive reasoning process and develops a model for its mechanization, .which An application of the method to the problem of medical diagnosis is discussed. Introduction There has been growing criticism lately concerning the methodology of artificial intelligence. While differing in the specifics of their analyses of the problem, most thoughtful observers seem to feel that the current stock of deductive machinery is simply not up to the task at hand.