Abductive logic programming (ALP) is a high-level knowledge-representation framework that can be used to solve problems declaratively, based on abductive reasoning. It extends normal logic programming by allowing some predicates to be incompletely defined, declared as abducible predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hypotheses) as solutions of problems to be solved. These problems can be either observations that need to be explained (as in classical abduction) or goals to be achieved (as in normal logic programming). It can be used to solve problems in diagnosis, planning, natural language and machine learning. It has also been used to interpret negation as failure as a form of abductive reasoning.

Syntax

Abductive logic programs have three components, ${\displaystyle \langle P,A,IC\rangle ,}$ where:

• P is a logic program of exactly the same form as in logic programming
• A is a set of predicate names, called the abducible predicates
• IC is a set of first-order classical formulae.

Normally, the logic program P does not contain any clauses whose head (or conclusion) refers to an abducible predicate. (This restriction can be made without loss of generality.) Also in practice, many times, the integrity constraints in IC are often restricted to the form of denials, i.e. clauses of the form:

   false:- A1,...,An, not B1, ..., not Bm.

Such a constraint means that it is not possible for all A1,...,An to be true and at the same time all of B1,...,Bm to be false.

Informal meaning and problem solving

The clauses in P define a set of non-abducible predicates and through this they provide a description (or model) of the problem domain. The integrity constraints in IC specify general properties of the problem domain that need to be respected in any solution of a problem.

A problem, G, which expresses either an observation that needs to be explained or a goal that is desired, is represented by a conjunction of positive and negative (NAF) literals. Such problems are solved by computing "abductive explanations" of G.

An abductive explanation of a problem G is a set of positive (and sometimes also negative) ground instances of the abducible predicates, such that, when these are added to the logic program P, the problem G and the integrity constraints IC both hold. Thus abductive explanations extend the logic program P by the addition of full or partial definitions of the abducible predicates. In this way, abductive explanations form solutions of the problem according to the description of the problem domain in P and IC. The extension or completion of the problem description given by the abductive explanations provides new information, hitherto not contained in the solution to the problem. Quality criteria to prefer one solution over another, often expressed via integrity constraints, can be applied to select specific abductive explanations of the problem G.

Computation in ALP combines the backwards reasoning of normal logic programming (to reduce problems to sub-problems) with a kind of integrity checking to show that the abductive explanations satisfy the integrity constraints.

The following two examples, written in simple structured English rather than in the strict syntax of ALP, illustrate the notion of abductive explanation in ALP and its relation to problem solving.

  Grass is wet if it rained.

  Grass is wet if the sprinkler was on.

  The sun was shining.

  false if it rained and the sun was shining.

  X is a citizen if X is born in the USA.

  X is a citizen if X is born outside the USA and X is a resident of the USA and X is naturalized.

  X is a citizen if X is born outside the USA and Y is the mother of X and Y is a citizen and X is registered.

  Mary is the mother of John.

  Mary is a citizen.

  false if John is a resident of the USA.

Default reasoning in ALP

As shown in the Theorist system,^[1][2] abduction can also be used for default reasoning. Moreover, abduction in ALP can simulate negation as failure in normal logic programming.

Consider the classic example of reasoning by default that a bird can fly if it cannot be shown that the bird is abnormal. Here is a variant of the example using negation as failure:

canfly(X) :- bird(X), not(abnormal_flying_bird(X)).
abnormal_flying_bird(X):- wounded(X).
bird(john).
bird(mary).
wounded(john).

Here is the same example using an abducible predicate normal_flying_bird(_) with an integrity constraint in ALP:

canfly(X) :- bird(X), normal_flying_bird(X).
false :- normal_flying_bird(X), wounded(X).
bird(john).
bird(mary).
wounded(john).

The abducible predicate normal_flying_bird(_), is the contrary of the predicate abnormal_flying_bird(_).

Using abduction in ALP it is possible to conclude canfly(mary) under the assumption normal_flying_bird(mary). The conclusion can be derived from the assumption because it cannot be shown that the integrity constraint is violated, which is because it cannot be shown that wounded(mary). In contrast, it is not possible to conclude canfly(john), because the assumption normal_flying_bird(john) together with the fact wounded(john) violates the integrity constraint. This manner of reasoning in ALP simulates reasoning with negation as failure.^[3]

Conversely, it is possible to simulate abduction in ALP using negation as failure with the stable model semantics.^[4] This can be done by adding, for every abducible predicate p, an additional contrary predicate negp, and a pair of clauses:

p :- not(negp).
negp :- not(p).

This pair of clauses has two stable models, one in which p, is true, and the other in which negp, is true. This technique for simulating abduction is commonly used in answer set programming to solve problems using a generate and test methodology.

Formal semantics

The formal semantics of the central notion of an abductive explanation in ALP can be defined in the following way.

Given an abductive logic program, ${\displaystyle \langle P,A,{\mathit {IC}}\rangle }$, an abductive explanation for a problem ${\displaystyle G}$ is a set ${\displaystyle \Delta }$ of ground atoms on abducible predicates such that:

• ${\displaystyle P\cup \Delta \models G}$
• ${\displaystyle P\cup \Delta \models IC}$
• ${\displaystyle P\cup \Delta }$ is consistent

This definition leaves open the choice of the underlying semantics of logic programming through which we give the exact meaning of the entailment relation ${\displaystyle \models }$ and the notion of consistency of the (extended) logic programs. Any of the different semantics of logic programming such as the completion, stable or well-founded semantics can (and have been used in practice) to give different notions of abductive explanations and thus different forms of ALP frameworks.

The above definition takes a particular view on the formalization of the role of the integrity constraints ${\displaystyle {\mathit {IC}}}$ as restrictions on the possible abductive solutions. It requires that these are entailed by the logic program extended with an abductive solution, thus meaning that in any model of the extended logic program (which one can think of as an ensuing world given ${\displaystyle \Delta }$) the requirements of the integrity constraints are met. In some cases this may be unnecessarily strong and the weaker requirement of consistency, namely that ${\displaystyle P\cup {\mathit {IC}}\cup \Delta }$ is consistent, can be sufficient, meaning that there exists at least one model (possible ensuing world) of the extended program where the integrity constraints hold. In practice, in many cases, these two ways of formalizing the role of the integrity constraints coincide as the logic program and its extensions always have a unique model. Many of the ALP systems use the entailment view of the integrity constraints as this can be easily implemented without the need for any extra specialized procedures for the satisfaction of the integrity constraints since this view treats the constraints in the same way as the problem goal. In many practical cases, the third condition in this formal definition of an abductive explanation in ALP is either trivially satisfied or it is contained in the second condition via the use of specific integrity constraints that capture consistency.

Implementation and systems

Most of the implementations of ALP extend the SLD resolution-based computational model of logic programming. ALP can also be implemented by means of its link with Answer Set Programming (ASP), where the ASP systems can be employed. Examples of systems of the former approach are ACLP, A-system, CIFF, SCIFF, ABDUAL and ProLogICA.

See also

• Inductive logic programming

Notes

References

External links

• ACLP
• ACL
• SCIFF
• Asystem