Modify the definition of the nextSolution method of the classes ESSimpleSolutionNode and ESAndSolutionNode to fail a line of reasoning if the certainty factor falls below a certain value (0.2 or 0.3 are typical values). Instrument your code to count the number of nodes visited and test it both with and without pruning.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here