|Title||Verifying norm consistency in electronic institutions|
|Publication Type||Conference Paper|
|Year of Publication||2004|
|Authors||Vasconcelos WW, Esteva M, Sierra C, Rodríguez-Aguilar JA|
|Conference Name||AOTP: The AAAI-04 Workshop on Agent Organizations: Theory and Practice July 25, 2004 San Jose McEnery Convention Center San Jose, California|
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 elaborate on the verification of properties of electronic institutions based on the dialogues that agents may hold. Specifically, we provide a computational approach to assess whether an electronic institution is normatively consistent. In this manner, given an electronic institution we can determine whether its norms prevent normcompliant executions from happening. For this we strongly rely on the analysis of the dialogues that may occur as agents interact by exchanging illocutions in an electronic institution.
- About IIIA
- Current news