Obiettivi e Programma

Obiettivi

1. Presentare i concetti principali e i metodi che stanno alla base della progettazione di sistemi di Intelligenza Artificiale (con particolare riferimento a sistemi basati sulla conoscenza e alla logica):
   • Metodi per la soluzione di problemi
   • Rappresentazione della conoscenza
2. Introdurre il linguaggio Prolog come linguaggio e motore di inferenza basato sulla logica

(nel successivo corso di Applicazioni di Intelligenza Artificiale   - a scelta - si approfondiranno le applicazioni di Intelligenza Artificiale al “mondo reale”, con particolare enfasi su Planning, Apprendimento, Ottimizzazione, Sistemi esperti).

Programma

1. Introduzione all'Intelligenza Artificiale
   • Un po' di storia;
   • I principali campi applicativi;
   • I sistemi basati sulla conoscenza e i loro principi architetturali.
2. Risoluzione di problemi
   • Spazio degli stati
   • Metodi di inferenza forward e backward
   • Strategie di ricerca(non informate e euristiche)
   • Giochi
   • Propagazione di vincoli
3. Metodi per la rappresentazione della conoscenza
   • Logica dei predicati del I ordine
   • Logica a clausole e principio di risoluzione
   • Oggetti: reti semantiche, frames,  ereditarietà
4. Linguaggi per Intelligenza Artificiale: PROLOG
   • Dalla Logica alla Programmazione Logica
   • Il linguaggio PROLOG
   • PROLOG per la soluzione di problemi di IA
   • PROLOG per analisi dei linguaggi e rapida prototipazione
   
   
5. Ciclo di seminari tematici:

• Swarm intelligence
• Ontologie e Semantic Web
• Agenti e sistemi multi-agente