Abductive logic programming: Difference between revisions

Content deleted Content added
Line 80:
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>\Delta_1=\{\text{amount(lactose, hi), amount(glucose, low)}\}</math>
 
: <math>\Delta_2=\{\text{amount(lactose, medium), amount(glucose, medium)}\}</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.