Skip to main content
SpringerLink
Log in

A Logical Framework for Modelling eMAS

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2562))

Included in the following conference series:

Abstract

We investigate how to explicitly represent organizational structures in epistemic multi-agent systems (eMAS). We introduce a logical framework F suitable for representing organizational structures for epistemic agents, and provide its declarative and procedural semantics. We show how a number of organizational structures can be represented in F and discuss their properties.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. J. Alferes, P. Dell’Acqua, and L. M. Pereira. A compilation of updates plus preferences. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Logics in Artificial Intelligence, Proc. 8th European Conf. (JELIA02), LNAI 2424, pages 62–73. Springer, 2002.

    Google Scholar 

  2. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The J. of Logic Programming, 45(1-3):43–70, 2000. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR’98, Morgan Kaufmann.

    Google Scholar 

  3. A. Artikis and G. Pitt. A formal model of open agent societies. Proc. of Autonomous Agents, 2001.

    Google Scholar 

  4. C. Castelfranchi. Engineering Social Order. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents World. 1st Int. Workshop ESAW 2000. Revised Papers, LNAI 1972, pages 1–18, Berlin, 2000. Springer-Verlag.

    Google Scholar 

  5. P. Davidsson. Categories of artificial societies. In A. Omicini, P. Petta, and R. Tolksdorf, editors, Engineering Societies in the Agents’ World (ESAW 2001), LNAI 2203, pages 1–9. Springer-Verlag, 2001.

    Google Scholar 

  6. P. Dell’Acqua, J. A. Leite, and L. M. Pereira. Evolving multi-agent viewpoints-an architecture. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, 10th Portuguese Int. Conf. on Artificial Intelligence (EPIA’01), LNAI 2258, pages 169–182. Springer-Verlag, 2001.

    Google Scholar 

  7. P. Dell’Acqua, U. Nilsson, and L. M. Pereira. A logic based asynchronous multiagent system. Computational Logic in Multi-Agent Systems (CLIMA02). Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 70, Issue 5, 2002.

    Google Scholar 

  8. P. Dell’Acqua and L. M. Pereira. Preferring and updating in abductive multi-agent systems. In A. Omicini, P. Petta, and R. Tolksdorf, editors, Engineering Societies in the Agents’ World (ESAW 2001), LNAI 2203, pages 57–73. Springer-Verlag, 2001.

    Google Scholar 

  9. P. Dell’Acqua and L. M. Pereira. Preferring and updating in logic-based agents. In: Web-Knowledge Management and Decision Support. Selected Papers from the 14th Int. Conf. on Applications of Prolog (INAP), Tokyo, 2001. To appear in LNAI, 2001.

    Google Scholar 

  10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP’88, pages 1070–1080. MIT Press, 1988.

    Google Scholar 

  11. N. R. Jennings. On agent-based software engineering. Artificial Intelligence, 117:277–296, 2000.

    Article  MATH  Google Scholar 

  12. J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In F. Sadri and K. Satoh, editors, Procs. of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA’00), pages 17–26, 2000.

    Google Scholar 

  13. J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In T. Eiter, W. Faber, and M. Truszczynski, editors, Procs. of the Sixth Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR’ 01), LNAI 2173, pages 365–378. Springer, 2001.

    Google Scholar 

  14. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR’92. Morgan-Kaufmann, 1992.

    Google Scholar 

  15. F. Zambonelli. Abstractions and infrastructures for the design and development of mobile agent organizations. In M. J. Wooldridge, G. Weiß, and P. Ciancarini, editors, Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, LNCS 2222, pages 245–262, Berlin, 2001. Springer-Verlag.

    Chapter  Google Scholar 

  16. F. Zambonelli, N. R. Jennings, and M. Wooldridge. Organisational abstractions for the analysis and design of multi-agent systems. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, LNCS 1957, pages 127–141, Berlin, 2001. Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Science and Technology - ITN, Linköping University, Norrköping, Sweden

    Pierangelo Dell’Acqua

  2. Centro de Inteligência Artificial - CENTRIA Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Pierangelo Dell’Acqua & Luís Moniz Pereira

Authors
  1. Pierangelo Dell’Acqua
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department Logic and Functional Programming Group, Simon Fraser University, 8888 University Drive, V5A 1S6, Burnaby B.C., Canada

    Veronica Dahl

  2. Avaya Labs, 233 Mount Airy Road, Basking Ridge, 07920, NJ, USA

    Philip Wadler

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dell’Acqua, P., Moniz Pereira, L. (2003). A Logical Framework for Modelling eMAS. In: Dahl, V., Wadler, P. (eds) Practical Aspects of Declarative Languages. PADL 2003. Lecture Notes in Computer Science, vol 2562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36388-2_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-36388-2_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00389-2

  • Online ISBN: 978-3-540-36388-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation