论文标题
基于论点的DL - 主体论法律推理方法
An Argumentation-Based Legal Reasoning Approach for DL-Ontology
论文作者
论文摘要
本体论是一种流行的方法，用于不同领域的知识表示，包括法律领域，描述逻辑（DL）通常用作其描述语言。为了基于基于DL的法律本体论不一致的推理，当前的论文介绍了一个结构化的论证框架，尤其是根据ASPIC+在法律背景下推理，并将法律本体论转化为论证理论的公式和规则。从法律AI的角度特别关注自动驾驶汽车的设计，我们表明，使用这种正式论证和基于DL的法律本体论的结合理论，可以根据不一致的本体论来获得可接受的断言，并且也可以完成DL本学的传统推理任务。此外，提出了对推理结果的解释的正式定义。
Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal ontologies, the current paper presents a structured argumentation framework particularly for reasoning in legal contexts on the basis of ASPIC+, and translates the legal ontology into formulas and rules of an argumentation theory. With a particular focus on the design of autonomous vehicles from the perspective of legal AI, we show that using this combined theory of formal argumentation and DL-based legal ontology, acceptable assertions can be obtained based on inconsistent ontologies, and the traditional reasoning tasks of DL ontologies can also be accomplished. In addition, a formal definition of explanations for the result of reasoning is presented.
