Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico

Rubino, Rossella (2009) Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica giuridica e diritto dell'informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1970.
Documenti full-text disponibili:
[img] Documento PDF (Italiano) - Accesso riservato - Richiede un lettore di PDF come Xpdf o Adobe Acrobat Reader
Download (1MB)

Abstract

La presente tesi descrive l’implementazione in Java di un algoritmo per il ragionamento giuridico che cattura due sue importanti peculiarità: la defeasibility del ragionamento normativo e il concetto di tempo. “Defeasible” significa “ritrattabile” e sta ad indicare, appunto, quegli schemi di ragionamento nei quali è possibile rivedere o ritrattare le conclusioni tratte precedentemente. Il tempo è essenziale per un’accurata rappresentazione degli scenari presenti nel mondo reale e in particolare per gli scenari giuridici. I profili temporali delle norme sono essenzialmente due: (i) tempo esterno della norma, cioè il periodo durante il quale la norma è valida cioè appartiene al sistema giuridico; (ii) tempo interno della norma che fa riferimento al periodo in cui la norma si applica. In particolare quest’ultimo periodo di tempo coincide con il periodo in cui le condizioni presenti nella norma devono presentarsi affinché essa produca i suoi effetti. Inoltre, nella tesi viene presentata un’estensione della logica defeasible in grado di distinguere tra regole con effetti persistenti, che valgono non solo per l’istante in cui si verificano le premesse ma anche per ogni istante successivo, e regole con effetti transitori, che valgono per un singolo istante. L’algoritmo presentato in questa tesi presenta una complessità lineare nelle dimensioni della teoria in ingresso e può interagire con le applicazioni del web semantico poiché elabora teorie scritte in Rule-ML, un linguaggio basato su XML per la rappresentazione di regole.

Abstract
Tipologia del documento
Tesi di dottorato
Autore
Rubino, Rossella
Supervisore
Dottorato di ricerca
Scuola di dottorato
Scienze giuridiche
Ciclo
21
Coordinatore
Settore disciplinare
Settore concorsuale
Parole chiave
ragionamento giuridico, ragionamento non-monotonico, logica defeasible, motore inferenziale, web semantico, regole di inferenza, dimensioni temporali delle norme, Rule-ML.
URN:NBN
DOI
10.6092/unibo/amsdottorato/1970
Data di discussione
8 Luglio 2009
URI

Altri metadati

Gestione del documento: Visualizza la tesi

^