Results 21 to 30 of about 697,727 (200)
An ASP Implementation of Defeasible Deontic Logic
KI - Kunstliche IntelligenzWe present a novel implementation of Defeasible Deontic Logic as an Answer Set Programming meta-program, and we evaluate the performance of the implementation against a recent set of ...
Guido Governatori
exaly +2 more sources
A Kelsenian Deontic Logic [PDF]
, 2021 Inspired by Kelsen’s view that norms establish causal-like connections between facts and sanctions, we develop a deontic logic in which a proposition is obligatory iff its complement causes a violation. We provide a logic for normative causality, define non-contextual and contextual notions of illicit and duty, and show that the logic of such duties is
Agata Ciabattoni +2 more
openaire +4 more sources
Deontic Reasoning Across Contexts [PDF]
, 2014 Contrastivism about `ought' holds that `ought' claims are relativized, at least implicitly, to sets of mutually exclusive but not necessarily jointly exhaustive alternatives.
Snedegar, Justin
core +3 more sources
Rights and Practical Reasoning in Deontic Logic [PDF]
, 2023 peer reviewedThis paper brings together two traditions in deontic logic: the theory of normative positions, that is, reasoning about di↵erent types of rights, and practical reasoning, which has special relevance from the viewpoint of artificial ...
VAN DER TORRE, Leon +5 more
core +2 more sources
Design by contract - Deontic design language for multiagent systems [PDF]
, 2005 Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines),relying on mutual obligations and benefits made explicit by assertions.
Garion, C. +4 more
core +1 more source
Defeasible Deontic Logic in Answer Set Programming
, 2023 We present a brief overview of the Domain Specific Language L4 and provide a defeasible semantics of it based on the Answer Set Programming encoding of Defeasible Deontic ...
Guido Governatori
core +1 more source
Consistency and permission in deontic justification logic [PDF]
, 2022 Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different.
Faroldi, F +4 more
core +1 more source
Deontic Logic, Mental odels, and Wason Selection Task
Principia: An International Journal of Epistemology, 2014 A problem related to theWason selection task is that only some thematic versions of it are executed correctly. Fodor raises the thesis that the versions that are adequately solved are those that refer to deontic situations.
Miguel López Astorga
doaj +1 more source
The Challenge of the K-Principle in Deontic Logic (and Well Beyond)
Phenomenology and Mind, 2017 I go through various arguments why the K-principle (aka Distributivity Axiom), O(p→q)→(Op→Oq), a cornerstone of all deontic logic as the latter is standardly conceived, is of little use for the logical analysis of real-life deontic discourse.
Wojciech Żełaniec
doaj +1 more source
A modal logic for reasoning on consistency and completeness of regulations [PDF]
, 2009 In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness.
Garion, Christophe +2 more
core +1 more source