Digital formalization of law

Igor Ponkin, Alena Redkina

Abstract


The article is devoted to the study of the prerequisites, conditions, possibilities, methods, limits of digital formalization of law. The authors explain the concept, the essence of digital formalization of law, show the existing experience of digital formalization of law. The article reveals functional load the purposes of digital formalization of law. The article describes and explains the determinants of the possibility of a relevant and verifiable-non-destructive for the law of digital formalization of law, at least partially. The authors include the following as such determinants: 1) legal norm is a rule that is fixed or reflected in textual form, and the text of “strict modality” is, in principle, amenable to formalization; 2) the natural immanence of the nature of the legal norm the expressed formal logic of its ontology; 3) the similarity of the concept of a rule of law with the concept of a mathematical or logical algorithm, the similarity and correlation of their nature; 4) law is a derivative of highly organized matter, and the right is a highly organized complex product, which presumes the presence of its complex internal structure, which is itself a product of formalization; 5) autonomy inherent in the nature of the right; 6) the interpretation of law in the framework of its implementation is impossible without a certain formalization of it. The authors address the issue of the limits of the possible and permissible in digital formalization of a right, the harm and the risks of a defective or hasty digital formalization of a right. The article briefly shows the technologies and approaches to digital formalization of law.


Full Text:

PDF (Russian)

References


Barcic I.N. Sistema gosudarstvennogo i municipal'nogo upravlenija: Kurs lekcij: V 2 t. T. 2. – M.: Delo, 2019. – 544 s.

Mikov A.I. Predstavlenie ontologij normativnyh dokumentov s ispol'zovaniem prikladnyh logik // Izvestija JuFU. Ser. «Tehnicheskie nauki». – 2014. – # 6. – S. 60–67.

Ivanov G.I., El'chaninova N.B., Saak A.Je. Metody formalizacii normativno-pravovoj informacii na osnove deklarativnogo programmirovanija // Izvestija TRTU. – 1998. – # 1. – S. 285–290.

Bernam U. Pravovaja sistema SShA. 3-j vyp. – M.: Novaja justicija, 2006. – 1216 s.

Baranov V.M. Ocherki tehniki pravotvorchestva. Izbrannye trudy. – N. Novgorod: Nizhegorodskaja akademija MVD Rossii, 2015. – 667 s.

Demin A.V. Decentralizacija i deformalizacija pravoobrazovanija – strategicheskoe napravlenie razvitija zakonotvorchestva v uslovijah postmoderna // Juridicheskaja tehnika. – 2015. – # 9. – S. 236–240.

Morhat P.M. Pravo i iskusstvennyj intellekt / Predisl. I.A. Blizneca i I.V. Ponkina; pod red. I.V. Ponkina / Rossijskaja gos. akademija intellektual'noj sobstvennosti. – M.: Juniti-Dana, 2018. – 544 s.

Ponkin I.V., Red'kina A.I. Iskusstvennyj intellekt s tochki zrenija prava // Vestnik Rossijskogo universiteta druzhby narodov. Ser. «Juridicheskie nauki». – 2018. – T. 22. – # 1. – S. 91–109.

Kuchina Ja.O. Pravovoe regulirovanie oblachnyh tehnologij (vychislenij). – M.: Jurlitinform, 2018. – 168 s.

Nesterova I.A. Pravovoe regulirovanie otnoshenij, voznikajushhih pri ispol'zovanii oblachnyh tehnologij: Dis. kand. juridich. nauk: 12.00.03 / RGAIS. – M., 2017. – 187 s.

Ponkin I.V. Uproshhenie zakonodatel'stva kak instrument «novoj» modeli publichnogo upravlenija // Administrativnoe pravo i process. – 2014. – # 4. – S. 8–12.

Belikova K.M. Osobennosti pravovogo regulirovanija cifrovoj intellektual'noj jekonomiki // Zakon i pravo. – 2018. – # 8. – S. 26–30.

Belikova K.M. Realizacija i zashhita avtorskih prav v informacionnom obshhestve // Intellektual'naja sobstvennost'. Avtorskoe pravo i smezhnye prava. – 2011. – # 1. – S. 45–52.

Kuprijanovskij V.P., Aristov E.V. i dr. Koncept «umnogo goroda» v kontekste intellektual'nogo publichnogo upravlenija gorodom // Agrarnoe i zemel'noe pravo. – 2018. – # 4. – S. 24–31.

Molchanov A.A. Nekotorye pravovye aspekty i problemy ispol'zovanija intellektual'nyh transportnyh sistem // Agrarnoe i zemel'noe pravo. – 2018. – # 2. – S. 21–27.

Molchanov A.A. Osobennosti razvitija zakonodatel'stva v sfere sozdanija i primenenija intellektual'nyh transportnyh sistem // Pravo i gosudarstvo: teorija i praktika. – 2018. – # 3. – S. 47–52.

Dobren'kov V.I., Osipova N.G. Metodologija i metody nauchnoj raboty: Uchebnoe posobie. – M.: KDU, 2009. – 276 s.

Pavlov V.P., Pavlov M.V., Pavlov O.V. Problemy sistemnosti v rossijskom grazhdanskom prave. Kniga 1: Adekvatnost' primenjaemyh modelej. – M.: RGAIS, 2013.

Kuraev V.I. Formalizacija // Jenciklopedija jepistemologii i filosofii nauki. – M.: Kanon+; Reabilitacija, 2009. – 1248 s. – S. 1093–1094.

Dreshhinskij V.A. Osnovy nauchnyh is sledovanij: Uchebnik. 2-e izd., per. i dop. – M.: Jurajt, 2018. – 274 s.

Mal'cev G.V. Social'nye osnovanija prava. – M.: Norma – Infra-M, 2011. – 800 s.

Trofimov V.V. Pravoobrazovanie v sovremennom obshhestve: Teoretiko-metodologicheskij aspekt: Avtoref. dis. dokt. juridich. nauk: 12.00.01. – SPb., 2011.

Zor'kin V.D. Pravo v cifrovom mire. Razmyshlenie na poljah Peterburgskogo mezhdunarodnogo juridicheskogo foruma // Rossijskaja gazeta – Stolichnyj vypusk. – 30.05.2018. – # 7578 (115). – S. 1, 4.

Rissland E., Ashley K., Loui R. AI and Law: A fruitful synergy // Artificial Intelligence. – 2003. – Vol. 150. – # 1–2. – P. 1–15.

Bench-Capon T. What Makes a System a Legal Expert? // JURIX, ser. Frontiers in Artificial Intelligence and Applications. – 2012. – Vol. 250. – P. 11–20.

Prakken H., Sartor G. Law and logic: A review from an argumentation perspective // Artificial Intelligence. – 2015. – Vol. 227. – P. 214–245.

McCarty L.T. A language for legal Discourse. I. Basic features // ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law. – New York: ACM Publications, 1989. – P. 180–189.

Stamper R.K. The role of semantics in legal expert systems and legal reasoning // Ratio Juris. – 1991. – Vol. 4. – # 2. – P. 219–244.

Stamper R.K. Signs, information, norms and systems // Signs of Work / Eds.: B. Holmqvist and P.B. Andersen. – Berlin: Germany, De Gruyter, 1996. – P. 349–397.

D3.1. Ontology-based access to normative knowledge / MIREL (MIning and REasoning with Legal texts). – Luxembourg: Université du Luxembourg, 2017. – 31 p.

Tumanov G.A., Gerasimov A.P. Metodologicheskie vozmozhnosti kibernetiki v gosudarstvenno-pravovoj sfere / / Sovetskoe gosudarstvo i pravo. – 1982. – # 9.

Shahnovskij A.A. Obshhaja teorija pravoporjadka i prikladnye juridicheskie voprosy ASU: Avtoref. dis. kand. juridich. nauk. – M., 1976.

Peksheva M.V. Aksiomatizacija normativnyh dokumentov na osnove deonticheskoj logiki // Informatizacija i svjaz'. – 2014. – # 2. – S. 104–106.

Peksheva M.V. Aksiomatizacija normativnyh dokumentov na osnove deonticheskoj logiki: metody i algoritmy. – Krasnodar: KubGU, 2014.

Aver'janov M.A., Baranova O.V., Kochetova E.Ju., Sivakov R.L. Cifrovaja transformacija processov normativnogo regulirovanija: tendencii, podhody i reshenija // International Journal of Open Information Technologies. – 2018. – Vol. 6. – # 11. – S. 42–49.

Ponkin I.V., Red'kina A.I. Citirovanie kak metod soprovozhdenija i obespechenija nauchnogo issledovanija. – M.: Infra-M, 2019.

Livingston E. An anthropology of reading. – Bloomington – Indianapolis: Indiana University Press, 1995. – xviii; 162 p.

Gadzhiev G.A. Ontologija prava: Kriticheskoe issledovanie juridicheskogo koncepta dejstvitel'nosti. – M.: Norma – INFRA-M, 2013. – 320 s.

Lukashuk I.I. Mezhdunarodnoe pravo. Obshhaja chast': Ucheb. / Ros. akad. nauk, In-t gosudarstva i prava, Akadem, pravovoj un-t. Izd. 3-e, pererab. i dop. – M.: Volters Kluver, 2008. – 432 s.

Chernobel' G.T. Formalizacija norm prava // Sovetskoe gosudarstvo i pravo. – 1979. – # 4. – S. 29–36.

Tihonova S.S. Juridicheskaja tehnika v ugolovnom prave: Kurs lekcij. – N. Novgorod, 2008.

Bergel J.-L. Méthodologie juridique. – Paris: (Presses Universitaires de France, 2001.

Atanesjan G.A., Gavrilov O.A., Deri P. i dr. Pravovaja informatika i kibernetika: Uchebnik / Pod red. N.S. Polevogo. – M.: Juridicheskaja literatura, 1993.

Avrutin Ju.E. Izbrannye trudy. O gosudarstve i gosudarstvennoj vlasti, zakonnosti i pravoporjadke, publichnom upravlenii i administrativnom prave / Vstupit. stat'ja Ju.N. Starilova. – SPb.: Juridicheskij centr, 2017. – 720 s.

Vlasenko N.A. Razumnost' i opredeljonnost' v pravovom regulirovanii. – M.: Institut zakonodatel'stva i sravnitel'nogo pravovedenija pri Pravitel'stve RF; Infra-M, 2014. – 157 s.

Azmi D.M. Sistema prava i ejo stroenie: metodologicheskie podhody i reshenija. – M.: Justicinform, 2014. – 392 s.

Markov Ju.G. Funkcional'nyj podhod v sovremennom nauchnom poznanii. – Novosibirsk, 1982.

Nikitin A.V. Pravovye simvoly: Dis. kand. juridich. nauk. – N. Novgorod, 1998.

Voplenko N.N. Pravovaja simvolika // Pravovedenie. – 1995. – # 4–5. – S. 71–73.

Shalaginov P.D. Funkcii pravovyh simvolov: Dis. kand. juridich. nauk: 12.00.01. – N. Novgorod, 2007.

Pochemu jeto javljaetsja infografikoj, a to – net? // .

Vlasenko N.A. Jazyk prava. – Irkutsk, 1997. – 176 s.

Babaev V.K., Baranov V.M., Tolstik V.A. Teorija prava i gosudarstva v shemah i opredelenijah. – M., 2003.

Juridicheskaja tehnika: kurs lekcij / Pod red. V.M. Baranova. ‒ N. Novgorod: Nizhegorodskaja akademija MVD Rossii, 2015. ‒ 830 s.

Vlasenko N.A. // Juridicheskaja tehnika (Obzor materialov nauchno-metodicheskogo seminara / L.A. Morozova) // Gosudarstvo i pravo. – 2000. – # 11. – S. 119.

Osuga S. Obrabotka znanij: Per. s japon. – M.: Mir, 1989. – 293 s.

Karavaev Je.F. Deonticheskaja logika // Jenciklopedija jepistemologii i filosofii nauki. – M.: Kanon+; Reabilitacija, 2009. – 1248 s. – S. 173.

Grin'ko O.V., Kuprijanovskij V.P., Pokusaev O.N., Volokitin Ju.I., i dr. Ontologizacija dannyh Evropejskogo Sojuza kak perehod ot jekonomiki dannyh k jekonomike znanij // International Journal of Open Information Technologies. – 2018. – Vol. 6. – # 11. – S. 65–84.

Habrieva T.Ja. Pravo pered vyzovami cifrovoj real'nosti // Zhurnal rossijskogo prava. – 2018. – # 9. – S. 5–16.


Refbacks

  • There are currently no refbacks.


Abava  Кибербезопасность IT Congress 2024

ISSN: 2307-8162