Norm verification and analysis of electronic institutions

Research output: Book/ReportBook

14 Citations (Scopus)

Abstract

Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of subparts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.

Original languageEnglish
PublisherUnknown Publisher
Number of pages17
Publication statusPublished - 2005

Cite this

Norm verification and analysis of electronic institutions. / Vasconcelos, W W .

Unknown Publisher, 2005. 17 p.

Research output: Book/ReportBook

@book{5cc94b3def42409bb6c4bdb2fecd0913,
title = "Norm verification and analysis of electronic institutions",
abstract = "Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of subparts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.",
author = "Vasconcelos, {W W}",
year = "2005",
language = "English",
publisher = "Unknown Publisher",

}

TY - BOOK

T1 - Norm verification and analysis of electronic institutions

AU - Vasconcelos, W W

PY - 2005

Y1 - 2005

N2 - Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of subparts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.

AB - Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of subparts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.

M3 - Book

BT - Norm verification and analysis of electronic institutions

PB - Unknown Publisher

ER -