A formal road from institutional norms to organizational structures

Authors:
Davide Grossi;Frank Dignum;John-Jules Ch. Meyer
Affiliations:
Utrecht University, Utrecht, The Netherlands;Utrecht University, Utrecht, The Netherlands;Utrecht University, Utrecht, The Netherlands
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 12
Cited 3

Tractable reasoning via approximation

Artificial Intelligence
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
MOISE+: towards a structural, functional, and deontic model for MAS organization

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
ISLANDER: an electronic institutions editor

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
AMELI: An Agent-Based Middleware for Electronic Institutions

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Ontological aspects of the implementation of norms in agent-based electronic institutions

Computational & Mathematical Organization Theory
Structural evaluation of agent organizations

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Classificatory Aspects of Counts-as

Journal of Logic and Computation
The Description Logic Handbook

The Description Logic Handbook
The role of norms and electronic institutions in multi-agent systems applied to complex domains. The HARMONIA framework: Thesis

AI Communications
Pushing the EL envelope

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Specifying Open Agent Systems: A Survey

Engineering Societies in the Agents World IX
Concurrent collective strategy diffusion of multiagents: the spatial model and case study

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews - Special issue on information reuse and integration
Strategic executions of choreographed timed normative multi-agent systems

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Up to now, the way institutions and organizations have been used in the development of open systems has not often gone further than a useful heuristics. In order to develop systems actually implementing institutions and organizations, formal methods should take the place of heuristic ones. The paper presents a formal semantics for the notion of institution and its components (abstract and concrete norms, empowerment of agents, roles) and defines a formal relation between institutions and organizational structures. As a result, it is shown how institutional norms can be refined to constructs---organizational structures---which are closer to an implemented system. It is also shown how such a refinement process can be fully formalized and it is therefore amenable to rigorous verification.