Intelligenza artificiale

Durata: 28 ore

Periodo didattico: secondo semestre

Programma

docente:

1° modulo: prof. Andrea Formisano

2° modulo: prof. Agostino Dovier - INF/01

programma:

Nozioni base sui calcoli proposizionale e predicativo

Programmazione logica, sintassi, semantica, automazione

Answer set programming

ASP per la rappresentazione della conoscenza, la modellazione e la soluzione di problemi computazionalmente difficili.