Return to search

Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico

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.

Identiferoai:union.ndltd.org:unibo.it/oai:amsdottorato.cib.unibo.it:1970
Date08 July 2009
CreatorsRubino, Rossella <1980>
ContributorsRotolo, Antonino
PublisherAlma Mater Studiorum - Università di Bologna
Source SetsUniversità di Bologna
LanguageItalian
Detected LanguageItalian
TypeDoctoral Thesis, PeerReviewed
Formatapplication/pdf
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0018 seconds