Proceedings of the Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence |
Contents
Planning Plannification | 1 |
Building Macros in Deterministic and Nondeterministic Domains | 15 |
Visual Thinking in the Development of Daltons Atomic Theory | 30 |
Copyright | |
15 other sections not shown
Common terms and phrases
algorithm application approximation arm_empty Artificial Intelligence atomic axioms behavior belief function belief propagation belief revision bias BIDA bound branching factor caching CBML complexity concept consistent constraint network constraints cost Dechter default logic default rules default theory defined Definition described domain edge efficient elements equations example expected expert system extension factor Figure formalism frame problem given goal graph heuristic induction inference initial instance interval iteration K-models knowledge base knowledge representation label LBCH learner learning Lemma linear literals macro metaknowledge method modal logics network theory node nonmonotonic notion operator optimal pair paper path path-consistency Pearl performance probabilistic inference problem propositional ql-function queries random relation relevancy rule representation represented satisfies Section semantics simulation solution solving space structure subset Theorem tic-tac-toe tion tour trainer value unit variables Z-ranking