Presents an application-focused and hands-on approach to learning, with supplementary teaching resources provided at an associated website Contains numerous study exercises and solutions, highlighted examples, definitions, theorems, and illustrative cartoons Includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks…