Prawo obliczeniowe

Prawo obliczeniowe to dział informatyki prawniczej zajmujący się automatyzacją rozumowania prawniczego. Tym, co odróżnia systemy prawa obliczeniowego od innych przykładów technologii prawniczej, jest ich autonomia, tj. zdolność do odpowiadania na pytania prawne bez dodatkowego wkładu ze strony ludzkich ekspertów prawnych.

Chociaż istnieje wiele możliwych zastosowań prawa obliczeniowego, obecnie głównym celem prac w tej dziedzinie jest zarządzanie zgodnością, tj. opracowywanie i wdrażanie systemów komputerowych zdolnych do oceny, ułatwiania lub egzekwowania przestrzegania zasad i przepisów. Niektóre systemy tego rodzaju już istnieją. Dobrym przykładem jest TurboTax . Potencjał jest szczególnie znaczący teraz ze względu na najnowsze postępy technologiczne, w tym rozpowszechnienie Internetu w interakcjach międzyludzkich oraz rozprzestrzenianie się wbudowanych systemów komputerowych (takich jak smartfony , samojezdne samochody i roboty ).

Istnieją również aplikacje, które nie obejmują przepisów rządowych. Regulaminem równie dobrze mogą być warunki umów (np. harmonogramy dostaw, umowy ubezpieczenia, transakcje dotyczące nieruchomości, umowy finansowe). Mogą to być polityki korporacji (np. ograniczenia w podróżach, raportowanie wydatków, zasady ustalania cen). Mogą to być nawet reguły gier (zawarte w systemach gier komputerowych).

Historia

Spekulacje na temat potencjalnych korzyści dla praktyki prawniczej poprzez zastosowanie metod z informatyki i badań nad sztuczną inteligencją w celu zautomatyzowania części prawa sięgają co najmniej połowy lat czterdziestych. Co więcej, sztuczna inteligencja i prawo oraz prawo obliczeniowe nie wydają się łatwe do rozdzielenia, ponieważ być może większość badań nad sztuczną inteligencją skupiających się na prawie i jego automatyzacji wydaje się wykorzystywać metody obliczeniowe. Formy, jakie przybierała spekulacja, są wielorakie i nie wszystkie są ze sobą powiązane w sposób, który łatwo pokazuje bliskość między sobą. Ta historia naszkicuje je tak, jak były, próbując pokazać relacje, w których można je znaleźć.

amerykańscy prawnicy założyli pomniejszą dziedzinę akademicką , której celem było włączenie metod elektronicznych i obliczeniowych do problemów prawnych, zwaną jurymetrią . Chociaż powszechnie mówi się, że dotyczyły zastosowania „metod naukowych” do prawa, metody te miały w rzeczywistości dość ściśle określony zakres. Jurymetria miała „zajmować się takimi sprawami, jak ilościowa analiza zachowań sądowych, zastosowanie teorii komunikacji i informacji do wypowiedzi prawnych, stosowanie logiki matematycznej w prawie, wyszukiwanie danych prawnych za pomocą środków elektronicznych i mechanicznych oraz sformułowanie rachunku przewidywalności prawnej”. Zainteresowania te doprowadziły w 1959 r. do założenia czasopisma „ Modern Uses of Logic in Law ” jako forum, na którym publikowane byłyby artykuły na temat zastosowań technik, takich jak logika matematyczna, inżynieria, statystyka itp., w badaniach i rozwoju prawa. W 1966 roku nazwa tego czasopisma została zmieniona na Jurimetrics . Dziś jednak wydaje się, że dziennik i znaczenie jurymetrii rozszerzyły się daleko poza to, co pasowałoby do obszarów zastosowań komputerów i metod obliczeniowych w prawie. Dziś czasopismo nie tylko publikuje artykuły na temat takich praktyk, jakie można znaleźć w prawie obliczeniowym, ale rozszerzyło zainteresowania jurymetryczne na takie rzeczy, jak wykorzystanie nauk społecznych w prawie lub „implikacje polityczne [z] oraz legislacyjna i administracyjna kontrola nauki”.

Niezależnie w 1958 roku, na Konferencji Mechanizacji Myśli, która odbyła się w National Physical Laboratory w Teddington , Middlesex , Wielka Brytania, francuski prawnik Lucien Mehl przedstawił referat zarówno na temat korzyści płynących z zastosowania metod obliczeniowych w prawie, jak i na temat potencjalnych sposobów wykorzystania takie metody automatyzacji prawa do dyskusji, w której uczestniczyli luminarze AI, tacy jak Marvin Minsky . Mehl uważał, że prawo można zautomatyzować za pomocą dwóch podstawowych, odrębnych, choć nie do końca rozdzielnych typów maszyn. Były to „maszyna dokumentacyjna lub informacyjna”, która zapewniałaby badaczowi prawnemu szybki dostęp do odpowiednich precedensów spraw i wiedzy prawniczej oraz „maszyna konsultacyjna”, która byłaby „zdolna odpowiedzieć na każde zadane jej pytanie z szerokiego zakresu prawo". Ten ostatni typ maszyny byłby w stanie w zasadzie wykonać większość pracy prawnika, po prostu udzielając „dokładnej odpowiedzi na postawiony [prawny] problem”.

Do 1970 roku ukończono pierwszy typ maszyny Mehla, która byłaby w stanie wyszukiwać informacje, ale wydaje się, że niewiele uwagi poświęcono dalszym owocnym skrzyżowaniom między sztuczną inteligencją a badaniami prawnymi. Wciąż jednak istniała nadzieja, że komputery będą w stanie modelować procesy myślowe prawnika za pomocą metod obliczeniowych, a następnie wykorzystywać tę zdolność do rozwiązywania problemów prawnych, automatyzując w ten sposób i usprawniając usługi prawne poprzez zwiększenie wydajności, a także rzucając światło na naturę rozumowania prawniczego. Pod koniec lat siedemdziesiątych informatyka i przystępność cenowa technologii komputerowej rozwinęły się na tyle, że odzyskiwanie „danych prawnych środkami elektronicznymi i mechanicznymi” było możliwe za pomocą maszyn pasujących do pierwszego typu Mehla i były powszechnie używane w amerykańskich firmach prawniczych. W tym czasie przeprowadzono badania skupiające się na poprawie celów z wczesnych lat siedemdziesiątych, przy programach takich jak Taxman , aby zarówno wprowadzić użyteczną technologię komputerową do prawa jako praktyczną pomoc, jak i pomóc określić dokładny charakter pojęć prawnych.

Niemniej jednak postępy w pracach nad maszyną drugiego typu, która w pełni zautomatyzowałaby prawo, pozostawały względnie obojętne. Badania nad maszynami, które mogłyby odpowiadać na pytania w sposób, w jaki maszyna konsultacyjna Mehla podniosła się nieco pod koniec lat 70. i 80. XX wieku. Konwencja z 1979 r. w Swansea w Walii była pierwszą międzynarodową próbą skupienia się wyłącznie na zastosowaniu badań sztucznej inteligencji do problemów prawnych w celu „rozważenia, w jaki sposób można wykorzystać komputery do odkrywania i stosowania norm prawnych osadzonych w pisanych źródłach prawa”. To powiedziawszy, wydaje się, że w następnej dekadzie lat 80. dokonano niewielkiego znaczącego postępu. W recenzji książki Anne Gardner z 1988 r. Podejście sztucznej inteligencji do rozumowania prawnego (1987) akademicka prawniczka i informatyk z Harvardu, Edwina Rissland, napisała, że „Ona odgrywa częściowo rolę pioniera; sztuczna inteligencja („AI”) techniki nie były jeszcze szeroko stosowane do wykonywania zadań prawnych. Dlatego Gardner i ta recenzja najpierw opisują i definiują dziedzinę, a następnie demonstrują działający model w dziedzinie oferowania i akceptacji kontraktu. Osiem lat po konferencji w Swansea minęło, a badacze sztucznej inteligencji i prawa, którzy jedynie próbowali wytyczyć dziedzinę, mogli być określani przez swoich własnych jako „pionierzy”.

W latach 90. i na początku XXI wieku nastąpił większy postęp. Badania obliczeniowe wygenerowały wgląd w prawo. Pierwsza międzynarodowa konferencja na temat sztucznej inteligencji i prawa miała miejsce w 1987 r., ale dopiero w latach 90. Zaczęto prowadzić zajęcia dla studentów na temat wykorzystania metod obliczeniowych do automatyzacji, zrozumienia i przestrzegania prawa. Co więcej, do 2005 roku zespół składający się głównie z informatyków ze Stanford z grupy Stanford Logic poświęcił się badaniu zastosowań technik obliczeniowych w prawie. W rzeczywistości metody obliczeniowe są na tyle zaawansowane, że członkowie zawodów prawniczych zaczęli w 2000 roku zarówno analizować, przewidywać, jak i martwić się o potencjalną przyszłość prawa obliczeniowego, a nowa dziedzina akademicka prawniczych studiów obliczeniowych wydaje się być obecnie dobrze ugruntowana. Jako wgląd w to, co tacy uczeni widzą w przyszłości prawa, częściowo dzięki prawu obliczeniowemu, oto cytat z niedawnej konferencji na temat „nowej normalności” dla zawodów prawniczych:

„W ciągu ostatnich 5 lat, w następstwie Wielkiej Recesji, zawody prawnicze wkroczyły w erę Nowej Normalności. W szczególności szereg sił związanych ze zmianami technologicznymi, globalizacją i presją, by robić więcej za mniej (w zarówno korporacyjna Ameryka, jak i firmy prawnicze) na stałe zmienił branżę usług prawnych. Jak ujęto w jednym z artykułów , firmy ograniczają zatrudnienie „w celu zwiększenia wydajności, poprawy marż zysku i obniżenia kosztów klientów”. cięć, przywódcy Weil Gotshal zauważyli , że początkowo spodziewali się powrotu starej pracy, ale doszli do „poglądu, że jest to„ nowa normalność ”.„ Nowa normalność daje prawnikom możliwość ponownego przemyślenia - i ponownego wyobrażenia sobie - roli prawników w naszej gospodarce i społeczeństwie. W takim stopniu, w jakim firmy prawnicze cieszyły się lub nadal korzystają z możliwości łączenia pracy, ta era dobiega końca, ponieważ klienci rozdzielają usługi i zadania prawne. Ponadto w innych przypadkach automatyzacja i technologia może zmienić role prawników, wymagając od nich zarówno nadzorowania procesów i bardziej agresywnego korzystania z technologii, jak i wykonywania mniejszej ilości pracy, którą w coraz większym stopniu zarządzają komputery (pomyśl: odkrycie elektroniczne). Plusem jest nie tylko większa efektywność dla społeczeństwa, ale także nowe możliwości dla legalnego rzemiosła. Powstające rzemiosło prawnicze w Nowej Normalności prawdopodobnie będzie wymagać od prawników zarówno przedsiębiorczości, jak i biegłości w zakresie kompetencji, które umożliwią im wniesienie wartości dodanej dla klientów. W związku z powyższymi trendami pojawiają się nowe możliwości dla „legalnych przedsiębiorców” w szeregu ról, od zarządzania procesami prawnymi, przez opracowywanie technologii zarządzania operacjami prawnymi (takimi jak nadzorowanie zautomatyzowanych procesów), po wspieranie procesów rozstrzygania sporów online. W innych przypadkach skuteczne szkolenie prawnicze oraz wiedza z danej dziedziny (finanse, sprzedaż, IT, przedsiębiorczość, zasoby ludzkie itp.) role, role HR itp.). W obu przypadkach same tradycyjne umiejętności prawnicze nie wystarczą, aby przygotować studentów prawa do tych ról. Jednak odpowiednie szkolenie, które opiera się na tradycyjnym programie studiów prawniczych i wykracza daleko poza niego, obejmując umiejętności praktyczne, odpowiednią wiedzę dziedzinową (np. księgowość) i umiejętności zawodowe (np. praca w zespołach), zapewni studentom szkół prawniczych ogromną przewagę nad tymi z jednowymiarowym zestawem umiejętności”.

Wielu dostrzega korzyści płynące z nadchodzących zmian, jakie przyniesie komputerowa automatyzacja prawa. Po pierwsze eksperci prawni przewidzieli, że pomoże to w samopomocy prawnej, zwłaszcza w obszarach zawierania umów, planowania przedsiębiorstw i przewidywania zmian w przepisach. Po drugie, osoby posiadające wiedzę na temat komputerów postrzegają potencjał pełnego rozkwitu praw obliczeniowych jako wybitny. W tym duchu wydaje się, że mogą powstać maszyny, takie jak drugi typ Mehla. Stephen Wolfram powiedział, że:

„Powoli zbliżamy się więc do edukacji ludzi w zakresie paradygmatu obliczeniowego. To dobrze, ponieważ moim zdaniem obliczenia staną się centralnym elementem niemal każdej dziedziny. Porozmawiajmy o dwóch przykładach – klasycznych zawodach: prawie i medycyny. To zabawne, kiedy Leibniz po raz pierwszy myślał o obliczeniach pod koniec XVII wieku, chciał zbudować maszynę, która skutecznie odpowiadałaby na pytania prawne. Wtedy było za wcześnie. Ale teraz jesteśmy prawie Myślę, że gotowe na prawo obliczeniowe. Na przykład kontrakty stają się obliczeniowe. Wyraźnie stają się algorytmami decydującymi o tym, co jest możliwe, a co nie. Wiesz, niektóre elementy tego już się wydarzyły. Jak w przypadku finansowych instrumentów pochodnych, takich jak opcje i kontrakty futures. W w przeszłości były to po prostu kontrakty języka naturalnego, ale potem zostały skodyfikowane i sparametryzowane, więc tak naprawdę są tylko algorytmami, na których oczywiście można wykonywać meta-obliczenia, co uruchomiło tysiące funduszy hedgingowych i tak dalej NA. Cóż, w końcu będzie można robić komputerowe wszelkiego rodzaju rzeczy prawne, od hipotek, przez przepisy podatkowe, a może nawet patenty. Teraz, aby to osiągnąć, trzeba mieć sposoby na przedstawienie wielu aspektów prawdziwego świata, w całym jego bałaganie. O to właśnie chodzi w całym opartym na wiedzy przetwarzaniu Wolfram|Alpha”.

W Estonii rząd przewodzi inicjatywie „robotycznego sędziego”, w ramach której dyrektor ds. danych Ott Velsberg wdraża elementy zarówno sąsiadujące, jak i bezpośrednio związane z prawem obliczeniowym. Po pierwsze, inspektorzy nie weryfikują już stosowania dopłat do siana (które zapobiegają zalesianiu), a zamiast tego używają algorytmu głębokiego uczenia się do walidacji wyników porównania satelitarnego, oszczędzając w ten sposób prawie milion dolarów rocznie. Postrzegany sukces tej operacji doprowadził rząd estoński do dalszych działań z propozycjami automatyzacji lub obliczenia prawa sporów dotyczących drobnych roszczeń poniżej 8 000 USD, zwłaszcza w sporach kontraktowych. Od decyzji będzie można się odwołać do ludzkiego sędziego.

Podchodzi do

Prawo algorytmiczne

Było również wiele prób stworzenia kodu prawnego czytelnego maszynowo lub wykonywalnego maszynowo . Kod odczytywalny maszynowo uprościłby analizę kodu prawnego, umożliwiając szybką budowę i analizę baz danych, bez konieczności stosowania zaawansowanych technik przetwarzania tekstu. Format pliku wykonywalnego maszyny umożliwiłby wprowadzenie specyfiki sprawy i zwróciłby decyzję opartą na sprawie.

Kod prawny do odczytu maszynowego jest już dość powszechny. METAlex, XML standard zaproponowany i opracowany przez Leibniz Center for Law na Uniwersytecie w Amsterdamie , jest używany przez rządy zarówno Wielkiej Brytanii, jak i Holandii do kodowania ich praw. W Stanach Zjednoczonych rozporządzenie wykonawcze wydane przez prezydenta Baracka Obamę w maju 2013 r. nakazywało, aby cała dokumentacja rządu publicznego była domyślnie udostępniana w formacie do odczytu maszynowego, chociaż nie wspomniano o żadnym konkretnym formacie.

Prawny kod wykonywalny maszynowy jest znacznie mniej powszechny. Obecnie, od 2020 roku, trwają prace nad licznymi projektami nad systemami do tworzenia prawniczego kodu wykonywalnego maszynowo, czasem także za pomocą języka naturalnego, języka ograniczonego lub połączenia między językiem naturalnym a kodem wykonywalnym, podobnie jak w kontraktach ricardiańskich .

Analiza empiryczna

Wiele obecnych wysiłków w zakresie prawa obliczeniowego koncentruje się na empirycznej analizie decyzji prawnych i ich związku z ustawodawstwem. Wysiłki te zwykle wykorzystują analizę cytowań , która bada wzorce cytowań między pracami. Ze względu na powszechną praktykę cytowań prawniczych możliwe jest konstruowanie indeksów cytowań oraz dużych wykresów precedensów prawnych, zwanych sieciami cytowań . Sieci cytowań pozwalają na wykorzystanie przechodzenia przez grafy w celu powiązania przypadków ze sobą, a także wykorzystanie różnych metryk odległości do znalezienia matematycznych zależności między nimi. Analizy te mogą ujawnić ważne nadrzędne wzorce i tendencje w postępowaniu sądowym oraz sposobie stosowania prawa.

W ostatnich badaniach nad sieciami cytowań prawnych dokonano kilku przełomów w analizie orzeczeń sądowych. Analizy te wykorzystywały cytowania w Sądu Najwyższego do budowy sieci cytowań i analizowały wzorce w tych sieciach w celu identyfikacji metainformacji o poszczególnych decyzjach, takich jak znaczenie decyzji, a także ogólne trendy w postępowaniach sądowych, takich jak rola precedensu w czasie. Analizy te posłużyły do przewidzenia, które sprawy zdecyduje się rozpatrzyć Sąd Najwyższy.

Kolejnym wysiłkiem było zbadanie orzeczeń Sądu Podatkowego Stanów Zjednoczonych , stworzenie publicznie dostępnej bazy danych orzeczeń, opinii i cytatów Sądu Podatkowego z lat 1990-2008 oraz zbudowanie sieci cytowań na podstawie tej bazy danych. Analiza tej sieci wykazała, że duże sekcje kodeksu podatkowego były cytowane rzadko, jeśli w ogóle, oraz że inne sekcje kodeksu, takie jak te, które dotyczyły „rozwodów, osób pozostających na utrzymaniu, organizacji non-profit, wydatków i strat związanych z hobby i biznesem oraz ogólnej definicji dochodów” dotyczyły zdecydowanej większości sporów.

Niektóre badania koncentrowały się również na sieciach hierarchicznych , w połączeniu z sieciami cytowań, oraz na analizie Kodeksu Stanów Zjednoczonych . Badania te wykorzystano do analizy różnych aspektów Kodeksu, w tym jego rozmiaru, gęstości cytowań w obrębie sekcji Kodeksu i pomiędzy nimi, rodzaju języka użytego w Kodeksie oraz zmian tych cech w czasie. Badania te zostały wykorzystane do przedstawienia komentarza na temat charakteru zmian Kodeksu w czasie, które charakteryzują się wzrostem rozmiaru i współzależności między sekcjami.

Wyobrażanie sobie

Wizualizacja kodu prawnego oraz relacji między różnymi przepisami i decyzjami jest również gorącym tematem w prawie obliczeniowym. Wizualizacje pozwalają zarówno profesjonalistom, jak i laikom zobaczyć relacje i wzorce na dużą skalę, które mogą być trudne do zauważenia przy użyciu standardowej analizy prawnej lub analizy empirycznej.

Prawnicze sieci cytowań nadają się do wizualizacji, a wiele sieci cytowań, które są analizowane empirycznie, ma również podsekcje sieci, które są w rezultacie reprezentowane wizualnie. Jednak nadal istnieje wiele problemów technicznych związanych z wizualizacją sieci . Gęstość połączeń między węzłami, aw niektórych przypadkach sama liczba węzłów, może sprawić, że wizualizacja będzie niezrozumiała dla człowieka. Istnieje wiele metod, które można wykorzystać do zmniejszenia złożoności wyświetlanych informacji, na przykład poprzez zdefiniowanie podgrup semantycznych w sieci, a następnie przedstawienie relacji między tymi grupami semantycznymi, a nie między każdym węzłem. Dzięki temu wizualizacja jest czytelna dla człowieka, ale zmniejszenie złożoności może przesłaniać relacje. Pomimo tego ograniczenia wizualizacja sieci cytowań prawniczych pozostaje popularną dziedziną i praktyką.

Przykłady narzędzi

OASIS Legal XML , UNDESA Akoma Ntoso i CEN Metalex , które są standardami stworzonymi przez ekspertów prawnych i technicznych w celu elektronicznej wymiany danych prawnych.
Creative Commons , które odpowiadają wygenerowanym na zamówienie licencjom dotyczącym praw autorskich do treści internetowych.
Analiza prawna, która łączy duże zbiory danych, krytyczną wiedzę specjalistyczną i intuicyjne narzędzia w celu dostarczania rozwiązań z zakresu analizy biznesowej i testów porównawczych.
Wizualizacje prawne. Przykłady obejmują mapę orzeczeń sądu najwyższego autorstwa Katza, linie opinii Stargera dotyczące klauzuli commerce i stare decisis oraz wizualizacje prawa autorskiego autorstwa Surdena.

Internetowe zasoby prawne i bazy danych

PACER to internetowe repozytorium orzeczeń sądowych, prowadzone przez Federalny Sądownictwo .
Law Library of Congress prowadzi obszerne internetowe repozytorium informacji prawnych, w tym aktów prawnych na poziomie międzynarodowym, krajowym i stanowym.
Sądu Najwyższego jest kompleksową bazą zawierającą szczegółowe informacje o orzeczeniach Sądu Najwyższego od 1946 roku do chwili obecnej.
Raporty Stanów Zjednoczonych zawierały szczegółowe informacje o każdej decyzji Sądu Najwyższego od 1791 r. do chwili obecnej.

Zobacz też

Linki zewnętrzne

CodeX Techindex , lista techników prawnych Stanford Law School
LawSites Lista start-upów zajmujących się technologią prawną