Logical modelling and reasoning are important techniques of classical AI. This subject provides core expertise in logic split into a hands-on introductory course on logic, followed by an introduction to modelling state-based systems with automata and related techniques, including temporal logic. An overview on classical concepts in computational logic with focus on AI completes the subject.
Subject
The contents of this subject result from the contents of its courses.
