Logic Journal of the IGPL 18 (1):99-117 (2010)

Frank Dignum
Utrecht University
One way to allocate tasks to agents is by ascribing them obligations. From obligations to be, agents are able to infer what are the forbidden, permitted and obligatory actions they may perform, by using the well-known Meyer’s reduction from obligations to be to obligations to do. However, we show through an example that this method is not completely adequate to guide agents’ decisions. We then propose a solution using, instead of obligations, the concept of ‘responsibility’. To formalise responsibility we use a multiagent extension of propositional dynamic logic as framework, and then we define some basic concepts, such as ‘agent ability’, also briefly discussing the problem of uniform strategies and a possible solution. In the last part, we show that our framework can be used in the specification of normative multiagent systems, by presenting an extensive running example
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzp073
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,901
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

An Ontology for Commitments in Multiagent Systems. [REVIEW]Munindar P. Singh - 1999 - Artificial Intelligence and Law 7 (1):97-113.
Technological Progress and Responsibility.Nikil Mukerji - 2014 - In Fiorella Battaglia, Nikil Mukerji & Julian Nida-Rümelin (eds.), Rethinking Responsibility in Science and Technology. Pisa University Press. pp. 25-36.
Contrary-to-Duty Obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
Reasoning About Action and Change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
Essentially Shared Obligations.Gunnar Björnsson - 2014 - Midwest Studies in Philosophy 38 (1):103-120.
A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.


Added to PP index

Total views
12 ( #771,996 of 2,439,108 )

Recent downloads (6 months)
1 ( #434,440 of 2,439,108 )

How can I increase my downloads?


My notes