Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

van der Torre, Leendert W. N.
Tan, Yao-Hua

dblp
dblp



Editor(s):

Prade, Henri

dblp



BibTeX cite key*:

torre:ecai98

Title, Booktitle

Title*:

An update semantics for prima facie obligations

Booktitle*:

Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)

Event, URLs

URL of the conference:

http://www.cogs.susx.ac.uk/ecai98/

URL for downloading the paper:


Event Address*:

Brighton, England

Language:

English

Event Date*
(no longer used):

August, 23 - August 28

Organization:


Event Start Date:

22 September 2019

Event End Date:

22 September 2019

Publisher

Name*:

Wiley

URL:


Address*:

Chichester, USA

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

38-42

Year*:

1998

VG Wort Pages:


ISBN/ISSN:

0-471-98431-0

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

The deontic logic DUS is a Deontic Update Semantics for prescriptive
obligations based on the update semantics of Veltman. In DUS the definition
of logical validity of obligations is not based on static truth values but on
dynamic action transitions. In this paper prescriptive prima facie obligations
are formalized in update semantics. The logic formalizes the specificity
principle, has reinstatement and does not have an irrelevance problem.
Moreover, it handles the diagnostic problem by distinguishing between
overridden, conflict and factual defeasibility.

Keywords:

Logic, Deontic Logic, Update Semantics



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{torre:ecai98,
AUTHOR = {van der Torre, Leendert W. N. and Tan, Yao-Hua},
EDITOR = {Prade, Henri},
TITLE = {An update semantics for prima facie obligations},
BOOKTITLE = {Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)},
PUBLISHER = {Wiley},
YEAR = {1998},
PAGES = {38--42},
ADDRESS = {Brighton, England},
ISBN = {0-471-98431-0},
}


Entry last modified by Leon van der Torre, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Leon van der Torre
Created
04/12/1999 03:23:00 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Leon van der Torre
Uwe Brahm
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
22/04/99 10:15:52
04/14/99 08:04:37 PM
04/14/99 07:03:23 PM
04/14/99 06:49:35 PM
12/04/99 15:23:00