Hansen, Jörg
Prioritized Conditional Imperatives:Problems and a New Proposal
Abstract
The sentences of deontic logic may be understood as describing what
an agent ought to do when faced with a given set of norms. If these
norms come into conflict, the best the agent can be expected to do
is to follow a maximal subset of the norms. Intuitively, a priority
ordering of the norms can be helpful in determining the relevant
sets and resolve conflicts, but a formal resolution mechanism has
been difficult to provide. In particular, reasoning about
prioritized conditional imperatives is overshadowed by problems such
as the `order puzzle' that are not satisfactorily resolved by
existing approaches. The paper provides a new proposal as to how
these problems may be overcome.
BibTeX - Entry
@InProceedings{hansen:DSP:2007:914,
author = {J{\"o}rg Hansen},
title = {Prioritized Conditional Imperatives:Problems and a New Proposal},
booktitle = {Normative Multi-agent Systems},
year = {2007},
editor = {Guido Boella and Leon van der Torre and Harko Verhagen },
number = {07122},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2007/914},
annote = {Keywords: Deontic logic, default logic, priorities, logic of imperatives}
}
|
Keywords: |
|
Deontic logic, default logic, priorities, logic of imperatives |
|
Seminar: |
|
07122 - Normative Multi-agent Systems
|
|
Documenttype: |
|
InProceedings |
|
Issue date: |
|
2007 |
|
Date of publication: |
|
12.03.2007 |