Skip to main content
SpringerLink
Log in
Book cover

International Conference on Autonomous Agents and Multiagent Systems

AAMAS 2005: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems pp 99–113Cite as

Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3913))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Department of Electrical & Electronic Engineering, Imperial College London (September 2003)

    Google Scholar 

  2. Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Proceedings of conference on artificial intelligence and law (icail), pp. 1–11. ACM Press, New York (2003)

    Chapter  Google Scholar 

  3. Artikis, A., Sergot, M.J., Pitt, J.: Specifying Electronic Societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 1–15. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  5. Colombetti, M., Fornara, N., Verdicchio, M.: The role of institutions in multiagent systems. In: Proceedings of the Workshop on Knowledge based and reasoning agents, VIII Convegno AI*IA 2002, Siena, Italy (2002)

    Google Scholar 

  6. Colombetti, M., Verdicchio, M.: An analysis of agent speech acts as institutional actions. In: The First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pp. 1157–1164. ACM Press, New York (2002)

    Chapter  Google Scholar 

  7. De Vos, M., Vermeir, D.: Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artifical Intelligence, Special Issue on Computational Logic in Multi-Agent Systems 42(1–3), 103–139 (2004)

    MATH  Google Scholar 

  8. Denecker, M.: What’s in a Model? Epistemological Analysis of Logic Programming. Ceur-WS (September 2003), online CEUR-WS.org/Vol-78/

  9. Dignum, V., Meyer, J.-J., Dignum, F., Weigand, H.: Formal Specification of Interaction in Agent Societies. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS, vol. 2699, pp. 37–52. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  10. North, D.C.: Institutions, Institutional Change and Economic Performance. Cambridge University Press, Cambridge (1991)

    Google Scholar 

  11. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system dlv: Progress report, comparisons and benchmarks. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 406–417. Morgan Kaufmann, San Francisco (1998)

    Google Scholar 

  12. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49–104 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  13. Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 536–542. ACM Press, New York (2002)

    Google Scholar 

  14. Dignum, F.P.M., Broersen, J., Dignum, V., Meyer, J.-J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol. 3228, pp. 30–40. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of fifth logic programming symposium, pp. 1070–1080. MIT Press, Cambridge (1988)

    Google Scholar 

  16. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4), 365–386 (1991)

    Article  Google Scholar 

  17. Guerin, F., Pitt, J.: Denotational semantics for agent communication language. In: AGENTS 2001: Proceedings of the fifth international conference on Autonomous agents, pp. 497–504. ACM Press, New York (2001)

    Chapter  Google Scholar 

  18. Vázquez-Salceda, J., Aldewereld, H., Dignum, F.P.M.: Implementing Norms in Multiagent Systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS, vol. 3187, pp. 313–327. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  19. Searle, J.R.: The Construction of Social Reality. The Penguin Press, Allen Lane (1995)

    Google Scholar 

  20. Jones, A.J.I., Sergot, M.: A Formal Characterisation of Institutionalised Power. ACM Computing Surveys 28(4es), 121 (1996) (Read 28/11/2004)

    Google Scholar 

  21. Kamara, L., Artikis, A., Neville, B., Pitt, J.: Simulating computational societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS, vol. 2577, pp. 53–67. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  22. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)

    Article  Google Scholar 

  23. Niemelä, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)

    Google Scholar 

  24. Sergot, M.: (C + ) + + : An action language for representing norms and institutions. Technical report, Imperial College, London (August 2004)

    Google Scholar 

  25. Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31–45. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  26. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 528–535. ACM Press, New York (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bath, Bath, United Kingdom

    Owen Cliffe, Marina De Vos & Julian Padget

Authors
  1. Owen Cliffe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marina De Vos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SMA/G2I/ENSM.SE, 158 Cours Fauriel, 42023, Saint-Etienne, Cedex, France

    Olivier Boissier

  2. Department of Computer Science, University of Bath, BA2 7AY, BATH, UK

    Julian Padget

  3. Dept. Information and Computing Sciences, Utrecht University, The Netherlands

    Virginia Dignum

  4. Institute for Computer Science, Humboldt-University Berlin, Berlin, Germany

    Gabriela Lindemann

  5. Department of Computer Science, University of Cincinnati, Cincinnati, OH, USA

    Eric Matson

  6. Centre for Intelligent Information Technologies (CETINIA), Universidad Rey Juan Carlos, Calle Tulipán s/n, 28933, Móstoles (Madrid), Spain

    Sascha Ossowski

  7. Laboratório de Técnicas Inteligentes (LTI) Escola Politécnica (EP), Universidade de São Paulo (USP),  

    Jaime Simão Sichman

  8. Department of Software, Polytechnic University of Catalonia, Barcelona, Spain

    Javier Vázquez-Salceda

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cliffe, O., De Vos, M., Padget, J. (2006). Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. In: Boissier, O., et al. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. AAMAS 2005. Lecture Notes in Computer Science(), vol 3913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11775331_7

Download citation

  • DOI: https://doi.org/10.1007/11775331_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35173-3

  • Online ISBN: 978-3-540-35176-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation