Specifying and analysing agent-based social institutions using answer set programming

O Cliffe, M De Vos, J Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Subtitle of host publicationAAMAS 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
EditorsO. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Simao Sichman, J. Vazquez-Salceda
Place of PublicationBerlin, Germany
PublisherSpringer
Pages99-113
Number of pages15
ISBN (Print)9783540351733
DOIs
Publication statusPublished - 2006

Publication series

NameLecture Notes in Artificial Intelligence
Volume3913

Fingerprint Dive into the research topics of 'Specifying and analysing agent-based social institutions using answer set programming'. Together they form a unique fingerprint.

  • Cite this

    Cliffe, O., De Vos, M., & Padget, J. (2006). Specifying and analysing agent-based social institutions using answer set programming. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Simao Sichman, & J. Vazquez-Salceda (Eds.), Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: 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 (pp. 99-113). (Lecture Notes in Artificial Intelligence; Vol. 3913). Springer. https://doi.org/10.1007/11775331