5 SIMPLE TECHNIQUES FOR AI IN EDUCATION

Presented a challenge and also a set of premises, challenge-solving decreases to searching for any 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 case of Horn clauses, dilemma-resolving search is usually carried out by reasoning forwards through the premises or