Normative monitoring: Semantics and implementation

Sergio Alvarez-Napagao, Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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. © 2011 Springer-Verlag.
Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers
Pages321-336
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010 - , France
Duration: 30 Aug 201030 Aug 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010
Country/TerritoryFrance
Period30/08/1030/08/10

Fingerprint

Dive into the research topics of 'Normative monitoring: Semantics and implementation'. Together they form a unique fingerprint.

Cite this