Automated reasoning in normative detachment structures with ideal conditions
Automated reasoning in normative detachment structures with ideal conditions
复制标题
理想条件下规范分离结构的自动推理
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Matteo Pascucci
中科院分区：
文献类型：
--
作者：
Tomer Libal;Matteo Pascucci
本文介绍了一种用于规范推理的逻辑结构--理想条件下的规范分离结构，它可以用来规范地表示某些法律的文本的内容。该结构利用了一个系统的双峰逻辑能够区分理想和实际的规范性声明，以及一个新的形式化的条件规范性声明，能够捕捉有趣的情况下，相反的责任推理和避免道义悖论的演绎属性。此外，我们说明了如何提出的理论框架可以机械化，以获得一个自动化的问答过程的法律的文本的例子。
In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text.