Proceedings of the Eighth National Conference on Artifical Intelligence: July 29, 1990-august 3, 1990, Volume 1; Volume 8American Association for Artificial Intelligence, 1990 |
From inside the book
22 pages matching truth maintenance system in this book
Where's the rest of this book?
Results 1-3 of 22
Other editions - View all
Common terms and phrases
Abstract action active agent algorithm analysis apply approach Artificial Intelligence assumptions axioms backtracking behavior Case-Based Reasoning causal clause clustering complete complete graph component Computer Science conflict consider consistent constraint network constraint satisfaction constraint satisfaction problems context corresponding Dechter default defined definition described diagnosis domain edge equations example execution explanation Figure formula given goal graph heuristic Horn clause implemented inference initial input instantiation interactions k-tree Kleer knowledge base labeling literal logic logic programs method minimal NIMF node ontology operator paper parameters paramodulation parsing partial path performance planner possible prediction prediction interval problem solving procedure Proceedings properties propositional qualitative query reasoning relation represent representation Research robot rules satisfy semantics simulation situation solution specific step strategy symbol task theorem theory tion tree truth maintenance system tuple University values variables