BDBComp
Parceria:
SBC
Norm Consistency in Electronic Institutions

Marc EstevaWamberto Weber VasconcelosCarles SierraJuan A. Rodríguez-Aguilar

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.

http://springerlink.metapress.com/content/qx4jw6her19xdweb/?p=a7e6524c664448e48a1d2e5c77c28c11&p

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD