Skip to main content
SpringerLink
Log in

A Formal Description of a Practical Agent for E-Commerce

  • Conference paper
  • First Online:
Agent-Mediated Electronic Commerce III (AMEC 2000)

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

Included in the following conference series:

Abstract

Software agents are starting to play a significant role in the field of electronic commerce. Particularly, as mediators they must be completely trusted by the user. This paper tackles this subject by proposing a practically tailored formal model, based on BDI. This model is tested on the ground, firstly, by describing an existing agent for electronic commerce; then, by proving some useful trading properties fulfilled by the specification.

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. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987.

    Google Scholar 

  2. A. Chavez and P. Maes. Kasbah: An agent marketplace for buying and selling goods. In First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, pages 75–90, 1996.

    Google Scholar 

  3. E. Allen Emerson and Jai Srinivasan. Branching time temporal logic. In Jaco W. de Bakker, Willem-Paul de Roever, and Grzegorz Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency, number vol. 354 in Lecture Notes in Computer Science, pages 123–172. Springer, Heidelberg, Germany, 1989.

    Chapter  Google Scholar 

  4. R. Goldblatt. Logics of Time and Computation, Second Edition, Revised and Expanded, volume 7 of CSLI Lecture Notes. CSLI, Stanford, 1992 (first edition 1987). Distributed by University of Chicago Press.

    Google Scholar 

  5. R. H. Guttman and P. Maes. Cooperative vs. competitive multi-agent negotiations in retail electronic commerce. In Matthias Klusch and Gerhard Weiß, editors, Proceedings of the 2nd International Workshop on Cooperative Information Agents II: Learning, Mobility and Electronic Commerce for Information Discovery on the Internet, volume 1435 of LNAI, pages 135–147, Berlin, July 4–7 1998. Springer.

    Google Scholar 

  6. R. H. Guttman and P. Maes. Agent-mediated integrative negotiation for retail electronic commerce. In Pablo Noriega and Charles Sierra, editors, Proceedings of the 1st International Workshop on Agent Mediated Electronic Commerce (AMET-98), volume 1571 of LNAI, pages 70–90, Berlin, May 10–10 1999. Springer.

    Google Scholar 

  7. R. H. Guttman, A. G. Moukas, and P. Maes. Agent-mediated electronic commerce: A survey. In Knowledge Engineering Review, 1998.

    Google Scholar 

  8. C. Heitmeyer. On the need for practical formal methods. Lecture Notes in Computer Science, 1486, 1998.

    Google Scholar 

  9. P. Maes, R. H. Guttman, and A. G. Moukas. Agents that buy and sell. Communications of the ACM, 42(3):81–91, March 1999.

    Article  Google Scholar 

  10. D. Morley. Semantics of BDI agents and their environment. Technical Report 74, Australian AI Institute, Carlton, Australia, 1996.

    Google Scholar 

  11. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. Technical Report 14, Australian AI Institute, Carlton, Australia, 1991.

    Google Scholar 

  12. A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, Australian Artificial Intelligence Institute, Melbourne, Australia, June 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e Informazione, Politecnico di Milano, P.za Leonardo da Vinci, 32, 20133, Milano, Italia

    Matteo Pradella & Marco Colombetti

Authors
  1. Matteo Pradella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Colombetti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508, TB Utrecht, The Netherlands

    Frank Dignum

  2. Software Department, Artificial Intelligence Section, Technical University of Catalonia, Mòdul C5-216, Jordi Girona 1 & 3, 08034, Barcelona, Spain

    Ulises Cortés

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pradella, M., Colombetti, M. (2001). A Formal Description of a Practical Agent for E-Commerce. In: Dignum, F., Cortés, U. (eds) Agent-Mediated Electronic Commerce III. AMEC 2000. Lecture Notes in Computer Science(), vol 2003. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44723-7_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-44723-7_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41749-1

  • Online ISBN: 978-3-540-44723-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation