On Normative Arrows and Comparing Tax Automation Systems
Abstract
Automation of legal norms can only exist because of compromises made in translating laws in natural languages to code (executables) in formal languages. Tax and benefits law is canonically considered one of the least compromising domains of law in terms of this nuance. In this paper, I compare two domain-specific languages used in the automation of tax and benefits law: Catala, which is proposed for use by the French Tax Authority, and Regelspraak, which the Dutch Tax Authority uses. The comparison is based on a top-down modeling approach, which does not try to go all the way down to the technical differences but aims to identify the points at which the two approaches diverge in the way the norm is shaped. It becomes evident that a lot of decisions that affect normativity are made inside the technical components of these systems. Safeguarding legal protection at the creation of automation of norms will likely require cross-domain efforts.
References
[1]
Eric J. Braude and Michael E. Bernstein. 2016. Software Engineering: Modern Approaches, Second Edition. Google-Books-ID: kILlCwAAQBAJ. Waveland Press, (Mar. 9, 2016). 800 pp. ISBN: 978-1-4786-3303-7.
[2]
Mischa Corsius, Stijn Hoppenbrouwers, Mariette Lokin, Elian Baars, Gertrude Sangers-Van Cappellen, and Ilona Wilmont. 2021. RegelSpraak: a CNL for executable tax rules specification. In Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020/21). CNL 2021. Special Interest Group on Controlled Natural Language, Amsterdam, Netherlands, (Sept. 2021). Retrieved Sept. 27, 2021 from https://aclanthology.org/2021.cnl-1.6.
[3]
Frans Fokkenrood. [n. d.] RegelSpraak for business rules: experiences in building a business rules compiler for the dutch tax administration: features: business rules community / business rules journal. Business Rules Community - BRC. Retrieved Mar. 28, 2022 from https://www.brcommunity.com/articles.php?id=b622.
[4]
Guido Governatori, Florian Idelberger, Zoran Milosevic, Regis Riveret, Giovanni Sartor, and Xiwei Xu. 2018. On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artificial Intelligence and Law, 26, 4, (Dec. 1, 2018), 377--409.
[5]
H.L.A. (Herbert Lionel Adolphus) Hart and Penelope A. Bulloch. 1994. The concept of law. (2nd ed. ed.). Clarendon law series. Section: XII, p. 315; 23 cm. Clarendon Press, Oxford. isbn: 0-19-876122-8. http://catdir.loc.gov/catdir/enhancements/fy0640/94221592-d.html.
[6]
Andrew W. Keep and R. Kent Dybvig. 2013. A nanopass framework for commercial compiler development. ACM SIGPLAN Notices, 48, 9, (Sept. 25, 2013), 343--350.
[7]
D. E. Knuth. 1984. Literate programming. The Computer Journal, 27, 2, (Jan. 1, 1984), 97--111.
[8]
Sarah B. Lawsky. 2013. Modeling uncertainty in tax law. Stanford Law Review, 65, 2, 241--278. Retrieved Feb. 2, 2022 from https://heinonline.org/HOL/P?h=hein.journals/stflr65&i=255.
[9]
Xavier Leroy. 2006. Formal certification of a compiler back-end or: programming a compiler with a proof assistant. ACM SIGPLAN Notices, 41, 1, (Jan. 11, 2006), 42--54.
[10]
M.H.A.F Lokin. 2018. Wendbaar wetgeven: de wetgever als systeembeheerder. Ph.D. Dissertation. OCLC: 1089446730.
[11]
Mariette Lokin, Anouschka Ausems, Caren Wolferink, Diederik Dulfer, and Belastingdienst Bouwmeester. 2020. RegelSpraak: een brug tussen wetgeving en ICT. RegelMaat, 35, 1, (Jan. 2020), 28--47.
[12]
Denis Merigoux, Marie Alauzen, and Lilya Slimani. Rules, Computation and Politics: Scrutinizing Unnoticed Programming Choices in French Housing Benefits. working paper or preprint, (Dec. 2022). https://inria.hal.science/hal-03712130.
[13]
Denis Merigoux, Nicolas Chataing, and Jonathan Protzenko. 2021. Catala: a programming language for the law. arXiv:2103.03198 [cs], (Mar. 4, 2021). Retrieved Mar. 9, 2021 from http://arxiv.org/abs/2103.03198 arXiv: 2103.03198.
[14]
Denis Merigoux and Liane Huttner. 2020. Catala: moving towards the future of legal expert systems. (Sept. 11, 2020). Retrieved Feb. 27, 2021 from https://hal.inria.fr/hal-02936606.
[15]
Monica Palmirani and Fabio Vitali. 2011. Akoma-ntoso for legal documents. In Legislative XML for the Semantic Web:Principles, Models, Standards for Document Management. Law, Governance and Technology Series. Giovanni Sartor, Monica Palmirani, Enrico Francesconi, and Maria Angela Biasiotti, (Eds.) Springer Netherlands, Dordrecht, 75--100. isbn: 978-94-007-1887-6.
[16]
M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, and H. T. Cory. 1986. The british nationality act as a logic program. Communications of the ACM, 29, 5, (May 1, 1986), 370--386.
[17]
Matthew Waddington. 2020. Rules as code. Law in Context. A Socio-legal Journal, 37, 1, 179--186.
[18]
Jeremy Waldron. 2011. The rule of law and the importance of procedure. Nomos, 50, 3--31. Publisher: American Society for Political and Legal Philosophy. Retrieved Mar. 16, 2020 from https://www.jstor.org/stable/24220105.
[19]
Meng Weng Wong. 2020. Rules as code - seven levels of digitisation. Research Collection Yong Pung How School Of Law., (Apr. 2020), 1--24.
Index Terms
- On Normative Arrows and Comparing Tax Automation Systems
Recommendations
Internet tax legislation: distinguishing issues
Internet policies and issuesThe Internet Tax Freedom Act (ITFA), enacted in 1998, placed a three-year moratorium on the ability of state and local governments to impose new taxes on Internet access, or to impose any multiple or discriminatory taxes on electronic commerce. The ...
Sales Tax on the Internet: When and How to Tax?
HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 5 - Volume 5As a first attempt to tax electronic commerce, many countries applied the existing tax laws to Internet. However, applying these laws to border-spanning electronic commerce proved very inefficient and inappropriate. While some authorities claim not ...
Illegal Avoidation of Tax Expenses by Using the Evasion Tax
ICEME '21: Proceedings of the 2021 12th International Conference on E-business, Management and EconomicsVarious ways are used by taxpayers in making efforts to avoid taxation. One way that can be used to do tax avoidance is by using tax evasion. Tax evasion is defined as a scheme to reduce payable taxes by violating (illegal) taxation provisions, such as ...
Comments
Information & Contributors
Information
Published In
June 2023
499 pages
ISBN:9798400701979
DOI:10.1145/3594536
- Conference Chair:
- Francisco Andrade,
- Program Chair:
- Matthias Grabmair
Copyright © 2023 Owner/Author.
This work is licensed under a Creative Commons Attribution-NonCommercial International 4.0 License.
Sponsors
- IAAIL: Intl Asso for Artifical Intel & Law
In-Cooperation
- UMinho: University of Minho
- SIGAI: ACM Special Interest Group on Artificial Intelligence
- AAAI: Am Assoc for Artifical Intelligence
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 07 September 2023
Accepted: 12 April 2023
Received: 12 February 2023
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
Conference
ICAIL 2023
Sponsor:
- IAAIL
ICAIL 2023: Nineteenth International Conference on Artificial Intelligence and Law
June 19 - 23, 2023
Braga, Portugal
Acceptance Rates
Overall Acceptance Rate 69 of 169 submissions, 41%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 149Total Downloads
- Downloads (Last 12 months)149
- Downloads (Last 6 weeks)19
Reflects downloads up to 12 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in