Proceedings AAAI-87 Sixth National Conference on Artificial Intelligence, July 13-17, 1987 |
Contents
Volume 2 | 39 |
xi | 144 |
Organization of the American Association for Artificial Intelligence | 260 |
Copyright | |
3 other sections not shown
Common terms and phrases
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 consistent constraint construct contains context database default logic default reasoning defined definition dependency described domain efficiency elements evaluation example execution expert Figure formula function given goal graph heuristic hypothesis implementation induction inference input Intelligent Tutoring Systems interaction intervals KSAR language Lisp logic Logic Programming match method minimal minimax module node nogoods objects operators OPS5 paper parallel path performance possible preconditions predicate problem processor propositions provides query relation represent representation Research resolution 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