UNIVERSITÀ DEGLI STUDI DI BOLOGNA

FACOLTÀ DI LETTERE E FILOSOFIA

Corso di Laurea in Filosofia

Tesi di Laurea in Filosofia della Scienza

MONOTONICITÀ E LOGICA DI DEFAULT

Relatore Prof. Giorgio Sandri

Presentata Da Antonio De Negri

Indice

Introduzione

1. Il ragionamento di default

2. La logica come forma di rappresentazione della conoscenza

2.1 La logica del primo ordine

2.1.1 Linguaggi del primo ordine

2.1.2 Introduzione della non monotonicità nella Logica del Primo Ordine

2.2 La logica di default

2.2.1 Introduzione

2.2.2 Formalizzazione della logica di default

2.2.3 Proprietà delle teorie di default

2.3 I default normali

2.4 I default semi-normali

3. Criteri di accettazione dei default

3.1 Le espressioni generiche

3.2 L'insieme delle alternative

3.3 L'utilizzo delle espressioni generiche nel ragionamento di default

3.3.1 Rilevanza e specificità tra le proprietà

3.3.2 L'approccio scettico e l'approccio fiducioso

3.4 L'abduzione nel ragionamento di default

4. La logica di default come strumento di computazione

4.1 Struttura del programma DeReS

4.1.1 Default Reasoning Module

4.1.2 Prover Module

4.1.3 Interfaccia Utente

4.2 Esperimenti con la logica di default

Conclusioni

Bibliografia

SCARICA