Results 11 to 20 of about 8,757 (208)
Journal of Logic and Computation, 2023 Abstract The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic.
Olivieri, Francesco +4 more
openaire +7 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
core +4 more sources
Adaptive Deontic Logics: A Survey. [PDF]
FLAP, 2019 Adaptive Logics (ALs) are a viable and useful formal tool to handle various issues in deontic logic. In this paper, we motivate, explain, illustrate, and discuss the use of ALs in deontic logic. Published work on deontic ALs focusses mainly on conflicttolerant deontic logics (logics that can accommodate conflicting obligations) and – to a lesser extent
Van De Putte, Frederik +2 more
core +11 more sources
, 2014 It is commonly assumed that deontic logic concerns "the" logic of normative concepts. However, a close look at actual usage shows that the structural patterns of deontic notions differ between different usages.
Sven Ove Hansson, Hansson, Sven Ove,
openaire +3 more sources
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]
Bulletin of the Section of Logic, 2017 In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
Ciuciura, Janusz
openaire +7 more sources
Speech act theory, discourse structure and indirect speech [PDF]
, 1991 Speech Act Theory is concerned with the ways in which language can be used. It originated with Austin, but was developed by Searle. The theories of Austin and Searle are described and several problem areas are identified.
Smith, Peter Wilfred Hesling
core +7 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
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018 Normative capabilities in multi-agent systems (MAS) can be represented within agents, separately as institutions, or a blend of the two. This paper addresses how to extend the principles of open MAS to the provision of normative reasoning capabilities, which are currently either embedded in existing MAS platforms - tightly coupled and inaccessible - or
Julian A. Padget +2 more
openaire +2 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