Two approaches to the formalisation of defeasible deontic reasoning
type: Item
instance of: scholarly article
title: Two approaches to the formalisation of defeasible deontic reasoning
zbMATH Open document ID: 0860.03020
DOI: 10.1007/BF00370670
author: Henry Prakken
published in: Studia Logica
publication date: 1997-04-21T00:00:00Z
review text: This paper contrasts two ways of formalizing defeasible deontic reasoning. One is the method of Horty, which develops a special nonmonotonic logic for deontic statements. The other, which the author recommends, adds standard deontic principles to an existing nonmonotonic (non-deontic) logic, such as Reiter's default logic. Both types of system are designed to give a plausible analysis of moral dilemmas and possible conflicts of prima facie obligations. It is odd, then, that the second method accepts commitment to the principle \(\sim (OA \& O \sim A)\), though the author argues that this is acceptable.
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 929963
zbMATH Keywords: formalisation of defeasible deontic reasoning
zbMATH Keywords: deontic logic
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: default logic
zbMATH Keywords: analysis of moral dilemmas
zbMATH Keywords: prima facie obligations
reviewed by: Louis F. Goble
MaRDI profile type: Publication
cites work: Q5594592
cites work: Q3867808
cites work: The logic of conditional obligation. Comments by Harry Beatty
cites work: A note on algebras of nilpotent matrices
cites work: Moral dilemmas and nonmonotonic logic
cites work: Towards a formal theory of defeasible deontic conditionals
cites work: Dyadic deontic detachment
cites work: Five faces of minimality
cites work: Q4298367
cites work: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
cites work: An argumentation framework in default logic
cites work: Contrary-to-duty obligations
cites work: A logic for default reasoning
description: scientific article; zbMATH DE number 929963