69 pages matching theorem in this book
Results 1-3 of 69
What people are saying - Write a review
We haven't found any reviews in the usual places.
Machine Learning Knowledge Acquisition 455
1 other sections not shown
Other editions - View all
Abstract action activity algorithm application approach architecture Artificial Intelligence axioms backtracking belief belief network belief revision blackboard Carnegie Mellon University causal circumscription clause Common Lisp complete consistent constraint construct contains context database default logic default reasoning defined dependency described domain efficiency elements evaluation example execution expert Figure function given goal graph heuristic hypothesis implementation induction inference input instantiated Intelligent Tutoring Systems interactions intervals iPSC KSARs language Lisp logic Logic Programming match method minimal minimax module node nogoods objects operators paper parallel path performance possible preconditions predicate problem processor proof propositions provides query relation represent representation Research retrieval rules scheme search space semantic situation solution solving specific SRI International strategy structure student subset task temporal theorem theory tion Touretzky Truth Maintenance System tutor University user model variables