Abductive reasoning


Abductive reasoning is a form of logical inference formulated and advanced by American philosopher Charles Sanders Peirce beginning in the last third of the 19th century. It starts with an observation or set of observations and then seeks to find the simplest and most likely conclusion from the observations. This process, unlike deductive reasoning, yields a plausible conclusion but does not positively verify it. Abductive conclusions are thus qualified as having a remnant of uncertainty or doubt, which is expressed in retreat terms such as "best available" or "most likely". One can understand abductive reasoning as inference to the best explanation, although not all usages of the terms abduction and inference to the best explanation are exactly equivalent.
In the 1990s, as computing power grew, the fields of law, computer science, and artificial intelligence research spurred renewed interest in the subject of abduction.
Diagnostic expert systems frequently employ abduction.

Deduction, induction, and abduction

Deduction

Deductive reasoning allows deriving from only where is a formal logical consequence of. In other words, deduction derives the consequences of the assumed. Given the truth of the assumptions, a valid deduction guarantees the truth of the conclusion. For example, given that "Wikis can be edited by anyone" and "Wikipedia is a wiki", it follows that "Wikipedia can be edited by anyone".

Induction

Inductive reasoning allows inferring from, where does not follow necessarily from. might give us very good reason to accept, but it does not ensure. For example, if all swans that we have observed so far are white, we may induce that the possibility that all swans are white is reasonable. We have good reason to believe the conclusion from the premise, but the truth of the conclusion is not guaranteed.

Abduction

Abductive reasoning allows inferring as an explanation of. As a result of this inference, abduction allows the precondition to be abduced from the consequence. Deductive reasoning and abductive reasoning thus differ in the direction in which a rule like " entails " is used for inference.
As such, abduction is formally equivalent to the logical fallacy of affirming the consequent because of multiple possible explanations for. For example, in a billiard game, after glancing and seeing the eight ball moving towards us, we may abduce that the cue ball struck the eight ball. The strike of the cue ball would account for the movement of the eight ball. It serves as a hypothesis that explains our observation. Given the many possible explanations for the movement of the eight ball, our abduction does not leave us certain that the cue ball in fact struck the eight ball, but our abduction, still useful, can serve to orient us in our surroundings. Despite many possible explanations for any physical process that we observe, we tend to abduce a single explanation for this process in the expectation that we can better orient ourselves in our surroundings and disregard some possibilities. Properly used, abductive reasoning can be a useful source of priors in Bayesian statistics.

Formalizations of abduction

Logic-based abduction

In logic, explanation is accomplished through the use of a logical theory representing a domain and a set of observations. Abduction is the process of deriving a set of explanations of according to and picking out one of those explanations. For to be an explanation of according to, it should satisfy two conditions:
In formal logic, and are assumed to be sets of literals. The two conditions for being an explanation of according to theory are formalized as:
Among the possible explanations satisfying these two conditions, some other condition of minimality is usually imposed to avoid irrelevant facts being included in the explanations. Abduction is then the process that picks out some member of. Criteria for picking out a member representing "the best" explanation include the simplicity, the prior probability, or the explanatory power of the explanation.
A proof-theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux have been proposed. The methods are sound and complete and work for full first order logic, without requiring any preliminary reduction of formulae into normal forms. These methods have also been extended to modal logic.
Abductive logic programming is a computational framework that extends normal logic programming with abduction. It separates the theory into two components, one of which is a normal logic program, used to generate by means of backward reasoning, the other of which is a set of integrity constraints, used to filter the set of candidate explanations.

Set-cover abduction

A different formalization of abduction is based on inverting the function that calculates the visible effects of the hypotheses. Formally, we are given a set of hypotheses and a set of manifestations ; they are related by the domain knowledge, represented by a function that takes as an argument a set of hypotheses and gives as a result the corresponding set of manifestations. In other words, for every subset of the hypotheses, their effects are known to be.
Abduction is performed by finding a set such that. In other words, abduction is performed by finding a set of hypotheses such that their effects include all observations.
A common assumption is that the effects of the hypotheses are independent, that is, for every, it holds that. If this condition is met, abduction can be seen as a form of set covering.

Abductive validation

Abductive validation is the process of validating a given hypothesis through abductive reasoning. This can also be called reasoning through successive approximation. Under this principle, an explanation is valid if it is the best possible explanation of a set of known data. The best possible explanation is often defined in terms of simplicity and elegance. Abductive validation is common practice in hypothesis formation in science; moreover, Peirce claims that it is a ubiquitous aspect of thought:

Looking out my window this lovely spring morning, I see an azalea in full bloom. No, no! I don't see that; though that is the only way I can describe what I see. That is a proposition, a sentence, a fact; but what I perceive is not proposition, sentence, fact, but only an image, which I make intelligible in part by means of a statement of fact. This statement is abstract; but what I see is concrete. I perform an abduction when I so much as express in a sentence anything I see. The truth is that the whole fabric of our knowledge is one matted felt of pure hypothesis confirmed and refined by induction. Not the smallest advance can be made in knowledge beyond the stage of vacant staring, without making an abduction at every step.

It was Peirce's own maxim that "Facts cannot be explained by a hypothesis more extraordinary than these facts themselves; and of various hypotheses the least extraordinary must be adopted." After obtaining possible hypotheses that may explain the facts, abductive validation is a method for identifying the most likely hypothesis that should be adopted.

Subjective logic abduction

generalises probabilistic logic by including degrees of uncertainty in the input arguments, i.e. in addition to assigning probabilities, the analyst can assign subjective opinions to the argument variables. Abduction in subjective logic is thus a generalization of probabilistic abduction described above. The input arguments in subjective logic are subjective opinions which can be binomial when the opinion applies to a binary variable or multinomial when it applies to an n-ary variable. A subjective opinion thus applies to a variable which takes its values from a domain , and is denoted by the tuple, where is a belief mass distribution over, is the uncertainty mass, and is a base rate distribution over. These parameters satisfy and as well as.
Assume the domains and with respective variables and, the set of conditional opinions , and the base rate distribution. Based on these parameters, the subjective Bayes' theorem denoted with the operator produces the set of inverted conditionals expressed by:
Using these inverted conditionals together with the opinion subjective deduction denoted by the operator can be used to abduce the marginal opinion. The equality between the different expressions for subjective abduction is given below:
The symbolic notation for subjective abduction is "", and the operator itself is denoted as "". The operator for the subjective Bayes' theorem is denoted "", and subjective deduction is denoted "",
The advantage of using subjective logic abduction compared to probabilistic abduction is that uncertainty about the input argument probabilities can be explicitly expressed and taken into account during the analysis. It is thus possible to perform abductive analysis in the presence of uncertain arguments, which naturally results in degrees of uncertainty in the output conclusions.

History

Introduction and development by Peirce

Overview

The American philosopher Charles Sanders Peirce introduced abduction into modern logic. Over the years he called such inference hypothesis, abduction, presumption, and retroduction. He considered it a topic in logic as a normative field in philosophy, not in purely formal or mathematical logic, and eventually as a topic also in economics of research.
As two stages of the development, extension, etc., of a hypothesis in scientific inquiry, abduction and also induction are often collapsed into one overarching concept — the hypothesis. That is why, in the scientific method known from Galileo and Bacon, the abductive stage of hypothesis formation is conceptualized simply as induction. Thus, in the twentieth century this collapse was reinforced by Karl Popper's explication of the hypothetico-deductive model, where the hypothesis is considered to be just "a guess". However, when the formation of a hypothesis is considered the result of a process it becomes clear that this "guess" has already been tried and made more robust in thought as a necessary stage of its acquiring the status of hypothesis. Indeed, many abductions are rejected or heavily modified by subsequent abductions before they ever reach this stage.
Before 1900, Peirce treated abduction as the use of a known rule to explain an observation. For instance: it is a known rule that, if it rains, grass gets wet; so, to explain the fact that the grass on this lawn is wet, one abduces that it has rained. Abduction can lead to false conclusions if other rules that might explain the observation are not taken into accounte.g. the grass could be wet from dew. This remains the common use of the term "abduction" in the social sciences and in artificial intelligence.
Peirce consistently characterized it as the kind of inference that originates a hypothesis by concluding in an explanation, though an unassured one, for some very curious or surprising observation stated in a premise. As early as 1865 he wrote that all conceptions of cause and force are reached through hypothetical inference; in the 1900s he wrote that all explanatory content of theories is reached through abduction. In other respects Peirce revised his view of abduction over the years.
In later years his view came to be:
Writing in 1910, Peirce admits that "in almost everything I printed before the beginning of this century I more or less mixed up hypothesis and induction" and he traces the confusion of these two types of reasoning to logicians' too "narrow and formalistic a conception of inference, as necessarily having formulated judgments from its premises."
He started out in the 1860s treating hypothetical inference in a number of ways which he eventually peeled away as inessential or, in some cases, mistaken:
In 1867, Peirce's "", hypothetical inference always deals with a cluster of characters known to occur at least whenever a certain character occurs. Note that categorical syllogisms have elements traditionally called middles, predicates, and subjects. For example: All men are mortal ; Socrates is a man ; ergo Socrates is mortal ". Below, 'M' stands for a middle; 'P' for a predicate; 'S' for a subject. Peirce held that all deduction can be put into the form of the categorical syllogism Barbara.

''Deduction, Induction, and Hypothesis'' (1878)

In 1878, in "", there is no longer a need for multiple characters or predicates in order for an inference to be hypothetical, although it is still helpful. Moreover, Peirce no longer poses hypothetical inference as concluding in a probable hypothesis. In the forms themselves, it is understood but not explicit that induction involves random selection and that hypothetical inference involves response to a "very curious circumstance". The forms instead emphasize the modes of inference as rearrangements of one another's propositions.

''A Theory of Probable Inference'' (1883)

Peirce long treated abduction in terms of induction from characters or traits, explicitly so in his influential 1883 "", in which he returns to involving probability in the hypothetical conclusion. Like "Deduction, Induction, and Hypothesis" in 1878, it was widely read, unlike his later amendments of his conception of abduction. Today abduction remains most commonly understood as induction from characters and extension of a known rule to cover unexplained circumstances.
Sherlock Holmes uses this method of reasoning in the stories of Arthur Conan Doyle, although Holmes refers to it as "deductive reasoning".

''Minute Logic'' (1902) and after

In 1902 Peirce wrote that he now regarded the syllogistical forms and the doctrine of extension and comprehension, as being less fundamental than he had earlier thought. In 1903 he offered the following form for abduction:
The hypothesis is framed, but not asserted, in a premise, then asserted as rationally suspectable in the conclusion. Thus, as in the earlier categorical syllogistic form, the conclusion is formulated from some premise. But all the same the hypothesis consists more clearly than ever in a new or outside idea beyond what is known or observed. Induction in a sense goes beyond observations already reported in the premises, but it merely amplifies ideas already known to represent occurrences, or tests an idea supplied by hypothesis; either way it requires previous abductions in order to get such ideas in the first place. Induction seeks facts to test a hypothesis; abduction seeks a hypothesis to account for facts.
Note that the hypothesis could be of a rule. It need not even be a rule strictly necessitating the surprising observation, which needs to follow only as a "matter of course"; or the "course" itself could amount to some known rule, merely alluded to, and also not necessarily a rule of strict necessity. In the same year, Peirce wrote that reaching a hypothesis may involve placing a surprising observation under either a newly hypothesized rule or a hypothesized combination of a known rule with a peculiar state of facts, so that the phenomenon would be not surprising but instead either necessarily implied or at least likely.
Peirce did not remain quite convinced about any such form as the categorical syllogistic form or the 1903 form. In 1911, he wrote, "I do not, at present, feel quite convinced that any logical form can be assigned that will cover all 'Retroductions'. For what I mean by a Retroduction is simply a conjecture which arises in the mind."

Pragmatism

In 1901 Peirce wrote, "There would be no logic in imposing rules, and saying that they ought to be followed, until it is made out that the purpose of hypothesis requires them." In 1903 Peirce called pragmatism "the logic of abduction" and said that the pragmatic maxim gives the necessary and sufficient logical rule to abduction in general. The pragmatic maxim is:
Consider what effects, that might conceivably have practical bearings, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object.

It is a method for fruitful clarification of conceptions by equating the meaning of a conception with the conceivable practical implications of its object's conceived effects. Peirce held that that is precisely tailored to abduction's purpose in inquiry, the forming of an idea that could conceivably shape informed conduct. In various writings in the 1900s he said that the conduct of abduction is governed by considerations of economy, belonging in particular to the economics of research. He regarded economics as a normative science whose analytic portion might be part of logical methodeutic.

Three levels of logic about abduction

Peirce came over the years to divide logic into three departments:
  1. Stechiology, or speculative grammar, on the conditions for meaningfulness. Classification of signs and their combinations.
  2. Logical critic, or logic proper, on validity or justifiability of inference, the conditions for true representation. Critique of arguments in their various modes.
  3. Methodeutic, or speculative rhetoric, on the conditions for determination of interpretations. Methodology of inquiry in its interplay of modes.
Peirce had, from the start, seen the modes of inference as being coordinated together in scientific inquiry and, by the 1900s, held that hypothetical inference in particular is inadequately treated at the level of critique of arguments. To increase the assurance of a hypothetical conclusion, one needs to deduce implications about evidence to be found, predictions which induction can test through observation so as to evaluate the hypothesis. That is Peirce's outline of the scientific method of inquiry, as covered in his inquiry methodology, which includes pragmatism or, as he later called it, pragmaticism, the clarification of ideas in terms of their conceivable implications regarding informed practice.
Classification of signs
As early as 1866, Peirce held that:
1. Hypothesis is inference through an icon.

2. Induction is inference through an index ; a sample is an index of the totality from which it is drawn.

3. Deduction is inference through a symbol.
In 1902, Peirce wrote that, in abduction: "It is recognized that the phenomena are like, i.e. constitute an Icon of, a replica of a general conception, or Symbol."
Critique of arguments
At the critical level Peirce examined the forms of abductive arguments, and came to hold that the hypothesis should economize explanation for plausibility in terms of the feasible and natural. In 1908 Peirce described this plausibility in some detail. It involves not likeliness based on observations, but instead optimal simplicity in the sense of the "facile and natural", as by Galileo's natural light of reason and as distinct from "logical simplicity". Even a well-prepared mind guesses oftener wrong than right, but our guesses succeed better than random luck at reaching the truth or at least advancing the inquiry, and that indicates to Peirce that they are based in instinctive attunement to nature, an affinity between the mind's processes and the processes of the real, which would account for why appealingly "natural" guesses are the ones that oftenest succeed; to which Peirce added the argument that such guesses are to be preferred since, without "a natural bent like nature's", people would have no hope of understanding nature. In 1910 Peirce made a three-way distinction between probability, verisimilitude, and plausibility, and defined plausibility with a normative "ought": "By plausibility, I mean the degree to which a theory ought to recommend itself to our belief independently of any kind of evidence other than our instinct urging us to regard it favorably." For Peirce, plausibility does not depend on observed frequencies or probabilities, or on verisimilitude, or even on testability, which is not a question of the critique of the hypothetical inference as an inference, but rather a question of the hypothesis's relation to the inquiry process.
The phrase "inference to the best explanation" is not always understood as referring to the most simple and natural hypotheses. However, in other senses of "best", such as "standing up best to tests", it is hard to know which is the best explanation to form, since one has not tested it yet. Still, for Peirce, any justification of an abductive inference as good is not completed upon its formation as an argument and instead depends also on its methodological role and promise in advancing inquiry.
Methodology of inquiry
At the methodeutical level Peirce held that a hypothesis is judged and selected for testing because it offers, via its trial, to expedite and economize the inquiry process itself toward new truths, first of all by being testable and also by further economies, in terms of cost, value, and relationships among guesses. Here, considerations such as probability, absent from the treatment of abduction at the critical level, come into play. For examples:

Artificial intelligence

Applications in artificial intelligence include fault diagnosis, belief revision, and automated planning. The most direct application of abduction is that of automatically detecting faults in systems: given a theory relating faults with their effects and a set of observed effects, abduction can be used to derive sets of faults that are likely to be the cause of the problem.

Medicine

In medicine, abduction can be seen as a component of clinical evaluation and judgment.

Automated planning

Abduction can also be used to model automated planning. Given a logical theory relating action occurrences with their effects, the problem of finding a plan for reaching a state can be modeled as the problem of abducting a set of literals implying that the final state is the goal state.

Intelligence analysis

In intelligence analysis, analysis of competing hypotheses and Bayesian networks, probabilistic abductive reasoning is used extensively. Similarly in medical diagnosis and legal reasoning, the same methods are being used, although there have been many examples of errors, especially caused by the base rate fallacy and the prosecutor's fallacy.

Belief revision

, the process of adapting beliefs in view of new information, is another field in which abduction has been applied. The main problem of belief revision is that the new information may be inconsistent with the prior web of beliefs, while the result of the incorporation cannot be inconsistent. The process of updating the web of beliefs can be done by the use of abduction: once an explanation for the observation has been found, integrating it does not generate inconsistency.
This use of abduction is not straightforward, as adding propositional formulae to other propositional formulae can only make inconsistencies worse. Instead, abduction is done at the level of the ordering of preference of the possible worlds. Preference models use fuzzy logic or utility models.

Philosophy of science

In the philosophy of science, abduction has been the key inference method to support scientific realism, and much of the debate about scientific realism is focused on whether abduction is an acceptable method of inference.

Historical linguistics

In historical linguistics, abduction during language acquisition is often taken to be an essential part of processes of language change such as reanalysis and analogy.

Applied linguistics

In applied linguistics research, abductive reasoning is starting to be used as an alternative explanation to inductive reasoning, in recognition of anticipated outcomes of qualitative inquiry playing a role in shaping the direction of analysis. It is defined as "The use of an unclear premise based on observations, pursuing theories to try to explain it"

Anthropology

In anthropology, Alfred Gell in his influential book Art and Agency defined abduction as "a case of synthetic inference 'where we find some very curious circumstances, which would be explained by the supposition that it was a case of some general rule, and thereupon adopt that supposition. Gell criticizes existing "anthropological" studies of art for being too preoccupied with aesthetic value and not preoccupied enough with the central anthropological concern of uncovering "social relationships", specifically the social contexts in which artworks are produced, circulated, and received. Abduction is used as the mechanism for getting from art to agency. That is, abduction can explain how works of art inspire a sensus communis: the commonly held views shared by members that characterize a given society.
The question Gell asks in the book is, "how does it initially 'speak' to people?" He answers by saying that "No reasonable person could suppose that art-like relations between people and things do not involve at least some form of semiosis." However, he rejects any intimation that semiosis can be thought of as a language because then he would have to admit to some pre-established existence of the sensus communis that he wants to claim only emerges afterwards out of art. Abduction is the answer to this conundrum because the tentative nature of the abduction concept means that not only can it operate outside of any pre-existing framework, but moreover, it can actually intimate the existence of a framework. As Gell reasons in his analysis, the physical existence of the artwork prompts the viewer to perform an abduction that imbues the artwork with intentionality. A statue of a goddess, for example, in some senses actually becomes the goddess in the mind of the beholder; and represents not only the form of the deity but also her intentions. Therefore, through abduction, Gell claims that art can have the kind of agency that plants the seeds that grow into cultural myths. The power of agency is the power to motivate actions and inspire ultimately the shared understanding that characterizes any given society.

Computer programming

In formal methods logic is used to specify and prove properties of computer programs. Abduction has been used in mechanized reasoning tools to increase the level of automation of the proof activity.
A technique known as bi-abduction, which mixes abduction and the frame problem, was used to scale reasoning techniques for memory properties to millions of lines of code; logic-based abduction was used to infer pre-conditions for individual functions in a program, relieving the human of the need to do so. It led to a program-proof startup company which was acquired by Facebook, and the Infer program analysis tool which led to thousands of bugs being prevented in industrial codebases.
In addition to inference of function preconditions, abduction has been used to automate inference of invariants for program loops, inference of specifications of unknown code, and in synthesis of the programs themselves.