Giornata di Lavoro su Spiegazione nei sistemi intelligenti
Giornata di Lavoro su "Spiegazione nei sistemi intelligenti"
Torino, 12 Aprile 1995
presso Dipartimento di Informatica, Universita' di Torino
Corso Svizzera 185
AULA D
Invito a Partecipare
Giornata organizzata dal gruppo di lavoro su
Rappresentazione della Conoscenza e Ragionamento Automatico
L'obiettivo della giornata e' quello di una discussione, il
piu' possibile interdisciplinare, sul tema della spiegazione.
La giornata prevede quattro interventi introduttivi
che analizzeranno il concetto di spiegazione da quattro punti di vista
differenti. Vi e' quindi una serie di contributi piu' specifici.
Data la notevole quantita' di interventi, l'inizio sara'
alle ore 9 esatte.
--------------------------------------------------------------------
PROGRAMMA DELLA GIORNATA
9.00 - 9.10 Apertura dei lavori
9.10 - 10.30 Relazioni introduttive:
9.10 - 9.50 E. Franzini (Dip. Filosofia, Univ. Milano):
Causalita' e Motivazione
9.50 - 10.30 G. Lolli (Dip. Informatica, Univ. Torino)
La spiegazione in matematica: logica e visualizzazione
10.30 - 11.00 BREAK
11.00 - 12.20 Relazioni introduttive:
11.00 - 11.40 M. Ricciardi (Dip. Scienze Letterarie e filologiche,
Univ. Torino)
La spiegazione testuale
11.40 - 12.20 L. Saitta (Dip. Informatica, Univ. Torino)
Ruolo della spiegazione nell'Intelligenza Artificiale
Contributi
12.20 - 12.40 L. Magnani (Lab. di Filosofia Computazionale,
Dip. Filosofia, Univ. Pavia)
Coerenza della spiegazione e ipotesi esplicative visuali
12.40 - 13.00 P. Dessi' (Dip. Filosofia, Univ. Torino)
Proposte teoriche recenti di definizione della
nozione di spiegazione
12.50 - 14.00 BREAK
14.00 - 14.30 Assemblea del Gruppo di Lavoro AI*IA "Rappresentazione della
Conoscenza e ragionamento automatico"
14.30 - 14.50 L. Portinale, P. Torasso (Dip. Informatica, Univ. Torino)
Comparazione tra Approcci Abduttivi nella Logica Horn
e nei Modelli Probabilistici basati su Reti Bayesiane
14.50 - 15.10 M. Lentini, D. Nardi, A. Simonetta (Dip. Informatica
e Sistemistica, Univ. Roma La Sapienza)
Generazione automatica di spiegazioni per applicazioni
sviluppate tramite foglio elettronico
15.10 - 15.30 R. Falcone (Ist. Psicologia CNR, Roma)
Chart-Based Plan Recognition for Explanation
15.30 - 15.50 M. Bucciarelli (Dip. Psicologia, Univ. Torino)
Il ragionamento formale e la teoria dei modelli mentali
15.50 - 16.10 BREAK
16.10 - 16.30 L. Ironi (Ist. Analisi numerica del CNR, Pavia)
Spiegazione in modelli di sistemi fisici
16.30 - 16.50 A. Giovannelli (Dip. Informatica e Sistemistica,
Univ. Roma La Sapienza)
Formalizzazione e Diagnosi di programmi nel Calcolo
delle Situazioni
16.50 - 17.10 L. Ardissono, L. Lesmo, D. Sestero (Dip. Informatica,
Univ. Torino)
La spiegazione nei dialoghi Information-seeking
17.20 - 18.30 Discussione
--------------------------------------------------------------------
LA PARTECIPAZIONE ALLA GIORNATA E' GRATUITA ED E' RISERVATA AI
SOCI DELLA ASSOCIAZIONE ITALIANA PER L'INTELLIGENZA ARTIFICIALE (AI*IA).
La giornata vuole essere un invito ad avvicinarsi e a conoscere
l'associazione; sara' quindi possibile aderire all'Associazione
direttamente alla giornata.
--------------------------------------------------------------------
LE PERSONE INTERESSATE A PARTECIPARE SONO PREGATE DI DARNE
COMUNICAZIONE A
Luca Console
Dipartimento di Informatica
Universita' di Torino
Corso Svizzera 185
10149 Torino
email: lconsole@di.unito.it
Tel: (011) 7429 205
Fax: (011) 751603
--------------------------------------------------------------------
NOTE PER RAGGIUNGERE IL DIPARTIMENTO DI INFORMATICA
Il Dipartimento e' dentro un grosso complesso di uffici denominato Piero
della Francesca.
Per arrivare in fretta al dipartimento anziche' entrare da Corso Svizzera 185
e' bene entrare da Via Pessinetto 12, salire le evidenti rampe dove
ci sono le aule;
La giornata sara' in AULA D.
Per raggiungere il Dipartimento
se arrivate all'aeroporto di Caselle
ci sono due possibilita'
- prendere taxi (costo circa 40.000 - 50.000 lire, tempo circa 20-25 minuti)
- prendere autobus per AIR Terminal ma scendere alla fermata di Torino Porta
Susa (che e' in centro citta' ma piu' in direzione del Dipartimento). Ci
dovrebbe essere un bus ogni 30 minuti. Tempo di viaggio circa 30 minuti.
Da Porta Susa al Dipartimento vedi sotto.
Se arrivate in treno da Milano.
Scendere alla stazione di Porta Susa (tutti i treni compresi gli intercity si
fermano).
Prendere l'autobus numero 59 o 59 sbarrato di fronte alla stazione direzione
Le Vallette e scendere alla prima fermata di Via Pianezza (si torna
indietro di 50 metri e si e' su Corso Svizzera, svoltate a sinistra e siete
al Dipartimento in circa 150 metri).
se arrivate in treno da Genova, Roma, Bologna
Scendere alla stazione di Porta Nuova (tanto il treno non va piu' avanti).
Attraversare il corso di fronte alla stazione (Corso Vittorio Emanuale II)
e prendere il tram numero 9 in direzione Madonna di Campagna (non so il nome
del capolinea).
Scendete in Corso Svizzera chiedendo dell'Ospedale Amedeo di Savoia.
Il centro Piero della Francesca e' proprio di fornte a voi e cosi'
via Pessinetto.
--------------------------------------------------------------------
Se avete bisogno di un albergo a Torino potete provare nei seguenti:
Dock Milano (***) - Via Cernaia 46 - Tel (011) 562 2622
di fronte alla Stazione Porta Susa
Genova e Stazione (***) - Via Sacchi 14b - Tel. 562 9400
di fronte alla Stazione Porta Nuova
Bologna (**) - Corso Vittorio Emanuele 60 - Tel. 562 0191
di fronte alla Stazione Porta Nuova
Royal (****) - Corso Regina Margherita 249 - Tel. 437 6777
a 5 minuti a piedi dal Dipartimento (ma caro)