Conflicting obligations in multi-agent deontic logic

Authors:
Barteld Kooi;Allard Tamminga
Affiliations:
Vakgroep Theoretische Filosofie, Faculteit der Wijsbegeerte, Rijksuniversiteit Groningen, Groningen, The Netherlands;Vakgroep Theoretische Filosofie, Faculteit der Wijsbegeerte, Rijksuniversiteit Groningen, Groningen, The Netherlands
Venue:
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Year:
2006

Citing 0
Cited 9

A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A Deontic Logic for Socially Optimal Norms

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Strategic Ability Update: A Modal Logic Account

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Logical dynamics of commands and obligations

JSAI'06 Proceedings of the 20th annual conference on New frontiers in artificial intelligence
Forbidding undesirable agreements: a dependence-based approach to the regulation of multi-agent systems

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Probabilistic stit logic

ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Modeling attempt and action failure in probabilistic stit logic

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Obligations and their interaction with programs

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Probabilistic stit logic and its decomposition

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Extending John Horty's multi-agent deontic logic to moral reasoning with subjective utilities, we provide a language and semantics to study moral reasoning with sentences like ‘Group ${\ensuremath{\mathcal{G}}}$ of agents ought see to it that φ in the interest of group ${\ensuremath{\mathcal{F}}}$'. We illustrate our deontic logic with a new formal analysis of the Prisoner's Dilemma, thereby showing that games can be studied fruitfully with our deontic logic. Finally, we prove a characterization theorem on conflicting obligations.