Norm consistency in electronic institutions

M Esteva, W Vasconcelos, C Sierra, J A Rodriguez-Aguilar

Research output: Book/ReportBook

8 Citations (Scopus)

Abstract

We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. We formally define two kinds of norms, viz., the integrity norms and obligations, and provide a computational approach to assess whether an electronic institution is normatively consistent, that is, we can determine whether its norms prevent norm-compliant executions from happening. For this we strongly rely on the analysis of the dialogues that may occur as agents interact.

Original languageEnglish
PublisherUnknown Publisher
Number of pages12
Publication statusPublished - 2004

Cite this

Esteva, M., Vasconcelos, W., Sierra, C., & Rodriguez-Aguilar, J. A. (2004). Norm consistency in electronic institutions. Unknown Publisher.

Norm consistency in electronic institutions. / Esteva, M ; Vasconcelos, W ; Sierra, C ; Rodriguez-Aguilar, J A .

Unknown Publisher, 2004. 12 p.

Research output: Book/ReportBook

Esteva, M, Vasconcelos, W, Sierra, C & Rodriguez-Aguilar, JA 2004, Norm consistency in electronic institutions. Unknown Publisher.
Esteva M, Vasconcelos W, Sierra C, Rodriguez-Aguilar JA. Norm consistency in electronic institutions. Unknown Publisher, 2004. 12 p.
Esteva, M ; Vasconcelos, W ; Sierra, C ; Rodriguez-Aguilar, J A . / Norm consistency in electronic institutions. Unknown Publisher, 2004. 12 p.
@book{0d9aefd9b273455bb412cfb2683a38c8,
title = "Norm consistency in electronic institutions",
abstract = "We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. We formally define two kinds of norms, viz., the integrity norms and obligations, and provide a computational approach to assess whether an electronic institution is normatively consistent, that is, we can determine whether its norms prevent norm-compliant executions from happening. For this we strongly rely on the analysis of the dialogues that may occur as agents interact.",
author = "M Esteva and W Vasconcelos and C Sierra and Rodriguez-Aguilar, {J A}",
year = "2004",
language = "English",
publisher = "Unknown Publisher",

}

TY - BOOK

T1 - Norm consistency in electronic institutions

AU - Esteva, M

AU - Vasconcelos, W

AU - Sierra, C

AU - Rodriguez-Aguilar, J A

PY - 2004

Y1 - 2004

N2 - We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. We formally define two kinds of norms, viz., the integrity norms and obligations, and provide a computational approach to assess whether an electronic institution is normatively consistent, that is, we can determine whether its norms prevent norm-compliant executions from happening. For this we strongly rely on the analysis of the dialogues that may occur as agents interact.

AB - We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. We formally define two kinds of norms, viz., the integrity norms and obligations, and provide a computational approach to assess whether an electronic institution is normatively consistent, that is, we can determine whether its norms prevent norm-compliant executions from happening. For this we strongly rely on the analysis of the dialogues that may occur as agents interact.

M3 - Book

BT - Norm consistency in electronic institutions

PB - Unknown Publisher

ER -