2021/2022

2021/2022

DM270

INF/01 (INFORMATICA)

DIPARTIMENTO DI MATEMATICA 'FELICE CASORATI'

ARTIFICIAL INTELLIGENCE

PERCORSO COMUNE

1°

Annualità Singola (04/10/2021 - 17/06/2022)

6

56 ore di attività frontale

INGLESE

SCRITTO E ORALE CONGIUNTI

PENALOZA NYSSEN RAFAEL (titolare) - 6 CFU

Basic notions of algebra, logic, and set theory

The main objective of the course is to provide the students with basic understanding of (logic-based) knowledge representation and reasoning. With this understanding, the students will be able to handle the main tools and dive deeper into the theoretical results of the area.

The expected learning results are:
- Knowledge about the main knowledge representation languages and their limitations
- Knowledge about the usual reasoning tasks and their complexity
- Be able to derive logical consequences from explicit knowledge
- Be able to analyse logical formulas and their intended meaning
- Apply logic-based knowledge representation to advanced AI applications

The course is based on frontal lectures and exercise sessions. For the lessons, slides and text handouts will be provided. The exercises will be given in advance and solved at the classroom.

The course will be evaluated through a written exam based on several kinds of questions. In particular, it will contain multiple-answer, open-answer, and exercise solving questions. The exercises solved during the lecture and additional examples provided during the lecture will serve as practice for the examination.