A logic for reasoning about responsibility

T. Lima, de, L.M.M. Royakkers, F.P.M. Dignum

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)

Abstract

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.
Original languageEnglish
Pages (from-to)99-117
Number of pages19
JournalLogic Journal of the IGPL
Volume18
Issue number1
DOIs
Publication statusPublished - 2010

Fingerprint

Dive into the research topics of 'A logic for reasoning about responsibility'. Together they form a unique fingerprint.

Cite this