Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali...

31
Origine e sviluppo Origine e sviluppo dell’informatica dell’informatica giuridica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011 Ignazio Zangara Università degli studi di Catania

Transcript of Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali...

Page 1: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Origine e sviluppo Origine e sviluppo dell’informatica giuridicadell’informatica giuridica

Facoltà di Scienze Matematiche, Fisiche e Naturali

Corso di laurea in Informatica

Anno accademico 2010/2011

Ignazio Zangara

Università degli studi di Catania

Page 2: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Lee Loevinger

Jurimetrics

in Minnesota Law Review 33 (1949) p. 455 ss.

Viene teorizzato l’uso dei calcolatori elettronici nel campo del diritto.

GIURIMETRIA

Page 3: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

GIURIMETRIA(dalla seconda metà degli anni ’40 ai primi anni ’60)

Tre aree di intervento•Archiviazione e reperimento elettronico delle informazioni giuridiche•Formalizzazione del diritto e della scienza giuridica mediante la logica

simbolica•Previsione delle decisioni giuridiche sulla base di analisi comportamentali

Tre filoni di ricerca•Documentario•Metadocumentario o decisionale•Statistico-previsionale

EUROPA

(civil law)

Soltanto USA

(common law)

Page 4: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Gli sviluppi in Italia(Giuscibernetica - Giuritecnica)

• La Giuscibernetica nasce nell’ambito del filone metadocumentario o decisionale

M. Losano: scienza che studia il modo in cui si forma la decisione giuridicaSviluppi:formalizzazione del linguaggio legislativo

• La Giuritecnica nasce nell’ambito del filone documentario

V. Frosini: scienza che studia le tecnologie per l’accesso ai documenti giuridici, ma anche i modi in cui cambia il modo di lavorare dei giuristi indotti dalla rivoluzione tecnologica

Sviluppi: Banche dati giuridiche (CED, ITTIG, Parlamento)

Page 5: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

INFORMATICA GIURIDICA(dalla metà degli anni ’60 ad oggi)

Il nome “informatica giuridica” viene coniato in Francia come contrazione di information automatique juridique.

Page 6: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

• Informatica giuridica “concentrata”: mainframe, terminali “stupidi” (anni ’60 e ’70)

• Informatica giuridica “individuale”: personal computer, cd-rom (anni ’80)

• Informatica giuridica “distribuita” o diffusa: telematica (anni ’90)

Informatica giuridica e sviluppo tecnologico

Page 7: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

• Sistemi informativi: producono informazione (dagli anni ’60)

• Sistemi cognitivi: producono nuova conoscenza (dagli anni ’70)

• Sistemi redazionali: producono atti giuridici (dalla metà degli anni ’70)

• Sistemi manageriali: producono procedure di gestione (dalla metà degli anni ’70)

• Sistemi didattici: producono processi di apprendimento (dagli anni ’80)

Informatica giuridica e profilo funzionale

Page 8: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

• Sistemi informatici che producono e diffondono informazione.• Sistemi dedicati all’organizzazione, alla raccolta ed alla ricerca delle informazioni.• Sistemi che immagazzinano documenti (testo delle leggi, indicazioni bibliografiche, ecc.) ed aiutano l’utente a reperire tra i documenti immagazzinati quelli di suo specifico interesse.

1. Sistemi informativi

Page 9: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Sistemi informativi

Quattro periodi• dei sistemi adialogici o batch (anni ’60 - inizi anni

’70)• dei (inizi anni ’70 - metà anni ’80) sistemi

dialogici o interattivi o conversazionali • dei sistemi informativi ipertestuali (anni ’80)• dei sistemi informativi integrati o telematici (anni

’90)

Page 10: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Alle origini dell’ipertesto

Vannevar Bush

As We May Thinkin The Atlantic Monthly 176 (July 1945)

Bush parte da un’ipotesi di tipo cognitivo, affermando che le tecniche classiche di ricerca dell’informazione sono inadatte al nostro funzionamento mentale:Quando i dati di qualunque specie sono posti in un magazzino, essi sono archiviati alfabeticamente o numericamente, e l’informazione viene trovata (quando ciò accade) inseguendola di sottoclasse in sottoclasse.

La mente umana non funziona in questo modo. Essa funziona per associazione. Con una sola informazione in suo possesso, essa scatta immediatamente alla successiva che viene suggerita per associazione di idee, conformemente ad un’intricata rete di percorsi sostenuta dalle cellule del cervello.

Page 11: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Memex

Un Memex è un dispositivo in cui un individuo memorizza tutti i suoi libri, documenti e comunicazioni, e che è meccanizzato in modo che può essere consultato con estrema rapidità e flessibilità. È un’estensione personale della sua memoria.

Page 12: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Memex

È esattamente come se le informazioni materiali fossero state raccolte assieme da fonti completamente separate e collegate assieme a formare un nuovo libro. È molto più di questo, perché ciascuna informazione può essere collegata in numerosi percorsi.

Un’informazione ne seleziona immediatamente e automaticamente un’altra. Questa è la caratteristica essenziale del Memex. La cosa importante è il processo che permette di collegare due informazioni.

Page 13: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Ipertesto (Hypertext)

Con “ipertesto” intendo un testo scritto, non sequenziale che si ramifica e permette scelte al lettore, letto al meglio su uno schermo interattivo.

Un ipertesto è una serie di grani di testo tra cui sono creati collegamenti che consentono al lettore differenti cammini.

Una struttura di testo che non può essere stampata agevolmente.

Ted Nelson, 1965

Testo ramificato e interattivo.

Si tratta di una serie di pezzi di testo tenuti insieme da collegamenti che offrono al lettore percorsi differenti

Page 14: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Ipertesto

Il prefisso iper- indica che un oggetto ha più dimensioni di quelle consuete per la quotidiana esperienza del mondo fisico: se un cubo nella quotidiana esperienza del mondo fisico ha 3 dimensioni, un ipercubo è un cubo che ha 4 o più dimensioni.

Allo stesso modo un ipertesto è un testo che si estende su più dimensioni di un testo ordinario. Se la dimensione caratteristica di un testo ordinario su carta è quella della linearità di lettura, un ipertesto è tale perché si presta a molteplici letture.

Page 15: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Sistemi informativi ipertestuali

Sistemi che consentono di istituire legami di tipo associativo tra i documenti contenuti nella banca dati.

Differenze tra sistemi ipertestuali e sistemi informativi tradizionali•accesso attraverso legami associativi anziché attraverso “chiavi di ricerca” (browsing in luogo di searching)

•creazione di percorsi di ricerca non prefissati•superamento del concetto di “testo” come struttura unidimensionale (sequenziale)

Page 16: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Ipermedia (Hypermedia)

Complessi di immagini, filmati e suoni che si ramificano e interagiscono con documenti testuali.

Ted Nelson, 1993

Page 17: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Sistemi informativi ipermediali

Sistemi che consentono di accedere mediante legami di tipo associativo a documenti testuali e non testuali (immagini, grafici, filmati, musica, ecc.).

Sono l’integrazione tra un sistema multimediale e la tecnica ipertestuale, sommando i vantaggi dell’uno e dell’altra.

Page 18: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

2. Sistemi cognitivi

• Un processo di elaborazione dei dati che riproduce i ragionamenti complessi tipici della mente umana.

• Un risultato dell’elaborazione che consiste in una nuova conoscenza prodotta dal computer, anziché nel reperimento di informazioni fornite al computer (come avviene con i sistemi informativi).

Intelligenza artificiale

Page 19: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Differenza fondamentale tra sistemi informativi e sistemi cognitivi

I sistemi informativi sono isomorfi

input output

dati in entrata (input) = dati in uscita (output)

Page 20: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Differenza fondamentale tra sistemi informativi e sistemi cognitivi

I sistemi cognitivi sono eteromorfi

input output

dati in entrata (input) dati in uscita (output)

Page 21: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Sistemi cognitivi

I sistemi cognitivi degli anni ’70Sistemi basati sulle norme giuridiche (rules-based).

I sistemi cognitivi degli anni ’80Mirano ad integrare la base di conoscenza con altri elementi, quali la giurisprudenza e l’esperienza professionale.

I sistemi cognitivi degli anni ’90Prevalentemente orientati verso basi di conoscenza giurisprudenziali (cases-based).

Page 22: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Disputa teorica

• IA forte: teoria dei processi cognitivi umani (la macchina misura la correttezza del ragionamento umano)

• IA debole: soluzione di problemi (la mente umana crea modelli cognitivi che la macchina riproduce)

Page 23: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Soluzione di problemi(Problem solving)

Studia il modo in cui, di fronte ad un problema, la mente umana reagisce per adattarsi ad una nuova situazione

Il ragionamento giuridico: confronto tra la situazione fattuale e la situazione astratta prevista dalla norma, al fine di trovare una soluzione o di arrivare ad una decisione

Page 24: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Due componenti dei programmi di IA

• le informazioni su uno specifico settore della realtà (base di conoscenza)

• le istruzioni per ‘ragionare’ su tali informazioni ricavandone conoscenze originali (motore di inferenza)

Page 25: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Base di conoscenza

• Individuazione delle fonti di conoscenza

• Scelta del modo di rappresentare ciascuna fonte (formalismo di rappresentazione):– formalismi procedurali: regole (inferenza

deduttiva, concatenazione di cause/effetti fra gli eventi)

– formalismi dichiarativi: casi (stati di cose, reti semantiche)

• Traduzione in linguaggio computabile

Page 26: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Formalismo procedurale

Maggiore età: SI NO

Può sposarsi Mario?

È permesso sposarsi

Autorizzazione del Tribunale:

SI NO

Non può sposarsi

Page 27: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Formalismo dichiarativo

Possono sposarsi Giovanni e Sandra?

Sesso: M

Età: 25

Franco e Sara si sono sposati; Franco è un uomo di 25 anni; Sara è una donna di 23 anni

Cesare ed Eleonora si sono sposati; Cesare è un uomo di 22 anni; Eleonora è una donna di 16 anni; Eleonora ha ottenuto l’autorizzazione del Tribunale

Sesso: F

Età: 16Giovanni e Sandra possono

sposarsi, laddove Sandra ottenga l’autorizzazione del

Tribunale

Page 28: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

Le applicazioni nel diritto

• Paesi di Civil Law (regole):– Trattamento della legislazione e delle fonti

scritte.– Programmi basati su ragionamenti deduttivi

• Paesi di Common Law (casi):– Trattamento delle sentenze– Programmi basati su meccanismi analogici

Page 29: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

3. Sistemi redazionali• Hanno come obiettivo la formulazione automatica di atti giuridici: atti processuali, negozi giuridici, atti normativi, atti decisori.

• Sono sostanzialmente editori di testi integrati da funzioni specifiche per la redazione di atti giuridici.

• Le prime applicazioni sono i formulari elettronici per la redazione di atti giuridici negoziali o processuali. Sono una componente dei sistemi per l’automazione dell’ufficio legale e notarile.

• Applicazioni più recenti (a partire dagli anni ’80) sono quelle per il controllo della redazione formale e tecnica dei testi normativi (legimatica).

Page 30: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

4. Sistemi manageriali (gestionali)

Tre periodi• L’informatica giudiziaria degli anni ’70 e ’80

• I sistemi gestionali degli studi legali e notarili (fine anni ’80)

• L’istituzione dell’AIPA (1993), CNIPA (2003), DigitPA (2009)

Applicazioni dirette ad automatizzare l’organizzazione del lavoro di un ufficio impegnato in attività giuridiche [informatica giudiziaria, legale (forense e notarile), amministrativa].

Page 31: Origine e sviluppo dellinformatica giuridica Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di laurea in Informatica Anno accademico 2010/2011.

5. Sistemi didattici

Fasi di sviluppo• I primi esperimenti (Francia, fine anni ’70)

• L’avvento delle tecniche ipertestuali e multimediali (USA e UK, fine anni ’80)

Hanno come obiettivo la produzione di programmi di aiuto all’apprendimento del diritto.