Abduction was first introduced in the epistemological context of scientific discovery. It was more recently analyzed in artificial intelligence, especially with respect to diagnosis analysis or ordinary reasoning. These two fields share a common view of abduction as a general process of hypotheses formation. More precisely, abduction is conceived as a kind of reverse explanation where a hypothesis H can be abduced from events E if H is a good explanation of E. The paper surveys four known (...) schemes for abduction that can be used in both fields. Its first contribution is a taxonomy of these schemes according to a common semantic framework based on belief revision. Its second contribution is to produce, for each non-trivial scheme, a representation theorem linking its semantic framework to a set of postulates. Its third contribution is to present semantic and axiomatic arguments in favor of one of these schemes, ordered abduction, which has never been vindicated in the literature. (shrink)

One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a logic of abduction should concern itself with. We are mindful of criticisms that have been levelled against the very idea of a logic of abduction; so we think it prudent to proceed with a certain diffidence. That our own account of abduction (...) is itself abductive is methodological expression of this diffidence. A second objective is to test our conception of abduction's logical structure against some of the more promising going accounts of abductive reasoning. We offer our various suggestions in a benignly advisory way. The primary targets of our advice is ourselves, meant as guides to work we have yet to complete or, in some instances, start. It is possible that our colleagues in the abduction research communities will find our counsel to be of some interest. But we repeat that our first concern is to try to get ourselves straight about what a logic of abduction should encompass. (shrink)

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, (...) and report shortly our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

Reflections on Peirce’s theory of abduction have not been free of controversy, given the difficulty to determine clearly the nature and epistemic function of this inference. The article examines three ways of understanding the concept of abduction, developed by Peirce himself throughout his work. The main objective is to reconstruct the logical, methodological, and instinctive conception of this type of reasoning in order to establish the possibility of a theory of abduction.

Reflections on Peirce’s theory of abduction have not been free of controversy, given the difficulty to determine clearly the nature and epistemic function of this inference. The article examines three ways of understanding the concept of abduction, developed by Peirce himself throughout his work. The main objective is to reconstruct the logical, methodological, and instinctive conception of this type of reasoning in order to establish the possibility of a theory of abduction.

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

An agent-centered, goal-directed, resource-bound logic of human reasoning would do well to note that individual cognitive agency is typified by the comparative scantness of available cognitive resources—information, time, and computational capacity, to name just three. This motivates individual agents to set their cognitive agendas proportionately, that is, in ways that carry some prospect of success with the resources on which they are able to draw. It also puts a premium on cognitive strategies which make economical use of those resources. (...) These latter I callscant-resource adjustment strategies,and they supply the context for an analysis of abduction. The analysis is Peircian in tone, especially in the emphasis it places on abduction’signorance-preservingcharacter. My principal purpose here is to tie abduction’s scarce-resource adjustment capacity to its ignorance preservation. (shrink)

Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.

This paper discusses abductive reasoning---that is, reasoning in which explanatory hypotheses are formed and evaluated. First, it criticizes two recent formal logical models of abduction. An adequate formalization would have to take into account the following aspects of abduction: explanation is not deduction; hypotheses are layered; abduction is sometimes creative; hypotheses may be revolutionary; completeness is elusive; simplicity is complex; and abductive reasoning may be visual and non-sentential. Second, in order to illustrate visual aspects of hypothesis formation, (...) the paper describes recent work on visual inference in archaeology. Third, in connection with the evaluation of explanatory hypotheses, the paper describes recent results on the computation of coherence. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings (...) in the field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

Despite their growing separation over the years, logic and philosophy of science should still be allies pursuing an agenda of rational agency ranging from specific mechanisms like abduction to the broader study of reasoning, belief revision, learning, and intelligent interaction.

Despite their growing separation over the years, logic and philosophy of science should still be allies pursuing an agenda of rational agency ranging from specific mechanisms like abduction to the broader study of reasoning, belief revision, learning, and intelligent interaction.

Generating new ideas—innovation and novelty—is central to what those of us practicing science hope to accomplish. We call it research, but what we really aim for is new-search—learning new things about the world and how it works. Charles Peirce gave the name “abduction” to what he described as the only logical operation that introduces any new idea. In this paper, I will focus on an unconventional understanding of abduction, one that goes beyond its usual meaning and concerns the (...) situation when a surprising observation becomes reconfigured as an unintended experiment about a new research problem that previously was not being studied and possibly was unknown. For science, the consequences can be the beginning of a new field of investigation. For the researcher, the consequences can be life-changing. (shrink)

In her book Abductive Reasoning Atocha Aliseda stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole cognitive/philosophical view on it and on other more restricted logical approaches. I will describe the importance of increasing logical knowledge on abduction also taking advantage of some ideas coming from the so-called distributed cognition where logical models are seen as forms of cognitive externalizations of preexistent in-formal human (...) reasoning performances. (shrink)

There are various ``classical'' arguments against abduction as a logic of discovery,especially that (1) abduction is too weak a mode of inference to be of any use, and (2) in basic formulation of abduction the hypothesisis already presupposed to be known, so it is not the way hypotheses are discovered in the first place. In this paper I argue, by bringing forth the idea of strategies,that these counter-arguments are weaker than may appear. The concept of strategies (...) suggests, inter alia, that many inferential moves are taken into account at the same time. This is especially important in abductive reasoning, which is basically a very weak mode of inference. The importance of strategic thinking can already be seen in Charles S.Peirce's early treatments of the topic, and N.R.Hanson's later writings on abduction although they did not use the concept of``strategies.'' On the whole, I am arguing that the focus should be more on methodological processes, and not only on validity considerations, which have dominated the discussion about abduction. (shrink)

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It presents (...) new ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

We propose a logic of abduction that (i) provides an appropriate formalization of the explanatory conditional, and that (ii) captures the defeasible nature of abductive inference. For (i), we argue that explanatory conditionals are non-classical, and rely on Brian Chellas’s work on conditional logics for providing an alternative formalization of the explanatory conditional. For (ii), we make use of the adaptive logics framework for modeling defeasible reasoning. We show how our proposal allows for a more natural reading of (...) explanatory relations, and how it overcomes problems faced by other systems in the literature. (shrink)

The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency \. As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas. We integrated the generation of and the evaluation of hypotheses via constraints of consistency and significance being imposed on the system rules.

“What is abduction?” asks Jaakko Hintikka in the title to his 1998 article on C. S. Peirce’s concept. The answer to Hintikka’s question is problematic on several counts. There is, to begin with, a difference between Peirce’s own views on abduction and later interpretations of abduction as “inference to the best explanation” (Minnameier 2004; Paavola 2006). There are, furthermore, tensions within Peirce’s own account of abduction, for instance, a tension between “inferential” and “instinctual” aspects of (...) class='Hi'>abduction (Fann 1970; Anderson 1986; Kapitan 1990; Paavola 2005; Paavola and Hakkarainen 2005). These tensions are exacerbated by two factors. First, there are several terminological variants of the word.. (shrink)

In _Abductive Analysis_, Iddo Tavory and Stefan Timmermans provide a new navigational map for constructing empirically based generalizations in qualitative research. They outline an accessible way to think about observations, methods, and theories that nurtures theory-formation without locking it into predefined conceptual boxes. The authors view research as continually moving back and forth between a set of observations and theoretical generalizations. To craft theory is to then pitch one’s observations in relation to other potential cases, both within and without one’s (...) field. The book provides novel ways to approach the challenges that plague qualitative researchers across the social sciences—how to think about the relation between methods and theories, how to conceptualize causality, how to construct axes of variation, and how to leverage the researcher’s community of inquiry. _Abductive Analysis_ is a landmark work that shows how a pragmatist approach provides a more productive and fruitful way to conduct qualitative research. (shrink)

A fundamental question for philosophy of science asks, How is knowledge of the world created? A pragmatist approach is constructed to show how discovery and justification are tightly related during the creation of scientific knowledge. Procedural abduction, at the scientific level of Strict Abduction and higher, integrates the learnable and the logical quite thoroughly. Discovery and justification are functionally fused together within the organized process of procedural abduction by scientific communities. Four questions posed at the start are (...) answered by this pragmatist philosophy of science as follows. Is scientific creativity methodologically related to scientific justification? Answer: scientific creativity is integral to abductive procedures yielding scientific justification. Can a distinction between genuine science and pseudo-science be clearly defined? Answer: genuine science is distinguished by the application of procedural abduction at the level of Strict Abduction or higher. Does scientific knowledge achieve the legitimacy of scientific realism? Answer: procedural abduction legitimates the credibility of highly-confirmed hypotheses and hence justifies scientific realism. How are scientific communities responsible for establishing scientific knowledge? Answer: scientific communities using procedural abduction realize scientific knowledge. (shrink)

This book gathers together novel essays on the state-of-the-art research into the logic and practice of abduction. In many ways, abduction has become established and essential to several fields, such as logic, cognitive science, artificial intelligence, philosophy of science, and methodology. In recent years this interest in abduction’s many aspects and functions has accelerated. There are evidently several different interpretations and uses for abduction. Many fundamental questions on abduction remain open. How is (...) class='Hi'>abduction manifested in human cognition and intelligence? What kinds or types of abduction can be discerned? What is the role for abduction in inquiry and mathematical discovery? The chapters aim at providing answer to these and other current questions. Their contributors have been at the forefront of discussions on abduction, and offer here their updated approaches to the issues that they consider central to abduction’s contemporary relevance. The book is an essential reading for any scholar or professional keeping up with disciplines impacted by the study of abductive reasoning, and its novel development and applications in various fields. (shrink)

CS Peirce introduced the concept of abduction into our epistemic lexicon. It is a view of problem solving that emphasizes ecological contexts, preparatory or predictive predilection knotted to learning and inquiry. Abduction is essentially tied more broadly to pragmatism. One view of the brain reflects the fact that predictive predilections knotted to abduction or hypothesis testing dominates the landscape of diverse forms of problem solving. Abduction is biologically constrained and contextual, not a monolithic term and runs (...) the range of neural capability. (shrink)

This book examines three areas in which abductive reasoning is especially important: medicine, science, and law. The reader is introduced to abduction and shown how it has evolved historically into the framework of conventional wisdom in logic. Discussions draw upon recent techniques used in artificial intelligence, particularly in the areas of multi-agent systems and plan recognition, to develop a dialogue model of explanation. Cases of causal explanations in law are analyzed using abductive reasoning, and all the components are (...) finally brought together to build a new account of abductive reasoning. By clarifying the notion of abduction as a common and significant type of reasoning in everyday argumentation, _Abductive Reasoning_ will be useful to scholars and students in many fields, including argumentation, computing and artificial intelligence, psychology and cognitive science, law, philosophy, linguistics, and speech communication and rhetoric. (shrink)

This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint . Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their (...) disjunction. (shrink)

A defense of the rationality of adductive inference from the criticisms of Bayesian theorists.

Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This paper considers how awareness can be enhanced via abductive knowledge discovery the goal of which is to produce suggestions which can span disparate islands of knowledge. Knowledge representation is motivated from a cognitive perspective. Words and concepts are represented as vectors in a high dimensional semantic space automatically derived from a text corpus. Information flow computation between vectors (...) is proposed as a means of suggesting potentially interesting implicit associations between concepts. Information flow is applied to computational scientific discovery by attempting to simulate Swanson's Raynaud-fish oil discovery in medical texts. Both automatic and semi-automatic attempts were studied and compared against suggestions computed via semantic association. Even though this work is preliminary and speculative in nature, there is some justification to believe that appropriate suggestions can be “abduced” from semantic space. (shrink)

Theoretical and manipulative abduction conjectures and manipulations : the extra-theoretical dimension of scientific discovery. -- Non-explanatory and instrumental abduction : plausibility, implausibility, ignorance preservation. -- Semiotic brains and artificial minds : how brains make up material cognitive systems. -- Neuromultimodal abduction : pre-wired brains, embidiment, neurospaces. -- Animal abduction : from mindless organisms to srtifactual mediators. -- Abduction, affordances, and cognitive niches : sharing representations and creating chances through cognitive niche construction. -- Abduction in (...) human and logical agents : hasty generalizers, hybrid abducers, fallacies. -- Morphodynamical abduction : causation of hypotheses by attractors dynamics. (shrink)

In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole cognitive/philosophical view on it and on other more restricted logical approaches. I will provide further insight on two aspects. The first is re-lated to the importance of increasing logical knowledge on abduction: Aliseda clearly shows how the logical study on abduction in turn helps us to (...) extend and modernize the classical and received idea of logic. The second refers to some ideas coming from the so-called distributed cognition and concerns the role of logical models as forms of cognitive exter-nalizations of preexistent in-formal human reasoning performances. The logical externalization in objective systems, communicable and sharable, is able to grant stable perspectives endowed with symbolic, abstract, and rigorous cogni-tive features. I will also emphasize that Aliseda especially stresses that this character of stability and objectivity of logical achievements are not usually present in models of abduction that are merely cognitive and epistemological, and of ex-treme importance from the computational point of view. (shrink)

In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole cognitive/philosophical view on it and on other more restricted logical approaches. I will provide further insight on two aspects. The first is re-lated to the importance of increasing logical knowledge on abduction: Aliseda clearly shows how the logical study on abduction in turn helps us to (...) extend and modernize the classical and received idea of logic. The second refers to some ideas coming from the so-called distributed cognition and concerns the role of logical models as forms of cognitive exter-nalizations of preexistent in-formal human reasoning performances. The logical externalization in objective systems, communicable and sharable, is able to grant stable perspectives endowed with symbolic, abstract, and rigorous cogni-tive features. I will also emphasize that Aliseda especially stresses that this character of stability and objectivity of logical achievements are not usually present in models of abduction that are merely cognitive and epistemological, and of ex-treme importance from the computational point of view. (shrink)

How does a Muslim jurist think the law and how, accordingly, he judges a fact? Using Alice in Wonderland as hermeneutical device to explore the logic of fiqh, this article identifies a divergence between Western and Islamic legal thinking in the application of abduction as key form of inference in the law of Islam. In particular, looking at the fact/law relation in symbolic terms, the article highlights how, while a dichotomy between fact and law characterizes Western legal thinking, (...) fiqh upholds a connection between the “real” and the “right”, where the effort in understanding sharī‘ah postulates the actualization of the “rule” in God’s creation. Thus, if sharī‘ahpre-scribes the Law, not only is the rule discovered through the sources, but the right has to be justified through a verdict de-scribing the fact, for the law to be validly stated for the given situation. In this sense, abduction as explanatory “hypothesis” and “inference to the best explanation” of sharī‘ah provides an account for the probabilistic nature of fiqh, its ramification through verdicts, as well as for the epistemic and narrative function of the tradition as core aspects of the logic of Islamic law. At the same time, doubts can be raised about the compatibility between this logic and the deductive logic of modern state law, as a sub-product of Western legal thinking. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. (...) The author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested (...) in benefiting from developments made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our 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. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2017 Heft: 215 Seiten: 255-268.

This monograph attempts to clarify one significant but much neglected aspect of Peirce's contribution to the philosophy of science. It was written in 1963 as my M. A. thesis at the Uni versity of Illinois. Since the topic is still neglected it is hoped that its pUblication will be of use to Peirce scholars. I should like to acknowledge my indebtedness to Dr. Max Fisch who broached this topic to me and who advised me con tinuously through its development, assisting (...) generously with his own insights and unpublished Peirce manuscripts. TABLE OF CONTENTS INTRODUCTION 1. A Current Issue in the Philosophy of Science 1 2. Peirce and His Theory of Abduction 5 3. The General Character of Abduction 7 PART I: THE EARLY THEORY 1. Peirce's Earliest Conception of Inference 11 2. Three Kinds of Inference and Three Figures of Syllogism 13 3. Ampliative Inference and Cognition 17 4. Induction and Hypothesis 20 5. The Method of Methods 23 PART II: THE LATER THEORY 1. The Transitional Period 28 2. Three Stages of Inquiry 31 3. Abduction and Guessing Instinct 35 4. Logic as a Normative Science 38 5. Hypothesis Construction and Selection 41 6. Abduction and Pragmatism 44 7. Economy of Research 47 8. Justification of Abduction 51 CONCLUSION 55 61 BIBLIOGRAPHY INTRODUCTION 1. (shrink)