Abductive logic programming: Difference between revisions

Revision as of 02:09, 18 November 2018

Revision as of 01:04, 27 December 2018

Line 60:

The integrity constraints, ''IC'', state that the amount of any substance (S) can only take one value.

; Domain knowledge (P)

: <source lang="prolog">

feed(lactose):-make(permease),make(galactosidase).

make(Enzyme):-code(Gene,Enzyme),express(Gene).

Line 70:

temperature(low):-amount(glucose,low).

</source>

; Integrity constraints (IC)

: <source lang="prolog">

false :- amount(S,V1), amount(S,V2), V1 ≠ V2.

</source>

; Abducibles (A)

: <source lang="prolog">

abducible_predicate(amount).

</source>

The problem goal is <math>G=\text{feed(lactose)}</math>. This can arise either as an observation to be explained or as a state of affairs to be achieved by finding a plan. This goal has two abductive explanations:

: <math>\begin{cases}
\Delta_1=\{\text{amount(lactose, hi), amount(glucose, low)}\}</math>

\\

: <math>\Delta_2=\{\text{amount(lactose, medium), amount(glucose, medium)}\}</math>

\end{cases}</math>

The decision which of the two to adopt could depend on addition information that is available, e.g. it may be known that when the level of glucose is low then the organism exhibits a certain behaviour – in the model such additional information is that the temperature of the organism is low – and by observing the truth or falsity of this it is possible to choose the first or second explanation respectively.