DETAILS, FICTION AND NETWORK INFRASTRUCTURE

Given an issue and also a set of premises, problem-fixing lessens to searching to get a evidence tree whose root node is labelled by an answer of the issue and whose leaf nodes are labelled by premises or axioms. In the case of Horn clauses, issue-fixing search is often performed by reasoning forwards within the premises or backwards from the condi