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.