Ragionamento automatico (2010/2011)

Codice insegnamento
4S02796
Docente
Alessandro Farinelli
Coordinatore
Alessandro Farinelli
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
I semestre dal 4-ott-2010 al 31-gen-2011.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
lunedì 16.30 - 18.30 lezione Aula I dal 25-ott-2010  al 31-gen-2011
martedì 16.30 - 18.30 lezione Aula I  
venerdì 11.30 - 13.30 lezione Aula B dal 22-ott-2010  al 23-ott-2010

Obiettivi formativi

Il corso introduce problemi, metodi e sistemi del ragionamento automatico. La presentazione combina fondamenti teorici con questioni pratiche di natura algoritmico-implementativa, con enfasi sulla meccanizzazione. Obiettivo del corso è dare allo studente strumenti per progettare, applicare e valutare metodi e sistemi di ragionamento automatico, per applicazioni in campi quali verifica di HW e SW, intelligenza artificiale, robotica.

Programma

Ragionamento automatico generale: strategie di dimostrazione di teoremi. Sistemi di inferenza a scelta: generazione di istanze, generazione di conseguenze (risoluzione, sovrapposizione, riscrittura), riduzione di goal (eliminazione di modelli). Piani di ricerca. Ragionamento algoritmico in ambiti specifici a scelta: ragionamento con incertezza; ragionamento in sistemi multi-agente; procedure di decisione per soddisfacibilità modulo teorie. Progetto e uso di ragionatori generici o specifici.

Modalità d'esame

Esame mediante prove parziali: vale solo per gli appelli subito dopo la fine delle lezioni, ovvero per la sessione. L'esame consta di un compito scritto (prova parziale) e di un progetto individuale da realizzare a casa o in laboratorio.
Il voto d'esame è dato da: 50% prova parziale + 50% progetto.

Esame senza prove parziali: l'esame consta di un unico compito scritto (compito d'esame), di difficoltà tale da uguagliare la prova parziale ed il progetto, il cui voto determina da solo il voto d'esame. Questa modalità vale per tutti gli appelli.
Note: la prova parziale si tiene nella stessa data, ora e luogo del compito d'esame . (contenuto e durata della prova parziale e del compito d'esame saranno diversi).

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 44.44% 28 2
Respinti --
Assenti 55.55%
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 12.5% 12.5% 0.0% 0.0% 12.5% 12.5% 0.0% 37.5% 12.5%

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