• Corpus ID: 117927813

Abduction and induction: essays on their relation and integration

@inproceedings{Flach2000AbductionAI,
  title={Abduction and induction: essays on their relation and integration},
  author={Peter A. Flach and Antonis C. Kakas},
  year={2000}
}
Foreword. Preface. Contributing Authors. 1. Abductive and inductive reasoning: background and issues P.A. Flach, A.C. Kakas. Part I: The philosophy of abduction and induction. 2. Smart inductive generalizations are abductions J.R. Josephson. 3. Abduction as epistemic change: a Peircean model in Artificial Intelligence A. Aliseda. 4. Abduction: between conceptual richness and computational complexity S. Psillos. Part II: The logic of abduction and induction. 5. On relationships between induction… 

Abduction and Logic

This chapter outlines some examples of logical approaches to abductive reasoning, which leads to “adaptive logics” of discovery in the family of paraconsistent logics, Abductive Logic Programming, and to non-propositional model-based reasoning.

Abductive reasoning in neural-symbolic systems

The aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world.

On the Origin of Ideas: An Abductivist Approach to Discovery

The purpose of this study was to analyze and develop various forms of abduction as a means of conceptualizing processes of discovery. Abduction was originally presented by Charles S. Peirce

Ignorance and semantic tableaux: Aliseda on abduction

This is an examination of similarities and differences between two recent models of abductive reasoning. The one is developed in Atocha Aliseda's Abductive Reasoning: Logical Investigations into the

Advice on Abductive Logic

It’s not usual for citations or footnotes to be included in abstracts. One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a

On Abductive Equivalence

This work discusses how the two notions of abductive equivalence can be applied to extended abduction, where abducibles can not only be added to a program but also be removed from the program to explain an observation.

A Hybrid Abductive Inductive Proof Procedure

A proof procedure is proposed that utilises a set of user specified mode declarations to learn hypotheses that satisfy a given language bias to automate the learning of first order Horn clause theories from examples and background knowledge.

Nonmonotonic abductive inductive learning

  • O. Ray
  • Computer Science
    J. Appl. Log.
  • 2009

Truth-Seeking by Abduction

In a seminar with the title “Deduction and Induction in the Sciences”, it is intriguing to ask the following questions: (i) Is there a third type of inference besides deduction and induction? (ii)

The Logic of Abduction in the Light of Peirce's Pragmatism

The notion of abduction in the work of Charles Peirce is entangled in many aspects of his philosophy and is therefore not limited to the conception of abduction as a logical inference of its own. The
...

References

SHOWING 1-10 OF 155 REFERENCES

Abduction is not Deduction-in-Reverse

This work is a preliminary discussion on the logical nature of abductive reasoning, emphasizing the fundamental diierence between abductive and deductive inference.

The role of abduction in logic programming

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.

Abduction Compared with Negation by Failure

This paper shows how abduction can be integrated with logic programming, and concentrates on the use of abduction to generalise negation by failure.

Learning with Abduction

The paper presents the basic framework of ACL with its main characteristics and develops an algorithm for an intermediate version of ACL by suitably extending the top-down ILP method and integrating this with an abductive proof procedure for Abductive Logic Programming (ALP).

Abduction, experience, and goals: a model of everyday abductive explanation

The article identifies six central issues for abductive explanation, compares how these issues are addressed in traditional and case-based explanation models, and discusses benefits of the case- based approach for facilitating generation of plausible and useful explanations in domains that are complex and imperfectly understood.

ABDUCTION and EXPLANATION‐BASED LEARNING: CASE STUDIES IN DIVERSE DOMAINS

The paper discusses how to provide and represent the domain knowledge and meta‐knowledge needed for abduction and search control and concludes that abductive inference is important for learning.

Non-axiomatic reasoning system: exploring the essence of intelligence

This research sheds light on several notions in artificial intelligence and cognitive science, including symbol-grounding, induction, categorization, logic, and computation, which are absent from conventional computational models of reasoning.

Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation

Detailed empirical results on applying a general abductive system, Accel, to moderately complex problems in plan recognition and diagnosis indicate that general purpose abduction is an effective and effective mechanism for solving problems inPlan recognition anddiagnosis.
...