Uszanowanie wszystkim ambitnym kolegom biorącym udział w projektach potencjalnych nowych ustaw podatkowych.
Jako entuzjasta i inżynier systemów informatycznych, cenię sobie bardzo w przepisach(kodzie) interpretowalnych przez komputery, możliwość zautomatyzowanej weryfikacji logiki, semantyki i potencjalnych rezultatów / konfliktów wynikających z implementacji i wykonywania tychże przepisów.
Coś, co jest bardzo trudne do wykonania nawet dla języka prawnego, pomimo jego ściślejszych zasad, a zupełnie niemożliwe dla luźnego języka naturalnego. Wszyscy wiemy o 'luźnej interpretacji prawa' i wielu się z tym pogodziło
Tym którzy z nadzieją patrzą w przyszłość, chciałbym zaproponować rozszerzenie dokumentów w tym repozytorium, o ścisły format logiczny, interpretowalny i weryfikowalny komputerowo, jakim jest Catala, lub inne, podobne narzędzie.
Kilka więcej słów o takiej kodyfikacji i implementacji w prawie francuskim: https://youtu.be/OiaFTFSAa1I?feature=shared
Uszanowanie wszystkim ambitnym kolegom biorącym udział w projektach potencjalnych nowych ustaw podatkowych.
Jako entuzjasta i inżynier systemów informatycznych, cenię sobie bardzo w przepisach(kodzie) interpretowalnych przez komputery, możliwość zautomatyzowanej weryfikacji logiki, semantyki i potencjalnych rezultatów / konfliktów wynikających z implementacji i wykonywania tychże przepisów.
Coś, co jest bardzo trudne do wykonania nawet dla języka prawnego, pomimo jego ściślejszych zasad, a zupełnie niemożliwe dla luźnego języka naturalnego. Wszyscy wiemy o 'luźnej interpretacji prawa' i wielu się z tym pogodziło
Tym którzy z nadzieją patrzą w przyszłość, chciałbym zaproponować rozszerzenie dokumentów w tym repozytorium, o ścisły format logiczny, interpretowalny i weryfikowalny komputerowo, jakim jest Catala, lub inne, podobne narzędzie. Kilka więcej słów o takiej kodyfikacji i implementacji w prawie francuskim: https://youtu.be/OiaFTFSAa1I?feature=shared
Zapraszam do dyskusji.