Argumentation in Artificial Intelligence: 20 Years after Dung's Work
Data: 26 luglio 2015, giornata intera
Docenti: Federico Cerutti
Sede: Buenos Aires, Argentina, New Building of Facultad de Ciencias Economicas, Room 436
Quando: domenica 26 luglio 2015, giornata intera.
Dove: Buenos Aires, Argentina, New Building of Facultad de Ciencias Economicas, Room 436.
Docente: Federico Cerutti.
Descrizione breve
L'argumentation technology e' presentata come area interdisciplinare che, nell'arco di vent'anni, e' diventata uno dei paradigmi piu' interessanti per il ragionamento di senso comune e la risoluzione dei conflitti. Il tutorial propone una panoramica estesa della ricerca nel settore, dei risultati ormai consolidati, delle implementazioni disponibili, delle applicazioni e delle domande aperte.
Descrizione del tutorial
Il percorso esplora gli approcci formali all'argumentation sviluppati nei due decenni successivi al lavoro di Dung e ormai adottati in applicazioni concrete. Per offrire una visione completa ai partecipanti, vengono richiamati anche altri versanti della teoria dell'argomentazione, come i dialoghi e le connessioni con le scienze sociali, pur mantenendo il focus tecnico sugli approcci piu' avanzati in AI.
La trattazione mette a confronto paradigmi basati sulla logica classica e sulla logica informale, chiarendo i legami con epistemologia, studi giuridici e teoria della complessita'. Sul piano tecnologico vengono discussi prototipi di ricerca applicati a casi reali, dalle applicazioni legali al sense-making nell'intelligence analysis, insieme allo stato dell'arte sugli algoritmi per il calcolo delle semantiche e a una discussione sull'ICCMA 2015. L'obiettivo e' fornire una comprensione profonda e aggiornata delle capacita' tecnologiche dell'argumentation in AI.