TY - GEN
T1 - Verifying norm compliancy of protocols
AU - Aldewereld, Huib
AU - Vázquez-Salceda, Javier
AU - Dignum, Frank
AU - Meyer, John-Jules Ch.
PY - 2006
Y1 - 2006
N2 - There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) protocols, which are designed to help reach a goal without violating any of the norms. But how can we guarantee that these protocols are actually norm-compliant? Can these protocols really realise results without violating the norms? In this paper we introduce a formal method, based on program verification, for checking the norm compliance of (knowledge-based) protocols. © Springer-Verlag Berlin Heidelberg 2006.
AB - There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be hard to determine whether a desired goal can actually be achieved without violating the norms. To help the agents in this process, agents can make use of predefined (knowledge-based) protocols, which are designed to help reach a goal without violating any of the norms. But how can we guarantee that these protocols are actually norm-compliant? Can these protocols really realise results without violating the norms? In this paper we introduce a formal method, based on program verification, for checking the norm compliance of (knowledge-based) protocols. © Springer-Verlag Berlin Heidelberg 2006.
UR - http://www.scopus.com/inward/record.url?scp=33746103354&partnerID=8YFLogxK
U2 - 10.1007/11775331_16
DO - 10.1007/11775331_16
M3 - Conference contribution
SN - 3540351736
SN - 9783540351733
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 231
EP - 245
BT - Coordination, Org., Inst., and Norms in Multi-Agent Systems: AAMAS 2005 Int. Workshops on Agents, Norms and Inst. for Regulated Multi-Agent Systems, ANIREM 2005, and Org. Multi-Agent Syst., OOOP 2005.
PB - Springer Verlag
T2 - AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Org. in Multi-Agent Systems, OOOP 2005
Y2 - 25 July 2005 through 26 July 2005
ER -