Il diritto computazionale è l'area dell'informatica giuridica incentrata sull'automazione di processi precedentemente manuali e sull'integrazione delle informazioni legali con altre applicazioni e sistemi. I sistemi di legge computazionale automatizzano processi come il controllo della conformità, la pianificazione legale e l'analisi normativa.
Esistono diversi approcci alla legge computazionale:
- La legge algoritmica tenta di creare un codice di linguaggio legale che sia leggibile dalla macchina come METAlex e persino eseguibile dalla macchina come il Progetto Hamurrabi.
- L'analisi empirica guarda alle citazioni, spesso utilizzate in diritto, per analizzare e creare indici di citazioni e grandi grafici di precedenti legali denominati reti di citazioni.
- La visualizzazione del codice legale e delle relazioni tra leggi e decisioni può rivelare modelli su larga scala che potrebbero non essere rivelati da altri metodi di analisi. La visualizzazione attinge dalle reti di citazione.
Il diritto computazionale non viene utilizzato solo nelle applicazioni legali e nei tribunali. TurboTax utilizza la legge computazionale per eseguire calcoli basati sulle leggi fiscali per elaborare le dichiarazioni dei redditi. L'organizzazione senza scopo di lucro Creative Commons utilizza la legge computazionale per fornire licenze di copyright generate in modo personalizzato. L'analisi legale utilizza big data, critica di esperti e strumenti di facile utilizzo per fornire soluzioni di business intelligence e misurazione delle prestazioni. I veicoli a guida autonoma prendono in considerazione molti aspetti nella scelta delle opzioni di guida più sicure, comprese le informazioni integrate sulle leggi sui trasporti.
Sebbene il diritto non sia stato ancora effettuato uno studio formalizzato nel modo in cui lo hanno fatto la matematica e la scienza, i tentativi in tal senso non sono nuovi. Gottfried Leibniz è stato un pioniere della legge computazionale 300 anni fa, tentando di ridurre la legge a una questione di calcoli. I tentativi moderni di promuovere la legge computazionale si concentrano sulla creazione di un linguaggio in grado di definire esplicitamente le leggi e consentire all'intelligenza artificiale di emettere decisioni automatizzate. A causa della specificità con cui viene utilizzato il linguaggio giuridico, il diritto si adatta bene alle definizioni attraverso il linguaggio del computer. Stephen Wolfram, un programmatore linguistico veterano, sta attualmente lavorando a Wolfram Language, un esempio di linguaggio di legge computazionale.
L'integrazione dell'IT e l'uso crescente dell'automazione è una tendenza pervasiva e multidisciplinare in settori quali l'economia computazionale, la linguistica computazionale, l'assistenza sanitaria computazionale e la progettazione computazionale.