Non monotonic reasoning (2020/2021)

Codice insegnamento
cod wi: DT000085
Docente
Matteo Cristani
Coordinatore
Matteo Cristani
crediti
3
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
A.A. 20/21 dottorato dal 1-ott-2020 al 30-set-2021.

Orario lezioni

Vai all'orario delle lezioni

Obiettivi formativi

Gli studenti acquisiranno la conoscenza di sistemi per il ragionamento in condizioni di derivabilità non classiche, con particolare riguardo alle derivazioni scettiche.

Programma

Introduzione alla non-monotonia
Sistemi non monotoni standard
- default logic
- defeasible logic
Sistemi basati sulla derivazione scettica
Condizioni interpretative, semantica grounded e metodi di ragionamento
Esempi di ragionamento non monotono: induzione scientifica, ragionamento diagnostico, ragionamento legale

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Informatica I testi adottati verranno indicati nelle prime lezioni del corso.  

Modalità d'esame

L'esame consiste nella preparazione di un survey di alcuni articoli relativi al tema di interesse dello studente, in cui siano presenti problematiche di ragionamento non monotono, o in cui si possa immaginare una applicazione di metodi di ragionamento non monotono, con relativa proposta tecnica da parte dello studente stesso.