Revision as of 08:39, 14 December 2022 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →See also: related to logic in widest sense, not to ALP in particular ← Previous edit		Revision as of 19:52, 19 December 2022 edit undo 73.172.82.216 (talk) →Example 3: Typo Tags: Mobile edit Mobile web edit Next edit →
Line 87: \end{cases}</math> The decision which of the two to adopt could depend on ~~addition~~additional 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. Once an explanation has been chosen, then this becomes part of the theory, which can be used to draw new conclusions. The explanation and more generally these new conclusions form the solution of the problem.

Abductive logic programming: Difference between revisions