The best Side of SOFTWARE DEVELOPMENT
Presented a challenge and a list of premises, dilemma-fixing reduces to searching to get a evidence tree whose root node is labelled by an answer of the challenge and whose leaf nodes are labelled by premises or axioms. In the situation of Horn clauses, trouble-resolving search is usually done by reasoning forwards within the premises or backwards