• Corpus ID: 13114681

On the Mechanization of Abductive Logic

@inproceedings{Pople1973OnTM,
  title={On the Mechanization of Abductive Logic},
  author={Harry E. Pople},
  booktitle={IJCAI},
  year={1973}
}
  • H. E. Pople
  • Published in IJCAI 20 August 1973
  • Computer Science
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… 
On the Relationship between Abduction and Deduction
TLDR
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
  • O. Ray
  • Computer Science
    Model-Based Reasoning in Science, Technology, and Medicine
  • 2007
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
  • K. Hirata
  • Philosophy
    Machine Intelligence 14
  • 1993
TLDR
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
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
What makes propositional abduction tractable
Generating Tests Using Abduction
...
...

References

SHOWING 1-10 OF 25 REFERENCES
A Machine-Oriented Logic Based on the Resolution Principle
TLDR
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.
TLDR
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
TLDR
A demonstration that versions of the linked conjunct, resolution, matrix reduction, and model elimination proof procedures can be highly related in their design.
THEOREM-PROVING IN COMPUTERS
An inferential processor for interacting with biomedical data using restricted natural language
TLDR
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.
Hypothesis Generation by Machine
Embodiments of Mind
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
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
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
...
...