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. © Springer-Verlag 2004.
CITATION STYLE
Esteva, M., Vasconcelos, W., Sierra, C., & Rodrfguez-Aguilar, J. A. (2004). Norm consistency in electronic institutions. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3171, 494–505. https://doi.org/10.1007/978-3-540-28645-5_50
Mendeley helps you to discover research relevant for your work.