Ignoring, forcing and expecting simultaneous events in electronic institutions

Authors:
Andrés García-Camino
Affiliations:
Artificial Intelligence Research Institute, Spanish National Research Council, Bellaterra, Spain
Venue:
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Year:
2007

Citing 6
Cited 1

First-order logic and automated theorem proving

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

From logic programming to Prolog
Norm-oriented programming of electronic institutions

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Distributed norm management in regulated multiagent systems

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
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
The deontic component of action language n C+

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Open issues for normative multi-agent systems

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify open environments regulated using the notions of ignoring, forcing, expecting and sanctioning events and prevention of unwanted states. These notions make explicit and clear the stance of institutions about forbidden and obligatory behaviour. Our rule-based language calculates the effects of concurrent events generated by agents given a set of norms based on the deontic notions previously mentioned. Our formalism has been conceived as basis for an implementation of Electronic Institutions.