迈向一种用于描述特定法律条文并具潜在计算实现的一般多类框架
人工智能
2021-06-01 v1
摘要
通过考察20世纪斯堪的纳维亚法律理论传统，我们可以提取出本体自然主义、逻辑经验主义和现代唯心主义三种理据。我们在当代数学逻辑中引入了“逻辑经验主义”里所呈现的数学句法图式。我们逐步发展并随后提出了一种用于描述明确买卖法条（瑞典）的新形式化框架。该新框架基于多类一阶逻辑（MFOL）方法，其语义奠基于具有法律相关性的具体“物理”对象与情境。具体而言，我们给出了瑞典不动产买卖核心立法条文之一的具体形式句法翻译。此外，我们讨论了此类形式化后续发展对于构建可用作“共同创造”法律辅助工具以解决涉及财产转让等高度复杂法律问题的人工智能体（如软件）的潜在影响。
引用
@article{arxiv.2105.14212,
title = {Towards a General Many-Sorted Framework for Describing Certain Kinds of Legal Statutes with a Potential Computational Realization},
author = {Danny A. J. Gomez-Ramirez and Egil Nordqvist},
journal= {arXiv preprint arXiv:2105.14212},
year = {2021}
}