VOICE SEARCH OPTIMIZATION - AN OVERVIEW

Offered a dilemma in addition to a set of premises, trouble-resolving reduces to searching for any evidence tree whose root node is labelled by a solution of the trouble and whose leaf nodes are labelled by premises or axioms. In the case of Horn clauses, challenge-solving search is usually performed by reasoning forwards in the premises or backwar