Abductive logic programming: Difference between revisions

Revision as of 11:06, 13 April 2020

Revision as of 15:15, 11 May 2020

Line 61:

; Domain knowledge (P)

: <sourcesyntaxhighlight lang="prolog">

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

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

Line 69:

code(lac(z), galactosidase).

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

</syntaxhighlight>

</source>

; Integrity constraints (IC)

: <sourcesyntaxhighlight lang="prolog">

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

</syntaxhighlight>

</source>

; Abducibles (A)

: <sourcesyntaxhighlight lang="prolog">

abducible_predicate(amount).

</syntaxhighlight>

</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: