At the end of the course students will be able to understand and discuss the principles of logic applied to practical reasoning and AI. They will be able to analyze a problem, and to design and implement a solution. They will be familiar with important techniques in the field and will be able to use them.
Prerequisiti
Students are expected to have a basic knowledge of linear algebra, vector calculus, logic and probability.
Metodi didattici
This course has two main parts: lectures and exercises. Programming will not be part of this course.
Verifica Apprendimento
The exam consists of an interview or a written in-class-assignment in which the student will discuss the topics of the course.
Testi
The course is based on a set of notes that are supplemented by a selection of articles.
Contenuti
After a refresher of logic covering basic concepts of propositional and first-order logic, the course will cover a variety of topics and techniques relating to logic and AI. Topics to be discussed are Argumentation, Belief Revision, Probabilistic Logic, Bayesian Networks, Paraconsistency (incl. Paradoxes), Inductive Logic, Philosophy of AI, modal logic and epistemic logic.