• 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.

Approaches to abductive reasoning: an overview

  • G. Paul
  • Philosophy
    Artificial Intelligence Review
  • 2004
TLDR
The underlying reasoning process is treated independently and divided into two parts, which includes a description of methods for hypotheses generation and methods for finding the best explanations among a set of possible ones.

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

Intuitive minimal abduction in sequent calculi

TLDR
Starting from revising the meaning of “good” abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced, an abductive formula equivalent to the minimal abductionive formula under the theory part of a sequent and literally as simple as possible.
...

References

SHOWING 1-10 OF 22 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