<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">aprp</journal-id><journal-title-group><journal-title xml:lang="ru">Актуальные проблемы российского права</journal-title><trans-title-group xml:lang="en"><trans-title>Actual Problems of Russian Law</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1994-1471</issn><issn pub-type="epub">2782-1862</issn><publisher><publisher-name>MSAL</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.17803/1994-1471.2024.165.8.022-037</article-id><article-id custom-type="elpub" pub-id-type="custom">aprp-4331</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ТЕОРИЯ ПРАВА</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>THEORY OF LAW</subject></subj-group></article-categories><title-group><article-title>Теоретико-правовая характеристика  машиночитаемого права</article-title><trans-title-group xml:lang="en"><trans-title>Theoretical and  Legal Characteristics of  Machine-Readable Law</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><contrib-id contrib-id-type="orcid">https://orcid.org/0009-0004-3567-511X</contrib-id><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Перевозкин</surname><given-names>А. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Perevozkin</surname><given-names>A. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Перевозкин Андрей Андреевич, аспирант кафедры теоретических и публично-правовых дисциплин Института государства и права</p><p>Ул. Ленина, д. 38, Тюмень, 625000</p></bio><bio xml:lang="en"><p>Andrey A. Perevozkin , Postgraduate Student, Department  of Theoretical and Public Law Disciplines, Institute  of State and Law</p><p>Tyumen</p></bio><email xlink:type="simple">mail@perevozkin.com</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Тюменский государственный университет</institution></aff><aff xml:lang="en"><institution>Tyumen State University</institution></aff></aff-alternatives><pub-date pub-type="collection"><year>2024</year></pub-date><pub-date pub-type="epub"><day>21</day><month>07</month><year>2024</year></pub-date><volume>19</volume><issue>8</issue><fpage>22</fpage><lpage>37</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Перевозкин А.А., 2024</copyright-statement><copyright-year>2024</copyright-year><copyright-holder xml:lang="ru">Перевозкин А.А.</copyright-holder><copyright-holder xml:lang="en">Perevozkin A.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://aprp.msal.ru/jour/article/view/4331">https://aprp.msal.ru/jour/article/view/4331</self-uri><abstract><p>Идея автоматизации права и правовой деятельности в последние годы становится всё более популярной в научной юридической среде. Одним из способов такой автоматизации является преобразование законодательства в машиночитаемый вид. Это могло бы обеспечить возможность автоматического применения права, увеличить правовую определенность, доступность права для конечного пользователя. Одним из важных шагов на пути внедрения машиночитаемого права в России стало принятие в 2021  г. Концепции развития технологий машиночитаемого права. Представляется, что для успешного развития данного направления необходимо комплексное теоретико-правовое осмысление нового для отечественной юридической науки явления  — машиночитаемого права. Используя формально-логические методы, автор дает определение машиночитаемого права, основанное на существенных и необходимых признаках рассматриваемого явления. В  статье приводится перечень обязательных и факультативных признаков машиночитаемого права. Отдельное внимание уделяется алгоритмизации права и использованию правовых онтологий. Выделяются основные следствия машиночитаемости права, относящиеся как к этапу правотворчества, так и к этапу использования машиночитаемого права. К  таким следствиям можно отнести различные разновидности тестируемости машиночитаемого права, возможность автоматического толкования, правоприменения и непосредственной реализации машиночитаемых правовых предписаний. Вводится понятие машиночитаемого права в широком смысле слова, охватывающее не только правовые предписания, но и содержание смарт-контрактов, машиночитаемых доверенностей. Рассмотрены вопросы машиноисполняемого права и связанного с ним перехода от правовой к технологической нормативности. Настоящая работа вносит вклад в теоретико-правовое осмысление машиночитаемого права и может способствовать его успешному развитию в России.</p></abstract><trans-abstract xml:lang="en"><p>The idea of automating law and legal activity has become increasingly popular in the scientific legal environment in recent years. One of the ways of such automation is to transform legislation into a machine-readable form. This could provide the possibility of automatic application of the law, increase legal certainty, and make the law accessible to the user. The adoption in 2021 of the Concept for the Development of Machine-Readable Law Technologies became one of important steps towards the introduction of machine-readable law in Russia. It seems that for the successful development of this area, we need a comprehensive theoretical and legal understanding of a new phenomenon for the domestic legal theory, namely: machine-readable law. Using formal logical methods, the author gives a definition of machine-readable law based on the essential and necessary features of the phenomenon under consideration. The paper provides a list of mandatory and optional features of machine-readable law. Special attention is paid to the issues of algorithmization of law and the use of legal ontologies. The paper highlights the main consequences of machine-readable law relating both to the law-making stage and to the stage of using machine-readable law. Such consequences include various types of testability of machine-readable law, the possibility of automatic interpretation, enforcement and direct implementation of machine-readable legal regulations. The author provides the concept of machine-readable law in the broadest sense of the word, covering not only legal regulations, but also the content of smart contracts, machine-readable powers of attorney. The paper also deals with the issues of machine-executable law and the related transition from legal normativity to technological normativity. This work contributes to the theoretical and legal understanding of machine-readable law and can contribute to its successful development in Russia.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>машиночитаемое право</kwd><kwd>машиноисполняемое право</kwd><kwd>вычислительное право</kwd><kwd>алгоритмизация права</kwd><kwd>автоматизация права</kwd><kwd>автоматизация правоприменения</kwd><kwd>правовые онтологии</kwd><kwd>формальный язык</kwd><kwd>смарт-контракт</kwd><kwd>цифровая трансформация</kwd><kwd>теория права</kwd></kwd-group><kwd-group xml:lang="en"><kwd>machine-readable law</kwd><kwd>machine-executable law</kwd><kwd>computational law</kwd><kwd>algorithmization of law</kwd><kwd>automation of law</kwd><kwd>automation of law enforcement</kwd><kwd>legal ontologies</kwd><kwd>formal language</kwd><kwd>smart contract</kwd><kwd>digital transformation</kwd><kwd>theory of law</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Баков А. А. Теоретические основы информатики: определение понятия алгоритм // Вестник МГПУ. Серия «Информатика и информатизация образования». — 2008. — № 16. — С. 26–28.</mixed-citation><mixed-citation xml:lang="en">Bakov A. A. Teoreticheskie osnovy informatiki: opredelenie ponyatiya algoritm // Vestnik MGPU. Seriya «Informatika i informatizatsiya obrazovaniya». — 2008. — № 16. — S. 26–28.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Баранов П. П. Проблемы онтологии права // Философия права. — 2013. — № 5 (60). — С. 97–103.</mixed-citation><mixed-citation xml:lang="en">Baranov P. P. Problemy ontologii prava // Filosofiya prava. — 2013. — № 5 (60). — S. 97–103.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Бырдин Е. Н. Теория государства и права (в схемах, таблицах и определениях) : учебно-методическое пособие. — Тюмень : ТюмГУ, 2018. — 104 с.</mixed-citation><mixed-citation xml:lang="en">Byrdin E. N. Teoriya gosudarstva i prava (v skhemakh, tablitsakh i opredeleniyakh): uchebno-metodicheskoe posobie. — Tyumen: TyumGU, 2018. — 104 s.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Вашкевич А. М. Машиночитаемое право: право как электричество. — М., 2019. — 256 с.</mixed-citation><mixed-citation xml:lang="en">Vashkevich A. M. Mashinochitaemoe pravo: pravo kak elektrichestvo. — M., 2019. — 256 s.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Гайдамакин А. А. Семантические отношения как основа формального языка права // Научный вестник Омской академии МВД России. — 2012. — № 2 (45). — С. 80–85.</mixed-citation><mixed-citation xml:lang="en">Gaydamakin A. A. Semanticheskie otnosheniya kak osnova formalnogo yazyka prava // Nauchnyy vestnik Omskoy akademii MVD Rossii. — 2012. — № 2 (45). — S. 80–85.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Зенин С. С. , Кутейников Д. Л. , Ижаев О. А. , Япрынцев И. М. Правотворчество в условиях алгоритмизации права // Lex russica. — 2020. — № 7 (164). — С. 97–104.</mixed-citation><mixed-citation xml:lang="en">Zenin S. S., Kuteynikov D. L., Izhaev O. A., Yapryntsev I. M. Pravotvorchestvo v usloviyakh algoritmizatsii prava // Lex russica. — 2020. — № 7 (164). — S. 97–104.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Липчанская М. А. , Привалов С. А. Развитие технологий машиночитаемого права: теоретические проблемы и перспективы // Журнал российского права. — 2022. — Т. 26 — № 10. — С. 85–96.</mixed-citation><mixed-citation xml:lang="en">Lipchanskaya M. A., Privalov S. A. Razvitie tekhnologiy mashinochitaemogo prava: teoreticheskie problemy i perspektivy // Zhurnal rossiyskogo prava. — 2022. — T. 26 — № 10. — S. 85–96.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Миролюбова С. Ю. Правовые онтологии в машиночитаемом формате — инструмент продвижения юридических знаний в семантической сети // Мониторинг правоприменения. — 2022. — № 1 (42). — С. 39–45.</mixed-citation><mixed-citation xml:lang="en">Mirolyubova S. Yu. Pravovye ontologii v mashinochitaemom formate — instrument prodvizheniya yuridicheskikh znaniy v semanticheskoy seti // Monitoring pravoprimeneniya. — 2022. — № 1 (42). — S. 39–45.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Понкин И. В. , Лаптева А. И. Право и цифра : Машиночитаемое право, цифровые модели-двойники, цифровая формализация и цифровая онтоинженерия в праве : учебник / Консорциум «Аналитика. Право. Цифра». — М. : Буки Веди, 2021. — 174 с.</mixed-citation><mixed-citation xml:lang="en">Ponkin I. V., Lapteva A. I. Pravo i tsifra: Mashinochitaemoe pravo, tsifrovye modeli-dvoyniki, tsifrovaya formalizatsiya i tsifrovaya onto-inzheneriya v prave: uchebnik / Konsortsium «Analitika. Pravo. Tsifra». — M.: Buki Vedi, 2021. — 174 s.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Порываева Н. Ф. Алгоритмизация права : дис. … канд. юрид. наук. — М., 2022. — 186 с.</mixed-citation><mixed-citation xml:lang="en">Poryvaeva N. F. Algoritmizatsiya prava: dis. … kand. yurid. nauk. — M., 2022. — 186 s.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Рубашкин В. Ш. Онтологическая семантика. Знания. Онтологии. Онтологически ориентированные методы информационного анализа текстов. — М. : Физматлит, 2013. — 348 с.</mixed-citation><mixed-citation xml:lang="en">Rubashkin V. Sh. Ontologicheskaya semantika. Znaniya. Ontologii. Ontologicheski orientirovannye metody informatsionnogo analiza tekstov. — M.: Fizmatlit, 2013. — 348 s.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Трунцевский Ю. В. Закон как код и прецизионное право в ракурсе датификации // Журнал зарубежного законодательства и сравнительного правоведения. — 2021. — Т. 17. — № 1. — С. 49–67.</mixed-citation><mixed-citation xml:lang="en">Truntsevskiy Yu. V. Zakon kak kod i pretsizionnoe pravo v rakurse datifikatsii // Zhurnal zarubezhnogo zakonodatelstva i sravnitelnogo pravovedeniya. — 2021. — T. 17. — № 1. — S. 49–67.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Федорова Г. Н. Информационные системы : учебник для студентов учреждений среднего профессионального образования — 3-е изд., стер. — М. : Академия, 2013. — 208 с.</mixed-citation><mixed-citation xml:lang="en">Fedorova G. N. Informatsionnye sistemy: uchebnik dlya studentov uchrezhdeniy srednego professionalnogo obrazovaniya. — 3-e izd., ster. — M.: Akademiya, 2013. — 208 s.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Хабриева Т. Я. , Черногор Н. Н. Будущее права. Наследие академика В. С. Стёпина и юридическая наука. — М. : Российская академия наук ; Институт законодательства и сравнительного правоведения при Правительстве РФ ; ИнфраМ, 2020. — 176 с.</mixed-citation><mixed-citation xml:lang="en">Khabrieva T. Ya., Chernogor N. N. Budushchee prava. Nasledie akademika V. S. Styopina i yuridicheskaya nauka. — M.: Rossiyskaya akademiya nauk; Institut zakonodatelstva i sravnitelnogo pravovedeniya pri Pravitelstve RF; Infra-M, 2020. — 176 s.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Ярахмедович А. А. Правовая природа смарт-контракта // Вестник СГЮА. — 2019. — № 5 (130). — С. 103–106.</mixed-citation><mixed-citation xml:lang="en">Yarakhmedovich A. A. Pravovaya priroda smart-kontrakta // Vestnik SGYuA. — 2019. — № 5 (130). — S. 103– 106.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Andersson H. Computational Law: Law That Works Like Software. — CodeX: The Stanford Center for Legal Informatics, 2014. — P. 1–25.</mixed-citation><mixed-citation xml:lang="en">Andersson H. Computational Law: Law That Works Like Software. — CodeX: The Stanford Center for Legal Informatics, 2014. — P. 1–25.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Brownsword R. Artificial Intelligence and Legal Singularity: The Thin End of the Wedge, the Thick End of the Wedge, and the Rule of Law // Is Law Computable? Critical Perspectives on Law and Artificial Intelligence / S. Deakin, Ch. Markou (eds). — Hart Publishing, 2020. — P. 135–160.</mixed-citation><mixed-citation xml:lang="en">Brownsword R. Artificial Intelligence and Legal Singularity: The Thin End of the Wedge, the Thick End of the Wedge, and the Rule of Law // Is Law Computable? Critical Perspectives on Law and Artificial Intelligence / S. Deakin, Ch. Markou (eds). — Hart Publishing, 2020. — P. 135–160.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">Casey A. , Niblett A. Self-Driving Laws // University of Toronto Law Journal. — 2016. — No. 66. — P. 429–442.</mixed-citation><mixed-citation xml:lang="en">Casey A., Niblett A. Self-Driving Laws // University of Toronto Law Journal. — 2016. — No. 66. — P. 429–442.</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Diver L. Digisprudence: Code as Law Rebooted. — Edinburgh University Press Ltd., 2022. — 264 p.</mixed-citation><mixed-citation xml:lang="en">Diver L. Digisprudence: Code as Law Rebooted. — Edinburgh University Press Ltd., 2022. — 264 p.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">Genesereth M. Computational Law: The Cop in the Backseat. — CodeX: The Stanford Center for Legal Informatics, 2015.</mixed-citation><mixed-citation xml:lang="en">Genesereth M. Computational Law: The Cop in the Backseat. — CodeX: The Stanford Center for Legal Informatics, 2015.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Hildebrandt M. Legal and Technological Normativity: more (and less) than twin sisters // Techne. — Vol. 12. — Iss. 3. — 2008. — P. 169–183.</mixed-citation><mixed-citation xml:lang="en">Hildebrandt M. Legal and Technological Normativity: more (and less) than twin sisters // Techne. — Vol. 12. — Iss. 3. — 2008. — P. 169–183.</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Hildebrandt M. Code-driven Law: Freezing the Future and Scaling the Past // Is Law Computable? Critical Perspectives on Law and Artificial Intelligence / S. Deakin, Ch. Markou (eds). — Hart Publishing, 2020. — P. 67–84.</mixed-citation><mixed-citation xml:lang="en">Hildebrandt M. Code-driven Law: Freezing the Future and Scaling the Past // Is Law Computable? Critical Perspectives on Law and Artificial Intelligence / S. Deakin, Ch. Markou (eds). — Hart Publishing, 2020. — P. 67–84.</mixed-citation></citation-alternatives></ref><ref id="cit23"><label>23</label><citation-alternatives><mixed-citation xml:lang="ru">Mohun J. , Roberts A. Cracking the code: Rulemaking for humans and machines. — OECD Working Papers on Public Governance. — No. 42. — 2020. — P. 1–109.</mixed-citation><mixed-citation xml:lang="en">Mohun J., Roberts A. Cracking the code: Rulemaking for humans and machines. OECD Working Papers on Public Governance. — No. 42. — 2020. — P. 1–109.</mixed-citation></citation-alternatives></ref><ref id="cit24"><label>24</label><citation-alternatives><mixed-citation xml:lang="ru">Waddington M. Machine-consumable legislation: A legislative drafter’s perspective — human v. artificial intelligence // The Loophole. — 2019. — June. — No. 2. — P. 21–52.</mixed-citation><mixed-citation xml:lang="en">Waddington M. Machine-consumable legislation: A legislative drafter’s perspective — human v. artificial intelligence // The Loophole. — 2019. — June. — No. 2. — P. 21–52.</mixed-citation></citation-alternatives></ref><ref id="cit25"><label>25</label><citation-alternatives><mixed-citation xml:lang="ru">Zalnieriute M., Crawford L. B. , Boughey J. , Moses L. B. , Logan S. From Rule of Law to Statute Drafting Legal Issues for Algorithms in Government Decision-Making // The Cambridge Handbook of the Law of Algorithms / W. Barfield (ed.). — Cambridge : Cambrid ge University Press, 2021. — P. 251–372.</mixed-citation><mixed-citation xml:lang="en">Zalnieriute M., Crawford L. B., Boughey J., Moses L. B., Logan S. From Rule of Law to Statute Drafting Legal Issues for Algorithms in Government Decision-Making // The Cambridge Handbook of the Law of Algorithms / W. Barfield (ed.). — Cambridge: Cambridge University Press, 2021. — P. 251–372.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
