[en] Agreement technologies [1] achieve coordination among autonomous computational entities, by combining technologies for norms, semantics, organisations, argumentation, negotiation, and trust. We consider how an organisational programming language, such as 2OPL [2], can be extended to monitor communication. Such an extended programming language can be used to facilitate the development of electronic institutions, organisations, or marketplaces that aim at monitoring agent interaction (including both communication and non-communication actions), checking compliance with norms, and enforcing norms by means of sanctions. This abstract reports on specifying an operational semantics for agent interactions within such a setting, distinguishing constitutive norms for monitoring and sanction rules for enforcement of norms.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-531
Author, co-author :
Dastani, Mehdi
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Yorke-Smith, Neil
External co-authors :
yes
Language :
English
Title :
A programming approach to monitoring communication in an organisational environment