Introduzione
Capitolo I - La scienza cognitiva
1. La scienza cognitiva
2. La
psicologia cognitiva
3. L'intelligenza artificiale
4. La linguistica:
concetti linguaggio realtà
5. Filosofia : le primitive
6. La teoria dei
modelli
6.1. Dalla percezione al modello
6.2. Dal modello alla
comprensione
Capitolo II - I formalismi di rappresentazione
1. I formalismi per
la rappresentazione della conoscenza
1.1. Property List
1.2. La rete
semantica
1.3. I Frames
1.4. I linguaggi logici
1.5. Sistemi di
produzioni
1.6. La rappresentazione diretta
Capitolo III - I modelli concettuali
1. I modelli
concettuali
1.1. Organizzazione dei concetti
1.2. Le definizioni dei
tipi
1.3. Gli schemi ed i prototipi
1.4. Elaborazione dei concetti: le
regola di inferenza
1.5. I contenuti
2. I limiti e l'evoluzione dei
modelli concettuali
Capitolo IV - Il modello cognitivo giuridico
1. Il modello
cognitivo giuridico
1.1. Il processo di soluzione di problemi
1.2.
L'analisi del discorso
1.3. La rappresentazione del problema
1.4. La
soluzione del problema
1.5. Il modello cognitivo del ragionamento
giudiziario
Capitolo V - La rappresentazione della conoscenza giuridica
1. La
teoria del diritto e la rappresentazione della conoscenza
2. I modelli del
diritto costruiti dall'I.A
2.1. Modelli tradizionali: la legislazione e la
casistica
2.1.1. La formalizzazione della
legislazione
2.1.2. Enunciato e proposizione
2.2.
La struttura della norma
3. I modelli profondi del diritto
Capitolo VI - Ontologia
1. L' ontologia
1.1. L'ontologia come
disciplina filosofica
1.2. Un modello ontologico specifico e funzionale
1.3. Le categorie ontologiche
1.4. Categorie ontologiche formali
1.5.
Livelli di primitive
2. Un esempio di ontologia formale computabile
3.
Categorie ontologiche giuridiche
3.1. Reinach: gli atti sociali
3.2. La
teoria degli Atti linguistici
3.3. Le norme costitutive
Capitolo VII - Modelli funzionali e strutturali
1. Modelli
funzionali e strutturali. Il concetto di funzione
1.1. Un'applicazione: il
sistema esperto Esplex
2. Modelli basati sulla struttura
2.1. Modelli a
più livelli
2.2. Modelli basati sul confronto di
situazioni
2.2.1. Un'applicazione: le norm
frames
2.2.2. L'ontologia funzionale
2.3.
L'esperimento sulla legge per l'agriturismo
3. Modelli concettuali di
superficie
3.1. Dalle ontologie generali all'ontologia giuridica
3.2. I
concetti tecnici
Capitolo VIII - I concetti giuridici fondamentali
1. La teoria dei
concetti giuridici fondamentali
1.1. Hofheld
1.2. Kanger
1.3. La
teoria delle posizioni giuridiche
2. Modelli computabili.
Capitolo IX - L'analogia
1. L'analogia. I significati del
termine
1.1. Interpretazione induttiva: dal particolare al
particolare
1.2. Interpretazione deduttiva: l'integrazione delle
premesse
1.3. L'analogia come argomentazione
2. Giustificazione
(meta)logica dell'analogia giuridica
2.1. L'interpretazione estensiva
2.2. L'argomento a contrario
3. L'analogia nell'intelligenza
artificiale
3.1. L'approccio tradizionale dell' I.A
3.2. Example based
reasoning
3.3. Algoritmi genetici
Capitolo X - Il ragionamento sui casi
1. Il ragionamento sui
casi
1.1. Il metodo di costruzione dei modelli basati sui casi
1.2. La
rappresentazione dei casi
2. I modelli logici
2.1. Il
metalivello
2.2. Formalizzazione dell'identitas rationis
2.3. Norme,
principii, obiettivi
Capitolo XI - I modelli argomentativi
1. I modelli
dell'argomentazione: note introduttive
2. L'invalidabilità delle norme
3. L'argomentazione
3.1. Gli argomenti interpretativi
3.2. Gli
argomenti in senso logico
3.3. Gli argomenti retorici
4. Argomento in un
contesto computazionale
4.1. I modelli argomentativi:
4.2. I modelli
argomentativi computabili
Capitolo XII - Le logiche nonmonotoniche
1. Le logiche
nonmonotoniche
1.1. Classificazione degli approcci al ragionamento
nonmonotonico
1.2. L'estensione dell'inferenza
1.3. La costruzione di
teorie
1.4. L'estensioni multiple
1.5. L'abduzione
1.6. La revisione di
teorie
Capitolo XIII - I modelli formali dell'argomentazione
1. I modelli
argomentativi: la defeasible logic di Pollock
2. Modelli logici
dell'argomentazione
2.1. I modelli basati su Logic Programming: Nute
2.2.
Modelli generali: formal argumentation framework
2.3. La costruzione di
strategie argomentative
2.4. Il protocollo dialettico nei modelli logici.
Capitolo XIV - I modelli del dibattimento
1. L'interpretazione
delle norme legislative
2. Il modello dialettico di Gordon
Capitolo XV - I modelli complessi
1. I modelli complessi
1.1.
Introduzione di meccanismi non deduttivi: i ragionamenti plausibili
2.
L'introduzione del ragionamento per analogia
2.1. L'estrazione della ratio
decidendi
2.2. Differenza fra ratio decidendi ed obiter dicta
2.3. Il
principio dello stare decisis
3. L'effetto dell'integrazione fra fonti
legislative e fonti giurisprudenziali nei modelli computabili
3.1.
L'interpretazione attraverso esempi
3.2. L'introduzione di premesse
plausibili
3.3. Gli elementi teleologici
3.4. I rationales
4. Qualche
conclusione e qualche previsione
Riferimenti Bibliografici
Indice
Indice degli argomenti