DROPS

Document

Prioritized Conditional Imperatives:Problems and a New Proposal

Authors: Jörg Hansen

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

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.

Cite as

Jörg Hansen. Prioritized Conditional Imperatives:Problems and a New Proposal. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@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}
}

Document

DOI: 10.4230/DagSemProc.07122.28

Ten Philosophical Problems in Deontic Logic

Authors: Jörg Hansen, Gabriella Pigozzi, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract

The paper discusses ten philosophical problems in deontic logic: how to formally represent norms, when a set of norms may be termed `coherent', how to deal with normative conflicts, how contrary-to-duty obligations can be appropriately modeled, how dyadic deontic operators may be redefined to relate to sets of norms instead of preference relations between possible worlds, how various concepts of permission can be accommodated, how meaning postulates and counts-as conditionals can be taken into account, and how sets of norms may be revised and merged. The problems are discussed from the viewpoint of input/output logic as developed by van der Torre Makinson. We argue that norms, not ideality, should take the central position in deontic semantics, and that a semantics that represents norms, as input/output logic does, provides helpful tools for analyzing, clarifying and solving the problems of deontic logic.

Cite as

Jörg Hansen, Gabriella Pigozzi, and Leendert van der Torre. Ten Philosophical Problems in Deontic Logic. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{hansen_et_al:DagSemProc.07122.28,
  author =	{Hansen, J\"{o}rg and Pigozzi, Gabriella and van der Torre, Leendert},
  title =	{{Ten Philosophical Problems in Deontic Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--26},
  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.28},
  URN =		{urn:nbn:de:0030-drops-9413},
  doi =		{10.4230/DagSemProc.07122.28},
  annote =	{Keywords: Deontic logic, normative systems, input/output logic}
}

Search Results

Documents authored by Hansen, Jörg

Prioritized Conditional Imperatives:Problems and a New Proposal

Abstract

Cite as

Ten Philosophical Problems in Deontic Logic

Abstract

Cite as

Thanks for your feedback!

Could not send message