5 SIMPLE TECHNIQUES FOR AI IN EDUCATION

Specified a problem in addition to a list of premises, problem-resolving cuts down to searching for any evidence tree whose root node is labelled by an answer of the trouble and whose leaf nodes are labelled by premises or axioms. In the case of Horn clauses, trouble-solving search is often carried out by reasoning forwards through the premises or