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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationDeontic Logic and Artificial Normative Systems
Subtitle of host publication8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
EditorsLou Globe, John-Jules Ch. Meyer
Place of PublicationBerlin
PublisherSpringer
Chapter12
Pages131-148
Number of pages18
ISBN (Electronic)978-3-540-35843-5
ISBN (Print)978-3-540-35842-8
DOIs
Publication statusPublished - 2006
Eventconference; Eight International Workshop on Deontic Logic in Computer Science; 2006-07-12; 2006-07-14 -
Duration: 12 Jul 200614 Jul 2006

Publication series

NameLecture Notes in Computer Science (LNCS)
Volume4048
ISSN (Print)0302-9743

Conference

Conferenceconference; Eight International Workshop on Deontic Logic in Computer Science; 2006-07-12; 2006-07-14
Period12/07/0614/07/06
OtherEight International Workshop on Deontic Logic in Computer Science

Fingerprint

Dive into the research topics of 'Don't ever do that! Long-term duties in PDel'. Together they form a unique fingerprint.

Cite this