|Goals of artificial
intelligence, state-space search methods, optimal search, chronological
backtracking, dependency-directed backtracking, BLOCKSWORLD, and/or trees
and goals, question- answering, production systems, expert system examples,
minimaxing with alpha-beta pruning and game playing. Control paradigms,
GPS, geometric analogies, SOUNDEX code, propagating numeric constraints,
inductive inference and computer learning, introduction to mechanical theorem
proving for the propositional logic.