Modeling the problem of many hands in organisations

Authors:
Tiago de Lima;Lambèr Royakkers;Frank Dignum
Affiliations:
CRIL, University of Artois, France;IE&IS, Eindhoven University of Technology, The Netherlands;ICS, Utrecht University, The Netherlands
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 6
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Towards a logical formalization of responsibility

Proceedings of the 6th international conference on Artificial intelligence and law
Alternating-time temporal logic

Journal of the ACM (JACM)
A normal simulation of coalition logic and an epistemic extension

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Organizational structure and responsibility: an analysis in a dynamic logic of organized collective agency

Artificial Intelligence and Law
A logical theory of coordination and joint ability

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we provide a formalism to reason about the problem of many hands in organisations. This is a problem that arises whenever the organisation is responsible for some undesirable outcome but none of its members can be held responsible for the outcome. The formalism proposed here is a logic that extends the Coalition Epistemic Dynamic Logic by adding a notion of group knowledge and also organisational structures to its semantics. An organisational structure is a set of agents and some relations between them. It defines the power and coordination links between agents, which defines how agents delegate tasks and communicate. We give formal definitions for individual and collective responsibility, as well as for the problem of the many hands.