Can Legislation Be Made Machine-Readable in PROLEG?
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912801705951232 |
|---|---|
| author | Zin, May-Myo Wehnert, Sabine Kong, Yuntao Nguyen, Ha-Thanh Fungwacharakorn, Wachara Xue, Jieying Araszkiewicz, Michał Goebel, Randy Satoh, Ken Nguyen, Le-Minh |
| author_facet | Zin, May-Myo Wehnert, Sabine Kong, Yuntao Nguyen, Ha-Thanh Fungwacharakorn, Wachara Xue, Jieying Araszkiewicz, Michał Goebel, Randy Satoh, Ken Nguyen, Le-Minh |
| contents | The anticipated positive social impact of regulatory processes requires both the accuracy and efficiency of their application. Modern artificial intelligence technologies, including natural language processing and machine-assisted reasoning, hold great promise for addressing this challenge. We present a framework to address the challenge of tools for regulatory application, based on current state-of-the-art (SOTA) methods for natural language processing (large language models or LLMs) and formalization of legal reasoning (the legal representation system PROLEG). As an example, we focus on Article 6 of the European General Data Protection Regulation (GDPR). In our framework, a single LLM prompt simultaneously transforms legal text into if-then rules and a corresponding PROLEG encoding, which are then validated and refined by legal domain experts. The final output is an executable PROLEG program that can produce human-readable explanations for instances of GDPR decisions. We describe processes to support the end-to-end transformation of a segment of a regulatory document (Article 6 from GDPR), including the prompting frame to guide an LLM to "compile" natural language text to if-then rules, then to further "compile" the vetted if-then rules to PROLEG. Finally, we produce an instance that shows the PROLEG execution. We conclude by summarizing the value of this approach and note observed limitations with suggestions to further develop such technologies for capturing and deploying regulatory frameworks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_01477 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Can Legislation Be Made Machine-Readable in PROLEG? Zin, May-Myo Wehnert, Sabine Kong, Yuntao Nguyen, Ha-Thanh Fungwacharakorn, Wachara Xue, Jieying Araszkiewicz, Michał Goebel, Randy Satoh, Ken Nguyen, Le-Minh Computation and Language The anticipated positive social impact of regulatory processes requires both the accuracy and efficiency of their application. Modern artificial intelligence technologies, including natural language processing and machine-assisted reasoning, hold great promise for addressing this challenge. We present a framework to address the challenge of tools for regulatory application, based on current state-of-the-art (SOTA) methods for natural language processing (large language models or LLMs) and formalization of legal reasoning (the legal representation system PROLEG). As an example, we focus on Article 6 of the European General Data Protection Regulation (GDPR). In our framework, a single LLM prompt simultaneously transforms legal text into if-then rules and a corresponding PROLEG encoding, which are then validated and refined by legal domain experts. The final output is an executable PROLEG program that can produce human-readable explanations for instances of GDPR decisions. We describe processes to support the end-to-end transformation of a segment of a regulatory document (Article 6 from GDPR), including the prompting frame to guide an LLM to "compile" natural language text to if-then rules, then to further "compile" the vetted if-then rules to PROLEG. Finally, we produce an instance that shows the PROLEG execution. We conclude by summarizing the value of this approach and note observed limitations with suggestions to further develop such technologies for capturing and deploying regulatory frameworks. |
| title | Can Legislation Be Made Machine-Readable in PROLEG? |
| topic | Computation and Language |
| url | https://arxiv.org/abs/2601.01477 |