Fundamentals of artificial intelligence : problem solving and automated reasoning / Miroslav Kubat.

Includes bibliographical references and index.

"This comprehensive textbook focuses on the core techniques employed by today's artificial intelligence, including problem-solving by search techniques and swarm intelligence, and further knowledge representation, logic, automated reasoning, and uncertainty processing. Some information about planning techniques and expert systems is also provided. Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning is written in a concise format, with a view to optimizing learning. Each chapter contains a brief historical overview and a Practice Makes Perfect section to encourage independent thought. The book includes many visuals that illustrate the essential ideas. Also, many easy-to-follow examples show how to use these ideas in practical implementations"--