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

O Cliffe; M De Vos; J Padget

doi:10.1007/11775331

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

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

21 Citations (SciVal)

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 language	English
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
Publisher	Springer
Pages	99-113
Number of pages	15
ISBN (Print)	9783540351733
DOIs	https://doi.org/10.1007/11775331
Publication status	Published - 2006

Publication series

Name	Lecture Notes in Artificial Intelligence
Volume	3913

Bibliographical note

ID number: ISI:000239580700007

Access to Document

10.1007/11775331

http://dx.doi.org/10.1007/11775331

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

Specifying and analysing agent-based social institutions using answer set programming. / Cliffe, O; De Vos, M ; Padget, J.
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. ed. / O. Boissier; J. Padget; V. Dignum; G. Lindemann; E. Matson; S. Ossowski; J. Simao Sichman; J. Vazquez-Salceda. Berlin, Germany: Springer, 2006. p. 99-113 (Lecture Notes in Artificial Intelligence; Vol. 3913).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

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. Lecture Notes in Artificial Intelligence, vol. 3913, Springer, Berlin, Germany, pp. 99-113. https://doi.org/10.1007/11775331

Cliffe O, De Vos M , Padget J. Specifying and analysing agent-based social institutions using answer set programming. In Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Simao Sichman J, Vazquez-Salceda J, editors, 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. Berlin, Germany: Springer. 2006. p. 99-113. (Lecture Notes in Artificial Intelligence). doi: 10.1007/11775331

Cliffe, O ; De Vos, M ; Padget, J. / Specifying and analysing agent-based social institutions using answer set programming. 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. editor / O. Boissier ; J. Padget ; V. Dignum ; G. Lindemann ; E. Matson ; S. Ossowski ; J. Simao Sichman ; J. Vazquez-Salceda. Berlin, Germany : Springer, 2006. pp. 99-113 (Lecture Notes in Artificial Intelligence).

@inproceedings{16b2ec14de924db6972fa5d36a9808ad,

title = "Specifying and analysing agent-based social institutions using answer set programming",

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.",

author = "O Cliffe and {De Vos}, M and J Padget",

note = "ID number: ISI:000239580700007",

year = "2006",

doi = "10.1007/11775331",

language = "English",

isbn = "9783540351733",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

pages = "99--113",

editor = "O. Boissier and J. Padget and V. Dignum and G. Lindemann and E. Matson and S. Ossowski and {Simao Sichman}, J. and J. Vazquez-Salceda",

booktitle = "Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems",

}

TY - GEN

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

AU - Cliffe, O

AU - De Vos, M

AU - Padget, J

N1 - ID number: ISI:000239580700007

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/11775331

U2 - 10.1007/11775331

DO - 10.1007/11775331

M3 - Chapter in a published conference proceeding

SN - 9783540351733

T3 - Lecture Notes in Artificial Intelligence

SP - 99

EP - 113

BT - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

A2 - Boissier, O.

A2 - Padget, J.

A2 - Dignum, V.

A2 - Lindemann, G.

A2 - Matson, E.

A2 - Ossowski, S.

A2 - Simao Sichman, J.

A2 - Vazquez-Salceda, J.

PB - Springer

CY - Berlin, Germany

ER -

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

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this