Skip to main content
SpringerLink
Log in

Reasoning About Agents’ Interaction Protocols Inside DCaseLP

  • Conference paper
Declarative Agent Languages and Technologies II (DALT 2004)

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

Included in the following conference series:

Abstract

Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engineering tools that support the developer in all the steps of design and implementation. In this work we focus on the problem of supporting the design of agent interaction protocols by carrying out a methodological integration of the MAS prototyping environment DCaseLP with the agent programming language DyLOG for reasoning about action and change.

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. Advanced logic in computing environment, Available at, http://www.di.unito.it/~alice/

  2. AgentTool development system, http://www.cis.ksu.edu/~sdeloach/ai/projects/agentTool/agentool.htm

  3. Arisha, K., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: IMPACT: a platform for collaborating agents. IEEE Intelligent Systems 14(2), 64–72 (1999)

    Article  Google Scholar 

  4. Astesiano, E., Martelli, M., Mascardi, V., Reggio, G.: From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques. In: Debenham, J., Zhang, K. (eds.) Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), pp. 578–585. The Knowledge System Institute (2003)

    Google Scholar 

  5. Astesiano, E., Reggio, G.: Knowledge Structuring and Representation in Requirement Specification. In: Proceedings of SEKE 2002. ACM Press, New York (2002)

    Google Scholar 

  6. AUML Home Page, http://www.auml.org

  7. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about self and others: communicating agents in a modal action logic. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol. 2841, pp. 228–241. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Leite, J., Torroni, P. (eds.) Pre-Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, Lisbon, Portugal, pp. 82–97 (September 2004)

    Google Scholar 

  9. Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation 41(2-4), 207–257 (2004)

    MATH  MathSciNet  Google Scholar 

  10. Bentahar, J., Moulin, B., Meyer, J.J.C., Chaib-Draa, B.: A computational model for conversation policies for agent communication. In: Leite, J., Torroni, P. (eds.) Pre-Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, Lisbon, Portugal, pp. 66–81 (September 2004)

    Google Scholar 

  11. Bracciali, A., Mancarella, P., Stathis, K., Toni, F.: On modelling declaratively multiagent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 53–68. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Proceedings of Agent-Oriented Software Engineering (AOSE) (2004)

    Google Scholar 

  13. De Giacomo, G., Lespérance, Y., Levesque, H.J.: CONGOLOG, a concurrent programming language based on situation calculus. Artificial Intelligence 121, 109–169 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  14. DeLoach, S.A.: Methodologies and Software Engineering for Agent Systems. In: The MaSE Methodology. Kluwer Academic Publisher, Dordrecht (2004) (to appear)

    Google Scholar 

  15. Eiter, T., Mascardi, V.: Comparing Environments for Developing Software Agents. AI Communications 15(4), 169–197 (2002)

    Google Scholar 

  16. FIPA Specifications, http://www.fipa.org

  17. Fisher, M.: A survey of concurrent METATEM - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  18. Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol. 2829. Springer, Heidelberg (2003)

    Google Scholar 

  19. Giordano, L., Martelli, A., Schwind, C.: Verifying communicating agents by model checking in a temporal action logic. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 57–69. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 98–112. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  21. Gungui, I., Mascardi, V.: Integrating tuProlog into DCaseLP to engineer heterogeneous agent systems. In: Proceedings of CILC 2004 (2004), Available at, http://www.disi.unige.it/person/MascardiV/Download/CILC04a.pdf.gz

  22. Gutnik, G., Kaminka, G.: A scalable Petri Net representation of interaction protocols for overhearing. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), vol. 3, pp. 1246–1247 (2004)

    Google Scholar 

  23. Gutnik, G., Kaminka, G.A.: A comprehensive Petri Net representation for multi-agent conversations. Technical Report 2004/1, Bar-Ilan University (2004)

    Google Scholar 

  24. Huget, M.-P.: Model checking agent UML protocol diagrams. Technical Report ULCS–02–012, CS Department, University of Liverpool, UK (2002)

    Google Scholar 

  25. Huget, M.P., Koning, J.L.: Interaction Protocol Engineering. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 179–193. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  26. JADE Home Page, http://jade.cselt.it/

  27. Jess Home Page, http://herzberg.ca.sandia.gov/jess/

  28. Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.): DALT 2004. LNCS (LNAI), vol. 3476. Springer, Heidelberg (2005)

    Google Scholar 

  29. Martelli, M., Mascardi, V.: From UML diagrams to Jess rules: Integrating OO and rule-based languages to specify, implement and execute agents. In: Buccafurri, F. (ed.) Proceedings of the 8th APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP 2003), pp. 275–286 (2003)

    Google Scholar 

  30. Mazouzi, H., El Fallah Seghrouchni, A., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pp. 517–526. ACM Press, New York (2002)

    Chapter  Google Scholar 

  31. Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence (2000)

    Google Scholar 

  32. Pokorny, L.R., Ramakrishnan, C.R.: Modeling and verification of distributed autonomous agents using logic programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 148–165. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  33. Schifanella, C., Lusso, L., Baldoni, M., Baroglio, C.: Design and development of a visual environment for writing dylog (2004) (submitted)

    Google Scholar 

  34. Singh, M.P.: A social semantics for agent communication languages. In: Proc. of IJCAI 1998 Workshop on Agent Communication Languages, Berlin. Springer, Heidelberg (2000)

    Google Scholar 

  35. Stolzenburg, F., Arai, T.: From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications. In: Schillo, M., Klusch, M., Müller, J., Tianfield, H. (eds.) MATES 2003. LNCS (LNAI), vol. 2831, pp. 131–143. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  36. tuProlog Home Page, http://lia.deis.unibo.it/research/tuprolog/

  37. Walton, C.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 132–147. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  38. ZEUS Home Page, http://more.btexact.com/projects/agents.htm

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Torino, Italy

    M. Baldoni, C. Baroglio, A. Martelli, V. Patti & C. Schifanella

  2. Dipartimento di Informatica e Scienze dell’Informazione, Università degli Studi di Genova, Italy

    I. Gungui, M. Martelli & V. Mascardi

Authors
  1. M. Baldoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Baroglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. I. Gungui
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. A. Martelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. M. Martelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. V. Mascardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. V. Patti
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. C. Schifanella
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  4. Department of Computer Engineering, Boğaziçi University, Bebek, 34342, Istanbul, Turkey

    pInar Yolum

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baldoni, M. et al. (2005). Reasoning About Agents’ Interaction Protocols Inside DCaseLP. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_7

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26172-8

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation