Stable Normative Explanations: From Argumentation to Deontic Logic
This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation. With this done, we discuss the deontic meaning of this reconstruction and show how to build from argumentation neighborhood structures for deontic logic where this notion of explanation can be characterised. Some direct complexity results are offered.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic
In our previous research, we provided a reasoning system (called LeSAC) based on argumentation theory to provide legal support to designers during the design process. Building on this, this paper explores how to provide …
Autonomous DrivingvalidAutomated Reasoning in Deontic Logic
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in…
Legal ReasoningPhilosophyAutomated Reasoning in Normative Detachment Structures with Ideal Conditions
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In this article we look for a suitable way in…
Weak Permission is not Well-Founded, Grounded and Stable
We consider the notion of weak permission as the failure to conclude that the opposite obligation. We investigate the issue from the point of non-monotonic reasoning, specifically logic programming and structured argumen…
New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
In order to design and engineer ethical and legal reasoners and responsible systems, Benzm\"{u}ller, Parent and van der Torre introduced the LogiKEy methodology, based on the semantical embedding of deontic logics into c…
Legal Reasoning