Intelligenza artificiale (2008/2009)

Corso a esaurimento

Codice insegnamento
4S00075
Docente
Maria Paola Bonacina
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
1° Q dal 2-ott-2008 al 19-dic-2008.
Pagina Web
http://profs.sci.univr.it/~bonacina/teachingUniVR/IA2008-09.html

Orario lezioni

1° Q
Giorno Ora Tipo Luogo Note
lunedì 17.30 - 19.30 lezione Aula C  
martedì 12.30 - 13.30 lezione Aula H  
mercoledì 16.30 - 18.30 lezione Aula C  

Obiettivi formativi

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.

Programma

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.

Testi di riferimento
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

Modalità d'esame

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.

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 59.25% 24 3
Respinti 5.55%
Assenti 18.51%
Ritirati 14.81%
Annullati 1.85%
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
3.1% 6.2% 12.5% 15.6% 6.2% 3.1% 6.2% 9.3% 0.0% 6.2% 6.2% 9.3% 6.2% 9.3%

Valori relativi all'AA 2008/2009 calcolati su un totale di 54 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.