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…
No Paper Link Available
200 Citations
Abduction and Logic
- Philosophy
- 2018
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
- Computer Science
- 2007
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
- Philosophy
- 2012
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
- Law
- 2007
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
- PhilosophyLog. J. IGPL
- 2006
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
- Computer Science
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
- Computer ScienceLog. J. IGPL
- 2004
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.
Truth-Seeking by Abduction
- Philosophy
- 2018
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
- Philosophy
- 2005
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
- Philosophy, Computer ScienceLog. J. IGPL
- 1996
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
- 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.
Abduction Compared with Negation by Failure
- Computer ScienceICLP
- 1989
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
- Computer ScienceILP
- 1997
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
- BusinessJ. Exp. Theor. Artif. Intell.
- 1995
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.
Abducing through negation as failure: stable models within the independent choice logic
- Computer ScienceJ. Log. Program.
- 2000
ABDUCTION and EXPLANATION‐BASED LEARNING: CASE STUDIES IN DIVERSE DOMAINS
- Computer ScienceComput. Intell.
- 1994
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
- Computer Science
- 1996
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
- Computer ScienceKR
- 1992
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.