On the Mechanization of Abductive Logic
@inproceedings{Pople1973OnTM, title={On the Mechanization of Abductive Logic}, author={Harry E. Pople}, booktitle={IJCAI}, year={1973} }
Abduction Is a basic form of l og i ca l inference, which is said to engender the use of p lans, perceptua l models, i n t u i t i o n s , and analogical reasoning a l l aspects of I n t e l l i g e n t behavior that have so far f a i l e d to f i n d representat ion in ex is t ing formal deduct ive systems. This paper explores the abductive reasoning process and develops a model fo r i t s mechan iza t ion , .which consists of an embedding of deduct i v e log ic in an i t e r a t i v e…
334 Citations
On the Relationship between Abduction and Deduction
- PhilosophyJ. Log. Comput.
- 1991
A meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a logical consequence of the obser.
Automated Abduction in Scientific Discovery
- Computer ScienceModel-Based Reasoning in Science, Technology, and Medicine
- 2007
It is shown how techniques from Abductive Logic Programming offer superior reasoning capabilities needed in more advanced practical applications and backward-chaining logic programming methods are shown to outperform theorem proving approaches based on the use of contrapositive reasoning.
Logic-Based Abductive Inference
- Computer Science
- 1998
This paper surveys the work on abductive inference within the eld of artii-cial intelligence (AI), with particular attention to logic-based abduction and the connections between abduction and other types of nonmonotonic reasoning.
Rule-Based Abduction for Logic Programming
- Philosophy
- 1995
This thesis examines various researches on abduction so far developed, and shows that most of them can be placed in the classi cation of abduction and investigates the three types of abduction, which are called together rule-based abduction, for logic programming.
The role of abduction in logic programming
- Computer Science, Philosophy
- 1995
The general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning is outlined; the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure is described.
The complexity of logic-based abduction
- Computer ScienceJACM
- 1995
It is shown that with the most basic forms of abduction the relevant decision problems are complete for complexity classes at the second level of the polynomial hierarchy, while the use of prioritization raises the complexity to the third level in certain cases.
A classification of abduction: abduction for logic programming
- PhilosophyMachine Intelligence 14
- 1993
The most essential type of abduction is discussed in the authors' classi cation for logic programming and default logic, and Prolog programs for the abduction are described.
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
- Philosophy
- 1998
In this dissertation I study abduction, that is, reasoning from an observation to its possible explanations, from a logical point of view. This approach naturally leads to connections with theories…
References
SHOWING 1-10 OF 25 REFERENCES
A Machine-Oriented Logic Based on the Resolution Principle
- MathematicsJACM
- 1965
The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.
- Computer ScienceSGAR
- 1971
This book is not a survey on theorem proving programs, but the description of a program developed from 1960 to 1965, and includes three chapters that deal with resolution-based theorem-proving in the predicate calculus and its applications to problem solving.
A Unifying View of Some Linear Herbrand Procedures
- Mathematics, ChemistryJ. ACM
- 1972
A demonstration that versions of the linked conjunct, resolution, matrix reduction, and model elimination proof procedures can be highly related in their design.
Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence
- PhilosophyIJCAI
- 1971
An inferential processor for interacting with biomedical data using restricted natural language
- Computer ScienceAFIPS '72 (Spring)
- 1971
The design and implementation of a natural language system (hereafter referred to as ENGOLISH) which was developed to support and enrich the utilization of computer models of physiological systems by providing capabilities for interrogating data bases using a subset of English.
Embodiments of Mind
- Psychology
- 1965
Preface by Jerome Y. LettvinWarren S. McCulloch was an original thinker, in many respects far ahead of his time. "Of all our contemporaries in brain research McCulloch is the most personal,…
Review of "Representation and Meaning: Experiments with Information Processing Systems by Herbert A. Simon and Laurent Siklossy, eds." Prentice-Hall, inc., New Jersey, 1972
- BusinessSGAR
- 1974
The purpose of this research was to build an environment in which an author can create a visual communications vehicle (a film) which will convey his ideas and thoughts. The primary motivation for…
An information processing approach to theory formation in biomedical research
- Computer ScienceAFIPS '72 (Spring)
- 1971
The extensive literature on modeling of biological systems published in the past decade reflects the growing expectation that theories of biological functions can be subject to more exacting tests of…