Obiettivi formativi
Il corso si propone di fornire le conoscenze fondamentali di
Intelligenza Artificiale algoritmica, della Rappresentazione della
conoscenza e delle metodologie di sviluppo dei sistemi esperti.
Attività formative
Il corso si svolge sia in aula che in laboratorio (3 crediti + 2
crediti).
Programma del corso
- Modulo 1: Teoria degli agenti razionali
Introduzione all'Intelligenza Artificiale: approcci
fondamentali;
Agenti razionali e macchine a stati.
- Modulo 2: Problemi di search e loro risoluzione generale
Search come problema formale;
Un esempio di search: il Romania Problem;
Backtracking nel search: algoritmi generali e tecniche con
marcatura.
- Modulo 3: Conoscenze su oggetti e loro rappresentazione
Teoria generale della conoscenza;
Reti semantiche;
Logiche descrittive;
Logiche modali.
- Modulo 4: Conoscenze relazionali
Algebre di relazioni;
Relazioni temporali;
Relazioni spaziali.
- Modulo 5: Ontologie formali
Strutture tassonomiche;
Analisi concettuale e vincoli tassonomici;
Rappresentazione della conoscenza per via assiomatica.
- Modulo 6: Laboratorio di Rappresentaziome della conoscenza
Java e i linguaggi terminologici;
Elaborazione dei vincoli in Java;
Ai e Web Computing: Schemi XML e RDF per la rappresentazione della
conoscenza.