What people are saying - Write a review
We haven't found any reviews in the usual places.
TESTING AND DEBUGGING
VARIABLES AND QUERIES
13 other sections not shown
a_kind_of agenda and-or-not lattice and"ed answer appliance artificial intelligence artificial-intelligence programs Assume backtracking backward chaining battery best-first search binding boss bound branching factor breadth-first search cache Chapter clause Consider constraints control structure cost function decision lattice define definition delete depth-first search diagnosis evaluation function example expert system fails Figure forward chaining frame function predicate give goal heuristics implement inactive inheritance input instance intermediate predicates left side logic match means means-ends analysis member(X,[XIL memo meta-rules not(a not(d operator or"s output partition pavement possibility lists postconditions preconditions predicate expression predicate name probability Prolog database Prolog dialects Prolog interpreter query reasoning relaxation represent right side rule-based system rule-cycle hybrid rules and facts satisfy says search problem second argument Section semantic network semicolon ship Studying variable successor Suppose tail recursion there's things third argument tion unbound values write