Free and open · CC BY 4.0

Logical methods for AI

Logic is the study of correct reasoning, and reasoning is what artificial intelligence sets out to automate. This is an open introduction to the logical foundations of AI: how formal languages represent knowledge, how algorithms search for proofs, and where the limits are.

Start Chapter 1

Textbook Twelve chapters, from valid inference to logic and neural networks. 15 entries
Exercises Tutorial sheets, with solutions to check yourself against. 13 entries
Slides The lecture decks, drawn by hand. 12 entries

Learning goals

Identify where logic is applied within AI.
Explain the strengths and weaknesses of logic within AI.
Represent knowledge using logical formulas.
Apply algorithms for automated reasoning.
Evaluate inferences in AI contexts for validity.

Written for undergraduates, and free to read, copy and adapt — on your own or in your own teaching. No accounts, no tracking, no cookies. More about this course.