Explanation in Legal Contexts: An Integration of Deontic and Non-Monotonic Reasoning
摘要
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.