E-COMMERCE - An Overview
Supplied a dilemma as well as a set of premises, difficulty-fixing lessens to searching for the 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, difficulty-resolving search can be performed by reasoning forwards through the premises or backwards