Dążanie do maksymalnej algorytmizacji prawa

Okręg wyborczy

Nie określono

Krótki opis

Uzyskanie możliwości komputerowej analizy i symulacji kosztów oraz konsekwencji zmian prawa

Pełny opis

Postulat obejmuje dążenie do logicznego ujednoznacznienie prawa i uczynienie go systemem wewnętrznie niesprzecznym w celu uzyskania możliwości automatycznej transformacji tekstów prawniczych na model matematyczny. Korzyść z tego jest taka, że takie prawo można przetwarzać w systemach komputerowych budując symulatory działania ustaw (i innych aktów prawnych) a w szczególności symulatory kosztów, co pozwoli szacunkowo określać jakie koszty poniesie Państwo lub też jakie oszczędności zostaną poczynione (w pieniądzu, w złotówkach, w zatrudnieniu itp.) upraszczając dane zapisy. Można też budować analizatory, które automatycznie sprawdzą poprawność, wykryją nieoptymalne rozwiązania itp. UWAGA! Odpowiednie systemy komputerowe do transformacji zapisów prawnych na zapis matematyczny i do symulowania różnych procesów JUŻ ISTNIEJĄ. Problem leży w tym, że około 98% zapisów polskiego prawa ma konstrukcję niejednoznaczną, wewnętrznie sprzeczną lub też z innych przyczyn uniemożliwiającą przełożenie na zapis matematyczny. Liczba 98% pochodzi z wykładu-spotkania zorganizowanego przez Polskie Towarzystwo Informatyczne na początku tego roku.

Utworzono

8 lat temu

Ostatnia modyfikacja

4 lata temu

Tagi

Brak tagów przypisanych do tego postulatu