2021/2022

2023/2024

DM270

M-FIL/02 (LOGICA E FILOSOFIA DELLA SCIENZA)

DIPARTIMENTO DI MATEMATICA 'FELICE CASORATI'

ARTIFICIAL INTELLIGENCE

PERCORSO COMUNE

3°

Secondo Semestre (04/03/2024 - 18/06/2024)

6

48 ore di attività frontale

INGLESE

SCRITTO E ORALE CONGIUNTI

LANDES JUERGEN (titolare) - 5 CFU
KUBYSHKINA EKATERINA - 1 CFU

Students are expected to have a basic knowledge of linear algebra, vector calculus, logic and probability.

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.

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.

This course has two main parts: lectures and exercises.
Programming will not be part of this course.

The course is based on a set of notes that are supplemented by a selection of articles.

The exam consists of an interview or a written in-class-assignment in which the student will discuss the topics of the course.