This book is designed to identify some of the current applications and techniques of artificial intelligence as an aid to solving problems and accomplishing tasks. It provides a general introduction to the various branches of AI which include formal logic, reasoning, knowledge engineering, expert systems, neural networks, and fuzzy logic, etc. The book has been structured into five parts with an emphasis on expert systems: problems and state space search, knowledge engineering, neural networks, fuzzy logic, and Prolog. FEATURES: Introduces the various branches of AI which include formal logic, reasoning, knowledge engineering, expert systems, neural networks, and fuzzy logic, etc. Includes a separate chapter on Prolog to introduce basic programming techniques in AI
