Verifying norm consistency in electronic institutions (2004)
Cached
Download Links
| Venue: | In Proceedings of the AAAI-04 Workshop on Agent Organizations: Theory and Practice |
| Citations: | 19 - 8 self |
BibTeX
@TECHREPORT{Esteva04verifyingnorm,
author = {M. Esteva and J. A. Rodríguez-aguilar and C. Sierra and W. Vasconcelos},
title = {Verifying norm consistency in electronic institutions},
institution = {In Proceedings of the AAAI-04 Workshop on Agent Organizations: Theory and Practice},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 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. 1.
