Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach

Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra, Wamberto W M P D Vasconcelos

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution.

Original languageEnglish
Pages (from-to)177-193
Number of pages17
JournalLecture Notes in Computer Science
Volume4386
DOIs
Publication statusPublished - 2007

Cite this

Norm-Oriented Programming of Electronic Institutions : A Rule-Based Approach. / García-Camino, Andrés; Rodríguez-Aguilar, Juan-Antonio; Sierra, Carles; Vasconcelos, Wamberto W M P D.

In: Lecture Notes in Computer Science, Vol. 4386, 2007, p. 177-193.

Research output: Contribution to journalArticle

García-Camino, Andrés ; Rodríguez-Aguilar, Juan-Antonio ; Sierra, Carles ; Vasconcelos, Wamberto W M P D. / Norm-Oriented Programming of Electronic Institutions : A Rule-Based Approach. In: Lecture Notes in Computer Science. 2007 ; Vol. 4386. pp. 177-193.
@article{73fd1ea9810d4b64a7fe1846be192fb6,
title = "Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach",
abstract = "Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution.",
author = "Andr{\'e}s Garc{\'i}a-Camino and Juan-Antonio Rodr{\'i}guez-Aguilar and Carles Sierra and Vasconcelos, {Wamberto W M P D}",
year = "2007",
doi = "10.1007/978-3-540-74459-7_12",
language = "English",
volume = "4386",
pages = "177--193",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Norm-Oriented Programming of Electronic Institutions

T2 - A Rule-Based Approach

AU - García-Camino, Andrés

AU - Rodríguez-Aguilar, Juan-Antonio

AU - Sierra, Carles

AU - Vasconcelos, Wamberto W M P D

PY - 2007

Y1 - 2007

N2 - Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution.

AB - Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution.

U2 - 10.1007/978-3-540-74459-7_12

DO - 10.1007/978-3-540-74459-7_12

M3 - Article

VL - 4386

SP - 177

EP - 193

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -