Artificial Intelligence – A Modern Approach

This book from Stuart Russell and Peter Norvig is one the most read textbooks in artificial intelligence. The book builds your concepts on various area like Logical reasoning, symbolic as well as connectionist approach to solving problems. Some examples on how you can use First order logic and similar methods to solve board games are really good.