Docente/i: Marco Piastra  

Denominazione del corso: Intelligenza artificiale I
Codice del corso: 503046
Corso di laurea: Ingegneria Informatica
Settore scientifico disciplinare: ING-INF/05
Crediti formativi: CFU 6
Sito web del corso: http://vision.unipv.it/IA1/

Obiettivi formativi specifici

Il corso si pone come un'introduzione ai fondamenti della logica formale classica, proposizionale e del primo ordine, con particolare attenzione agli aspetti legati al calcolo automatico

Programma del corso

Schemi di ragionamento e logica formale

Algebre di Boole

Linguaggio logico e strutture semantiche: conseguenza logica

Logica proposizionale: sistemi deduttivi

Problemi di decisione e decidibilità

Semantic tableau e metodo di risoluzione

Predicati e relazioni: la logica del primo ordine

Semi-decidibilità della logica del primo ordine

Metodo di risoluzione con unificazione

Modelli minimi e programmazione logica (cenni)

Esercitazioni in laboratorio

• Il linguaggio a regole Jess
• Automi a stati finiti e macchine di Turing
• Risoluzione SLD
• L'algoritmo RETE
• Prolog (cenni)

Prerequisiti

Conoscenza pratica di almeno un linguaggio di programmazione

Tipologia delle attività formative

Lezioni (ore/anno in aula): 35
Esercitazioni (ore/anno in aula): 20
Attività pratiche (ore/anno in aula): 0

Materiale didattico consigliato

Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd Edition). Springer, 2001.

Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997.

Stuart Russell, Peter Norvig. . Intelligenza Artificiale: un approccio moderno (terza edizione). Prentice Hall, 2010.

Modalità di verifica dell'apprendimento

L’esame prevede una prova orale che include la discussione delle attività di laboratorio