<p>Formal argumentation can effectively manage reasoning in conflicting, open, and dynamic contexts, offering explanations that are accessible to users. This paper introduces an argumentation framework grounded in basic deontic logic to create a robust knowledge base for normative reasoning. By integrating deontic operators and utilizing deontic logic axioms with inference rules, the primary contributions of this paper are twofold. First, we present a reasoning system that combines deontic logic with non-monotonic reasoning, demonstrating its logical soundness and rationality. Second, we introduce a user-oriented definition of explanation that enhances usability by maintaining modifiable and defeasible rules, allowing for straightforward adjustments without the need to reconstruct foundational rules. This approach is particularly advantageous for users without training in formal logic, supporting reliable and adaptable applications in similar reasoning scenarios.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Explanation in Legal Contexts: An Integration of Deontic and Non-Monotonic Reasoning

  • Zhe Yu,
  • Yiwei Lu,
  • Zhe Lin,
  • Burkhard Schafer

摘要

Formal argumentation can effectively manage reasoning in conflicting, open, and dynamic contexts, offering explanations that are accessible to users. This paper introduces an argumentation framework grounded in basic deontic logic to create a robust knowledge base for normative reasoning. By integrating deontic operators and utilizing deontic logic axioms with inference rules, the primary contributions of this paper are twofold. First, we present a reasoning system that combines deontic logic with non-monotonic reasoning, demonstrating its logical soundness and rationality. Second, we introduce a user-oriented definition of explanation that enhances usability by maintaining modifiable and defeasible rules, allowing for straightforward adjustments without the need to reconstruct foundational rules. This approach is particularly advantageous for users without training in formal logic, supporting reliable and adaptable applications in similar reasoning scenarios.