Don't ever do that! Long-term duties in PDel

J.L. Hughes, L.M.M. Royakkers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

This paper studies long-term norms concerning actions. In Meyer’s Propositional Deontic Logic (PD e L), only immediate duties can be expressed, however, often one has duties of longer durations such as: “Never do that”, or “Do this someday”. In this paper, we will investigate how to amend PD e L so that such long-term duties can be expressed. This leads to the interesting and suprising consequence that the long-term prohibition and obligation are not interdefinable in our semantics, while there is a duality between these two notions. As a consequence, we have provided a new analysis of the long-term obligation by introducing a new atomic proposition I (indebtedness) to represent the condition that an agent has some unfulfilled obligation.
Originele taal-2Engels
TitelDeontic Logic and Artificial Normative Systems
Subtitel8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
RedacteurenLou Globe, John-Jules Ch. Meyer
Plaats van productieBerlin
UitgeverijSpringer
Hoofdstuk12
Pagina's131-148
Aantal pagina's18
ISBN van elektronische versie978-3-540-35843-5
ISBN van geprinte versie978-3-540-35842-8
DOI's
StatusGepubliceerd - 2006
Evenementconference; Eight International Workshop on Deontic Logic in Computer Science; 2006-07-12; 2006-07-14 -
Duur: 12 jul 200614 jul 2006

Publicatie series

NaamLecture Notes in Computer Science (LNCS)
Volume4048
ISSN van geprinte versie0302-9743

Congres

Congresconference; Eight International Workshop on Deontic Logic in Computer Science; 2006-07-12; 2006-07-14
Periode12/07/0614/07/06
AnderEight International Workshop on Deontic Logic in Computer Science

Vingerafdruk

Duik in de onderzoeksthema's van 'Don't ever do that! Long-term duties in PDel'. Samen vormen ze een unieke vingerafdruk.

Citeer dit