Logics for Artificial Intelligence.

Logic provides the philosophical and foundational background for all of computer science. Translate the T and F of classical logic to 1 and 0 and you have the fundamental laws of computer circuitry. However, there are other forms of logic with applications in computer science and this book is a primer for many of them. The non-classical logics covered are the modal logic of different worlds, three-valued logics and how to interpret them computationally; the theory of types, non-monotonic inference, temporal logic and fuzzy logic. My background was almost exclusively in the classical logic and I found the introductions to the other forms of logic to be well-done, informative and easy to follow. It helped me greatly as I prepare to develop a course in artificial intelligence. The only negative comment is that there are an inordinate number of basic spelling errors. If you need to learn forms of logic beyond the classical, then this book is an excellent place to begin.