Corso di Informatica Giuridica - My LIUCmy.liuc.it/MatSup/2005/H30730/ezione1-05-06.pdf · 2006. 2....

1

Corso di Informatica Giuridica

Lezione 1Informatica giuridica e diritto

dell’informatica

2

Informatica giuridicaIl percorso storico della disciplina

“ I problemi giuridici sono per loro naturaproblemi di comunicazione e di ciberneticae cioè problemi relativi al regolato eripetibile governo di certe situazionicritiche”Norbert Wiener (Cybernetics, 1948)

3

Informatica giuridicaIl percorso storico della disciplina

Lee Loevinger e Hans Baade gettano le basi dellagiurimetria (Jurimetrics 1949), individuando trefinalità di tale disciplina:

• Applicare modelli logici a norme giuridiche;• Utilizzare l’elaboratore nell’attività giuridica• Utilizzare l’elaboratore per giungere alla

previsione delle future sentenze del giudice.

4

Informatica giuridicaIl percorso storico della disciplina

Il filone di studi statunitense ha per oggettol’analisi del comportamento giudiziale ascopo previsionale.

5

Informatica giuridicaIl percorso storico della disciplina

In Europa gli studi di informatica giuridica siorientarono in due aree diverse:

• L’information retrieval (informaticadocumentaria)

• L’informatica a supporto dell’analisigiuridica (informatica metadocumentaria)

6

L’information retrievalGli aspetti che caratterizzano la produzionenormativa dello stato sociale sono:- dinamicità: incessante produzione e consumo dinorme- differenziazione: frantumazione degli istitutigiuridici- disorganicità: mancanza di una logica unitaria erigorosa

La crescente opacità e indeterminatezza delsistema giuridico mette in crisi il principio dicertezza del diritto su cui si basa lo stesso sistema(Spiros Simitis “Crisi dell’informazione giuridicaed elaborazione elettronica dei dati)

7

L’information retrieval

Dalla crisi dell’informazione giuridicanasce l’urgenza di porre in essere sistemiche consentano la raccolta,l’organizzazione e il reperimento delmateriale giuridico.

8

Sistemi informativiI sistemi informativi sono isomorfi! dati in entrata = dati in uscita

leggi leggi

giurisprudenza

giurisprudenza

9

L’informatica documentaria

L’informatica documentaria risponde quindiall’urgente necessità in ambito giuridico diorganizzare e quindi reperire il materiale.

Il reperimento più agevole del materiale non èperò sufficiente a ridurre l’”incertezzagiuridica”......

10

L’informatica metadocumentaria

Sul filone dell’intelligenza artificiale e degli studisulle reti neurali si innesta l’indirizzo logicoformale della giurimetria, dando vita alleapplicazioni informatico-giuridiche di tipometadocumentario o decisionale:- i sistemi esperti- la legimatica ……

a supporto della redazione dei testi normativi...

11

I sistemi cognitiviI sistemi cognitivi sono eteromorfi! dati in entrata ≠ dati in uscita

leggi altreleggi

giurisprudenza decisioni

esperienzaprofess.

12

L’informatica giuridica

L’informatica giuridica si è quindi consolidata inaree definite:

• l’informatica documentaria• l’informatica metadocumentaria• …. l’informatica gestionale, cioè l’informatica a

supporto dell’attività del giurista (avvocato,legale d’impresa etc.)– di cui un settore sempre più di rilievo è rappresentato

dall’informatica giudiziaria (processo civile telematico)

13

Il rapporto tra informatica e dirittoha dato vita nel tempo a due discipline:

• L’informaticagiuridica:l’applicazionedell’informaticaal diritto

• Il dirittodell’informatica:l’applicazionedel dirittoall’informatica

14

Il diritto dell’informatica

L’informatica si fa oggetto del diritto

Il complesso delle norme legislative, delledecisioni giurisprudenziali e dellaletteratura giuridica in materia diinformatica

15

Diritto dell’informaticaLe domande sottese alla diffusione

dell’informatica

• È opportuno sollecitare un interventonormativo per regolare il fenomeno?

• Le norme già in vigore riescono a darerisposta alle domande che il fenomenopone?

• E’ opportuno ricorrere a normeautoprodotte?

16

I temi del corso

opere digitalie software

Tutela deldiritto d’autore

protocolloinformatico, e-procuremente.government

Informaticanella PubblicaAmministrazione

Firma digitale,conservazionesostitutiva

Valoregiuridico deldocumentoelettronico

Contrattualistica,tutela deimarchi, nomi adominio, valoregiuridico deldocumentoinformatico,risoluzione dellecontroversie online

Principigenerali eapplicazioniin internet

Rapporticommerciali ininternet

Tutela dei datipersonali

17

Prog

ram

ma

Rapporti commerciali in internet: aspetti giuridicidel commercio elettronico, nomi a dominio e attidi concorrenza sleale

5 aprile 2006

La tutela dei dati personali29 marzo 2006

Diritto d’autore delle opere digitali e del software22 marzo 2006

Reperimento materiale giuridico (laboratorio)15 marzo 2006

Reperimento materiale giuridico (laboratorio)8 marzo 2006

Reperimento materiale giuridico (laboratorio)1 marzo 2006

Introduzione all’informatica giuridicaIntroduzione alle problematiche dell’informaticametadocumentaria

22 febbraio 2006

ArgomentiLezioni

18

Bibliografia

Giancarlo Taddei ElmiCorso di informatica giuridicaEdizioni Giuridiche Simone 2003pagg. 15-23 89-100

19

Informatica metadocumentaria

Introduzione alle problematiche dei sistemicognitivi nell’area giuridica

Introduzione alla legimatica

20

Sistemi cognitiviIntroduzione ai sistemi esperti legali

Un sistema esperto è un sistema cognitivocomposto da una base di conoscenzarappresentata in modo formale e un motoreinferenziale che stabilisce il modo diutilizzare tale conoscenza

21

Alcuni esempi• Automa infortunistico (IDG 1974-1976)

• liquidazione del danno patrimoniale da sinistro stradale• Methodus (Università di Roma)

• consulenza sulla richiesta di iscrizione all’albo degli autotrasportatori• Proleg (Enidata)

• trattazione della normativa in materia di risparmio enrgetico e discarichi inquinanti

• Sefit (Università di Bologna)• informazioni sull’accesso ai finanziamenti del Fondo per

l’innovazione tecnologica

22

Struttura di un sistema esperto

Individuazione di un dominio

rappresentazione della conoscenza

utilizzazione della conoscenza formalizzata

interfaccia con l’utente

23

Rappresentazione della conoscenzaMetodo logico

3 livelli di formalizzazione

A) livello analitico: riduzione in proposizionielementari

B) livello sintetico combinatorio: combinazionedelle proposizioni attraverso connettori logici(and, or)

C) livello sintetico deduttivo: costruzione diinferenze tipo se... allora

24

Esempi

Se X è un canealloraX non può entrare

Se Tizio è maggiorenneandSe Tizio è celibealloraTizio può sposarsi

livello sinteticodeduttivo

Tizio è maggiorenneandTizio è celibe

livello sinteticocombinatorio

X è un caneX non può entrare

Tizio è maggiorenneTizio è celibeTizio può sposarsi

livello analitico

E’ vietato introdurrecani

Possono contrarre matrimonio imaggiorenni non coniugati

Disposizioni

25

Limiti del metodo logico:il paradosso della tigre

Se X è una tigre allora può entrare?

Il metodo logico non può che dare unarisposta positiva: la tigre può entrare!

26

Metodo semanticodefinire il significato interpretare

reti semantiche cercano di descrivereun’entità attraverso le relazioni di senso in cui taleentità si trova rispetto alle altre entità della realtà

frame struttura in base alla quale unconcetto è definito in virtù di alcune proprietànecessarie e sufficienti che esso deve possedere perappartenere ad una certa classe

27

Metodo semantico: esempi

proprietà necessarie esufficienti del cane

cane-animale-mammifero-pelo-zampeetc.animale dovrà avere ilsuo frame e così glialtri....

relazioni di significatocon cane

• cane è in relazionegerarchica conanimale

• cane è in relazioneattributo con zampe,pelo, etc.

• ....

framereti semantiche

28

Esempio“Vietato introdurre cani”

Posso introdurre una tigre?

se x è un animaleallora x non può entrare

metodo logico

cane è associato adanimale

metodo semantico(reti semantiche o frame)

x è una tigrex è un animale

metodo logico

La tigre non può entrare!

29

Motore di inferenza

Utilizzazione della conoscenza formalizzata

1. guidata dall’antecedente

2. guidata dal conseguente

30

Regole di inferenza: esempio

Se Tizio è maggiorenne and Tizionon è coniugatoallora Tizio può sposarsi

Se Tizio è minorenne and Tizio non èconiugatoallora non può sposarsi

Se Tizio è maggiorenne and Tizio èconiugatoallora Tizio non può sposarsi

Se Tizio ha più di 18 anni allora èmaggiorenne

Se Tizio ha meno di 18 anni allora èminorenneantecedente:

Tizio ha 18 anni e non èconiugato

conseguente:Tizio vuole sposarsi

31

Legistica LegimaticaLegistica

Studio dell’attività legislativa

LegimaticaModellizzazione del ragionamento e delle procedure relativealla produzione legislativa, rispetto alla redazione dei testi

legislativi, all’attività politico decisionale, all’analisi difattibilità e alla verifica dell’efficacia delle leggi

32

Le difficoltà di applicazionedelle leggi

La difficoltà di applicazione delle leggi è imputabileprincipalmente a tre categorie di difetti:

• difetti puramente formali di redazione legislativa

• sovrapposizione normativa

• mancata verifica preventiva delle condizioni diapplicabilità della norma

33

Le regole italiane di legistica

• Formulazione tecnica dei testi legislativiCircolari dei Pres. Camera e Senato e Pres.Cons. Min. 24 febb. 1986

• Regole e suggerimenti per la redazione deitesti normativi Conf. Pres. Assemblea, Cons. regionali eProvv. autonome - dicembre 1991

34

Gli aspetti redazionaliDal 1991 il Manuale “Regole e suggerimenti per laredazione dei testi normativi” rappresenta un punto diriferimento imprescindibile sia per la legistica che per lalegimatica5 interventi principali:

- linguaggio normativo- scrittura dei testi normativi- struttura dell’atto normativo- riferimenti o rinvii- modifiche

35

correttorecorrettore

ortograficoortografico

36DOC. 1

analizzatoreanalizzatore

grammaticalegrammaticale

37

analizzatoreanalizzatore

statisticostatistico

38

La valutazione di fattibilità delle leggiScopo: valutare se una disposizione normativa è attuabile e

con quali prevedibili effetti• Impatto normativo

• analisi delle relazioni tra la norma nuova e le norme preesistenti conparticolare riguardo alle disposizioni che incidono sulla “sintassi”normativa

• Impatto finanziario• analisi della copertura finanziaria della legge (formale e sostanziale)

• Impatto amministrativo• individuazione dei soggetti amministrativi coinvolti, delle risorse

necessarie, delle risorse disponibili• Impatto reale

• analisi delle finalità del processo decisionale (obiettivi e destinatari),valutazione delle modificazioni che la norma si propone di operaresui destinatari

39

Strumenti

• analisi di fattibilità delle leggistrumento approntato dalla conferenza dei presidenti dei

consigli regionali e delle province autonome

• scheda ARA, Analisi di Ricaduta Amministrativa• AIR, Analisi di Impatto della Regolazione

• introdotta dalla legge 50/99 art. 5, dalla dir.PCM 27.3.00 e dalladir.PCM 9.9.01

• .....

40

Analisi dell’impatto della regolamentazione

L’AIR è una metodologia di valutazioneeconomica ex ante delle ricadute – intermini qualitativi e quantitativi – dellaregolazione normativasull’organizzazione e il funzionamentodelle pubbliche amministrazioni e sulleattività dei cittadini e delle imprese.

41

AIR• opzioni regolative

• opzione zero• opzione di deregolamentazione• opzioni volontarie• opzioni di autoregolamentazione• opzioni di quasi mercato• opzioni di regolamentazione attraverso l’informazione• opzioni di regolazione diretta• opzioni miste

• consultazione• analisi costi/benefici

• per i destinatari (attuali e potenziali) della regolamentazione• per la pubblica amministrazione• per gli altri soggetti coinvolti• conseguenze indirette di natura economica-sociale

42

Percorso di valutazioneopzioni rilevanti opzioni attuabili opzione preferita

analisi dei presupposti (organizzativi, finanziari, economici, sociali)

analisi delle criticità (vincoli da superare ad un costo accettabile)

attuabilitàconsultazionianalisi costi-benefici

scelta opzione