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.