Il corso, insegnato in inglese, presenta paradigma e tecniche principali della rappresentazione simbolica e soluzione automatica di problemi. Obbiettivo del corso e` dare allo studente strumenti per ideare, applicare e valutare algoritmi per problemi difficili, nel senso che la loro soluzione meccanica cattura aspetti di intelligenza artificiale o almeno razionalita` computazionale, come in problemi di soddisfazione di vincoli, dimostrazione automatica di teoremi, pianificazione, giochi.
Metodi di base dell'intelligenza artificiale: risoluzione automatica di problemi come ricerca in uno spazio di stati; procedure di ricerca non informate; procedure di ricerca informate e ricerca euristica. Problemi di soddisfazione di vincoli. Problemi con avversario: giochi (opzionale). Rappresentazione della conoscenza: uso della logica proposizionale e del primo ordine; forma normale a clausole; uguaglianza. Ragionamento automatico in logica proposizionale: algoritmi per la soddisfacibilita` (SAT). Ragionamento automatico in logica del primo ordine: ragionamento in avanti e all'indietro; risoluzione; riscrittura (opzionale). Pianificazione.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| Elaine Rich, Kevin Knight | Artificial Intelligence (Edizione 2) | McGraw Hill | 1991 | 0070522634 | Testo supplementare |
| Stuart Russell, Peter Norvig | Artificial Intelligence: A Modern Approach (Edizione 2) | Prentice Hall | 2003 | 0137903952 | Testo adottato |
| David Poole, Alan Mackworth, Randy Goebel | Computational Intelligence -- A logical approach (Edizione 1) | Oxford University Press | 1998 | 0195102703 | Testo supplementare |
| Klaus Truemper | Design of Logic-based Intelligent Systems (Edizione 1) | John Wiley and Sons | 2004 | 0471484032 | Testo supplementare |
| Judea Pearl | Heuristics: Intelligent search strategies for computer problem solving (Edizione 1) | Addison Wesley | 1985 | 0-201-0559 | Testo supplementare |
Esame mediante prove parziali:
vale solo per il primo appello dopo la fine delle lezioni, ovvero per la sessione di dicembre, essendo il corso nel I quadrimestre; l'esame consta di un compito scritto (C) e di un progetto individuale di programmazione (P) da realizzare a casa o in laboratorio durante il corso; il voto d'esame è dato da: 50% C + 50% P; passato il primo appello dopo la fine delle lezioni, le prove parziali non valgono più.
Esame senza prove parziali:
l'esame consta di un unico compito scritto (E), di difficoltà tale da uguagliare C + P, il cui voto determina il voto d'esame. Questa modalità vale per tutti gli appelli.
Nota: il compito scritto C (prova parziale) si tiene nella stessa data, ora e luogo dell'esame E della sessione di dicembre (naturalmente contenuto e durata di C ed E saranno diversi). Il progetto P viene consegnato via rete, eccetto la relazione che viene consegnata quando si svolge C.
Registrazione: a ogni sessione d'esame la data dell'esame è la data dello scritto ed è sufficiente iscriversi a quella. Tutti i voti saranno registrati. Lo studente insoddisfatto di come sta andando l'esame può ritirarsi: per ritirarsi è sufficiente non consegnare E o C.
Regolamento: tutti gli elaborati sono individuali; è severamente vietato copiare e scambiare o passare o condividere codice. Tutti gli elaborati che mostrano di essere stati copiati ricevono voto 0, senza distinzione tra chi copia e chi fa copiare.
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
