In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of institutions we model, and describe how they are translated into ASP programs which can then be used to verify properties of the specifications. We demonstrate the effectiveness of this approach through the institutions of property and exchange.
|Title of host publication||Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems|
|Subtitle of host publication||AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multi-Agent Systems, ANIREM 2005and From Organizations to Organization Oriented Programming in Multi-agent Systems, OOOP 2005 Utrecht , The Netherlands, Revised Selected Papers|
|Editors||O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Simao Sichman, J. Vazquez-Salceda|
|Place of Publication||Berlin, Germany|
|Number of pages||15|
|Publication status||Published - 2006|
|Name||Lecture Notes in Artificial Intelligence|