文件名称：规范代码-研究论文
文件大小：229KB
文件格式：PDF
更新时间：2024-06-29 07:51:00
Tax Formalization
众所周知，《国内税收法》在实质上和结构上都非常复杂。 本文研究了《国内税收法》中结构复杂性的一个来源：源自定义术语的部分之间的依赖性。 文章特别研究了“定义范围”问题的术语：当守则的结构不清楚术语指的是什么时。 本文以定义范围的问题作为案例研究，建议起草税法的人应在其颁布之前将拟议的法定语言正式化——将其翻译成逻辑术语。 形式化可以帮助起草者避免无意的歧义并完善法规中使用的语言； 它可以为那些希望解释规约的人提供有益的指导； 而且，最重要的是，它可以帮助使法律更接近计算机的可读性——也就是说，它可以帮助实现真正的法律人工智能。