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.
@InProceedings{hansen:DagSemProc.07122.25, author = {Hansen, J\"{o}rg}, title = {{Prioritized Conditional Imperatives:Problems and a New Proposal}}, booktitle = {Normative Multi-agent Systems}, pages = {1--30}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7122}, editor = {Guido Boella and Leon van der Torre and Harko Verhagen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.25}, URN = {urn:nbn:de:0030-drops-9147}, doi = {10.4230/DagSemProc.07122.25}, annote = {Keywords: Deontic logic, default logic, priorities, logic of imperatives} }
Feedback for Dagstuhl Publishing