Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Run-Time Monitoring of Electronic Contracts
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A Rule-Based Notation to Specify Executable Electronic Contracts
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Towards a Formalisation of Electronic Contracting Environments
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Roles and norms for programming agent organizations
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
A normative organisation programming language for organisation management infrastructures
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Hi-index | 0.00 |
The concept of Normative Systems can be used in the scope of Multi-Agent Systems to provide reliable contexts of interactions between agents where acceptable behaviour is specified in terms of norms. Literature on the topic is growing rapidly, and there is a considerable amount of theoretical frameworks for normative environments, some in the form of Electronic Institutions. Most of these approaches focus on regulative norms rather than on substantive norms, and lack a proper implementation of the ontological connection between brute events and institutional facts. In this paper we present a formalism for the monitoring of both regulative (deontic) and substantive (constitutive) norms based on Structural Operational Semantics, its reduction to Production Systems semantics and our current implementation compliant to these semantics.