Operationalisation of Norms for Electronic Institutions

Authors:
Huib Aldewereld;Frank Dignum;Andrés García-Camino;Pablo Noriega;Juan Antonio Rodríguez-Aguilar;Carles Sierra
Affiliations:
Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, The Netherlands;Artificial Intelligence Research Institute, IIIA, Spanish Council for Scientific Research, CSIC, Campus de la UAB, Barcelona, Spain;Artificial Intelligence Research Institute, IIIA, Spanish Council for Scientific Research, CSIC, Campus de la UAB, Barcelona, Spain;Artificial Intelligence Research Institute, IIIA, Spanish Council for Scientific Research, CSIC, Campus de la UAB, Barcelona, Spain;Artificial Intelligence Research Institute, IIIA, Spanish Council for Scientific Research, CSIC, Campus de la UAB, Barcelona, Spain
Venue:
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Year:
2007

Citing 10
Cited 3

First-order logic and automated theorem proving

First-order logic and automated theorem proving
From logic programming to Prolog

From logic programming to Prolog
Formalising the informal? Dynamic social order, bottom-up social control, and spontaneous normative relations

Journal of Applied Logic
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
Implementing norms in electronic institutions

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Ontological aspects of the implementation of norms in agent-based electronic institutions

Computational & Mathematical Organization Theory
A distributed architecture for norm-aware agent societies

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A protocol for resource sharing in norm-governed ad hoc networks

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Meeting the deadline: why, when and how

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Contextual taxonomies

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

A Peer-to-Peer Normative System to Achieve Social Order

Coordination, Organizations, Institutions, and Norms in Agent Systems II
What Is Commitment? Physical, Organizational, and Social (Revised)

Coordination, Organizations, Institutions, and Norms in Agent Systems II
Using SOA Provenance to Implement Norm Enforcement in e-Institutions

Coordination, Organizations, Institutions and Norms in Agent Systems IV

Quantified Score

Hi-index	0.00

Visualization

Abstract

Agent-mediated electronic institutions belong to a new and promising field where interactions among agents are regulated by means of a set of explicit norms. Current implementations of such open-agent systems are, however, mostly using constraints on the behaviour of the agents, thereby severely limiting the autonomy of the agents. In this paper we propose an extension to electronic institutions to allow for a flexible enforcement of norms, and manners to help overcome the difficulties of translating abstract norms for the use of implementation.