Results 11 to 20 of about 1,947 (213)
Journal of Logic and Computation, 2018 It is well-known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different.
Canavotto, Ilaria, Giordani, Alessandro
openaire +4 more sources
A Probabilistic Deontic Logic [PDF]
, 2021 In this article, we introduce a logic for reasoning about probability of normative statements. We present its syntax and semantics, describe the corresponding class of models, provide an axiomatization for this logic and prove that the axiomatization is sound and complete. We also prove that our logic is decidable.
de Wit, Vincent +2 more
openaire +5 more sources
A Ceteris Paribus Deontic Logic. [PDF]
, 2020 We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences. We introduce notions of unconditional obligation and permission as well as conditional obligation and permission that are interpreted relative to this semantics.
Andrea Loreggia +2 more
openaire +5 more sources
Deontic Redundancy: A Fundamental Challenge for Deontic Logic [PDF]
, 2010 To decide which norms can be removed from a system, we need to know when a norm is redundant. After shifting the focus of attention in deontic logic from detachment of obligations and permissions to deontic redundancy, I discuss in this paper five benchmark examples of deontic redundancy in reasoning about permissions, intermediate concepts and ...
VAN DER TORRE, Leon +1 more
openaire +2 more sources
Introducing Exclusion Logic as a Deontic Logic [PDF]
, 2010 This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
Richard Evans, Evans, Richard
openaire +2 more sources
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
Bulletin of the Section of Logic, 2022 Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over ...
Meha Mishra, A.V. Ravishankar Sarma
doaj +1 more source
Defeasibility applied to Forrester’s paradox
South African Computer Journal, 2020 Deontic logic is a logic often used to formalise scenarios in the legal domain. Within the legal domain there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with not only the notion of defeasibility, which
Julian Chingoma, Thomas Meyer
doaj +1 more source
Prioritization of the Social Approach of Employment Modeled by Plithogenic Sets [PDF]
Neutrosophic Sets and Systems, 2020 Employment can only be understood from different approaches, such as the social, economic, and legal approach. To model employment using logic, it is necessary to take into account that these approaches are usually modeled with different logics, e.g ...
Rously Eedyah Atencio González +3 more
doaj +1 more source
An Algebraic Approach for Action Based Default Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted.
Pablo F. Castro +3 more
doaj +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