Identifies some of the current applications and techniques of artificial intelligence as an aid to solving problems and accomplishing tasks. The book provides a general introduction to the various branches of AI, including formal logic, reasoning, knowledge engineering, expert systems, neural networks, and fuzzy logic.