Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles

Authors:
José Carmo;Olga Pacheco
Affiliations:
Dipartimento de Mathematica, Universidade da Madeira, Campus Universitario da Penteada, 9000-390 Funchal, Madeira, Portugal;Department of Informatics, University of Minho, Braga, Portugal
Venue:
Fundamenta Informaticae - Deontic Logic in Computer Science
Year:
2001

Citing 8
Cited 3

Authentication in distributed systems: theory and practice

ACM Transactions on Computer Systems (TOCS)
A calculus for access control in distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Deontic logic: a concise overview

Deontic logic in computer science
A flexible model supporting the specification and enforcement of role-based authorization in workflow management systems

RBAC '97 Proceedings of the second ACM workshop on Role-based access control
First-Order Dynamic Logic

First-Order Dynamic Logic
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction

Autonomous Agents and Multi-Agent Systems
Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control

ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Extending Deontic Logic for the Formalisation of Legal Rules

Extending Deontic Logic for the Formalisation of Legal Rules

A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction

Autonomous Agents and Multi-Agent Systems
Normative autonomy and normative co-ordination: declarative power, representation, and mandate

Artificial Intelligence and Law
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we address the problem of organized collective agency, and propose a deontic/action modal logic for that purpose. We argue that once we want to attribute obligations (permissions or other deontic notions) to a set of agents, we need to consider a new agent - that we called institutionalized agent, and specify how he interacts with the external world: how the obligations flow from the institutionalized agent to the real agents that support him, and how the actions of the latter count as actions of the former. But an agent may act in many qualities (roles), and it is essential to know in which quality an agent has acted, or intends to act, for three main reasons: to know the effects of the act, its deontic qualification, and authentication issues. Thus, we extend the ``sees to it'' action operator with an explicit index that states the quality (role) in which the agent has acted. We also show how to associate obligations to roles, and illustrate how this can be used to express the desired flow of obligations.