Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent Theories, Architectures, and Languages

ATAL 2000: Intelligent Agents VII Agent Theories Architectures and Languages pp 275–289Cite as

Specification of Heterogeneous Agent Architectures

  • Conference paper
  • First Online:

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

Abstract

Agent-based software applications need to incorporate agents having heterogeneous architectures in order for each agent to optimally perform its task. HEMASL is a simple meta-language used to specify intelligent agents and multiagent systems when different and heterogeneous agent architectures must be used. HEMASLspecifications are based on an agent model that abstracts several existing agent architectures. The paper describes some of the features of the language, presents examples of its use and outlines its operational semantics. We argue that adding HEMASL to CaseLP, a specification and prototyping environment for MAS, can enhance its flexibility and usability.

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. A. Aretti. Semantica di Sistemi Multi-Agente in Logica Lineare. Master’s thesis, DISI-Universitá di Genova, Genova, Italy, 1999. In Italian.

    Google Scholar 

  2. M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Multi-Agent Systems Development as a Software Engineering Enterprise. In G. Gupta, editor, Proc. of First Inter-national Workshop on Practical Aspects of Declarative Languages (PADL’99), number 1551 in Lecture Notes in Computer Science. Springer-Verlag, 1999.

    Google Scholar 

  3. F. Brazier, B. Dunin Keplcz, N. R. Jennings, and J. Treur. Formal Specification of Multi-Agent Systems: a Real-World Case. In Proc. of International Conference on Multi Agent Systems (ICMAS’95), San Francisco, CA, USA, 1995.

    Google Scholar 

  4. G. Delzanno and M. Martelli. Proofs as Computations in Linear Logic. Theoretical Computer Science. To appear.

    Google Scholar 

  5. M. Fisher. Representing Abstract Agent Architectures. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.

    Google Scholar 

  6. G. De Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1–2):109–169, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  7. J. Y. Girard. Linear logic. Theoretical Computer Science, 50:1:1–102, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  8. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Control Structures of Rule-Based Agent Languages. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.

    Google Scholar 

  9. N. R. Jennings, K. Sycara, and M. Wooldridge. A Roadmap of Agent Research and Devel-opment. Autonomous Agents and Multi-Agent Systems, 1:7–38, 1998.

    Article  Google Scholar 

  10. S. Marini. Specifica di Sistemi Multi-Agente Eterogenei. Master’s thesis, DISI-Universitá di Genova, Genova, Italy, 1999. In Italian.

    Google Scholar 

  11. S. Marini, M. Martelli, V. Mascardi, and F. Zini. HEMASL: A Flexible Language to Specify Heterogeneous Agents. In A. Corradi, A. Omicini, and A. Poggi, editors, WOA 2000. Dagli Oggetti agli Agenti, Parma, Italy, 2000.

    Google Scholar 

  12. M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM’98), London, UK, 1998.

    Google Scholar 

  13. M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In M. C. Meo and M. Vilares Ferro, editors, Proc. of Appia-Gulp-Prode 1999, L’Aquila, Italy, 1999.

    Google Scholar 

  14. J. P. Müller. The Right Agent (Architecture) to Do the Right Thing. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.

    Google Scholar 

  15. A. S. Rao and M. Georgeff. BDI Agents: from Theory to Practice. In Proc. of International Conference on Multi Agent Systems (ICMAS’95), San Francisco, CA, USA, 1995.

    Google Scholar 

  16. R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Generalised Object-Oriented Concepts for Inter-Agent Communication. In C. Castelfranchi and Y. Lespérance, itors, Intelligent Agents VII, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2001. In this volume.

    Google Scholar 

  17. M. Wooldridge. Agent-based Software Engineering. IEE Proc. of Software Engineering, 144(1), 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DISI - Universitá di Genova, Via Dodecaneso 35, 16146, Genova, Italy

    Simone Marini, Maurizio Martelli & Viviana Mascardi

  2. ITC-IRST, Via Sommarive 18, 38050, Povo (Trento), ITALY

    Floriano Zini

Authors
  1. Simone Marini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maurizio Martelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Viviana Mascardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Floriano Zini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Communication Sciences, “Cognitive Science”, University of Siena, piazza S.Francesco 8, 53100, Siena, Italy

    Cristiano Castelfranchi

  2. Department of Computer Science, York University, 4700 Keele Street, M3J 1P3, Toronto, Ontario, Canada

    Yves Lespérance

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Marini, S., Martelli, M., Mascardi, V., Zini, F. (2001). Specification of Heterogeneous Agent Architectures. In: Castelfranchi, C., Lespérance, Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science(), vol 1986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44631-1_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-44631-1_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-44631-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation