Results 81 to 90 of about 697,727 (200)
Engineering Reports, Volume 8, Issue 7, July 2026.We propose the Powerful‐but‐Limited Generative AI theorem, demonstrating that embedding human‐inspired constraints, such as fixed utility functions and neuro‐symbolic submission layers, ensures generative AI remains controllable by preventing self‐improvement beyond designer intent.
Saeed Banaeian Far +3 more
wiley +1 more source
Applying the Agent-Deed-Consequence (ADC) Model to Smart City Ethics
AlgorithmsSmart cities are an emerging technology that is receiving new ethical attention due to recent advancements in artificial intelligence. This paper provides an overview of smart city ethics while simultaneously performing novel theorization about the ...
Daniel Shussett, Veljko Dubljević
doaj +1 more source
Metaethics and the Functions of Moral Language
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 74-87, July 2026.ABSTRACT Metaethics has long included debates about the function of moral discourse. Some have argued that moral statements express our attitudes, others that they serve as prescriptions for how to act, still others that they describe moral facts or properties.
Amie L. Thomasson
wiley +1 more source
Possible World Semantics for Defeasible Deontic Logic
, 2012 Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic.
CALARDO, ERICA +5 more
core +1 more source
Designing a Deontic Logic of Deadlines [PDF]
, 2004 This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a simple semantics for deadline obligations in terms of branching time models. We show that this notion of deadline obligation can be characterized in the branching time logic CTL.
Jan M. Broersen +3 more
openaire +4 more sources
, 2021 This paper introduces a system of deontic logic based on the idea that obligations are grounded on reasons. A reason-based deontic system is worth considering for at least three reasons: it may shed light on the way in which obligations are generated; it
Giordani, Alessandro
core
Adaptive Deontic Logics: A Survey.
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
openaire +2 more sources
Automated Reasoning in Deontic Logic [PDF]
, 2014 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 multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL ...
Ulrich Furbach +2 more
openaire +3 more sources
Introduction to Deontic Logic and Normative Systems
, 2018 Deontic logic deals with obligation, permission and related normative concepts. This textbook introduces three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic deontic logic, and input/output logic.
PARENT, Xavier, VAN DER TORRE, Leon
core +1 more source