Gli studenti acquisiranno la conoscenza di sistemi per il ragionamento in condizioni di derivabilità non classiche, con particolare riguardo alle derivazioni scettiche.
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
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
Informatica | I testi adottati verranno indicati nelle prime lezioni del corso. |
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.
******** CSS e script comuni siti DOL - frase 9957 ********p>