Artificial Intelligence (Macmillan Computer Science Series)

While assuming no prior knowledge of AI or logic, this book provides an introduction to many of the most advanced developments in AI, as well as giving examples of their usage and critically assessing their applicability and effectiveness. Topics covered include planning, logic and inference, non-monotonic logic, reason maintenance, memory organization, probabilistic reasoning, induction and neural networks. The author concentrates on inference as a central theme, so as to present sophisticated material more readily.