Skip to main content
SpringerLink
Log in
Book cover

International Conference on Web-Age Information Management

WAIM 2004: Advances in Web-Age Information Management pp 458–467Cite as

Symbolic Agent Negotiation for Semantic Web Service Exploitation

  • Conference paper

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

Abstract

This paper presents an architecture and a methodology for agent-based Web service discovery and composition. We assume that Web services are described with declarative specifications like DAML-S. Based on the declarative information about services, symbolic reasoning can be applied while searching for or composing automatically new services.

We propose that symbolic agent negotiation could be used for dynamic Web service discovery and composition. Symbolic negotiation, as we consider it here, is a mixture of distributed planning and information exchange. Therefore, by using symbolic negotiation for automated service composition, we support information collection and integration during service composition. The latter aspect has been largely neglected in automated service composition until now.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. Ardissono, L., Goy, A., Petrone, G.: Enabling conversations with web services. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2003, Melbourne, Victoria, Australia, July 14-18, pp. 819–826. ACM Press, New York (2003)

    Chapter  Google Scholar 

  2. Gibbins, N., Harris, S., Shadbolt, N.: Agent-based semantic web services. In: Proceedings of the Twelfth International World Wide Web Conference, WWW2003, Budapest, Hungary, May 20-24, pp. 710–717. ACM Press, New York (2003)

    Chapter  Google Scholar 

  3. Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  4. Küngas, P., Matskin, M.: Linear logic, partial deduction and cooperative problem solving. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, Springer, Heidelberg (2004) (to appear)

    Google Scholar 

  5. Küngas, P., Matskin, M.: Symbolic negotiation with linear logic. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 71–88. Springer, Heidelberg (2004) (to appear)

    Chapter  Google Scholar 

  6. Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3), 59–83 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  7. Manna, Z., Waldinger, R.J.: A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems 2(1), 90–121 (1980)

    Article  MATH  Google Scholar 

  8. Matskin, M., Kirkeluten, O.J., Krossnes, S.B., Sæle, Ø.: Agora: An infrastructure for cooperative work support in multi-agent systems. In: Wagner, T.A., Rana, O.F. (eds.) AA-WS 2000. LNCS (LNAI), vol. 1887, pp. 28–40. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. McDermott, D.: Estimated-regression planning for interaction with web services. In: Proceedings of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, April 23–27, AAAI Press, Menlo Park (2002)

    Google Scholar 

  10. McIlraith, S., Son, T.C.: Adapting Golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, pp. 482–493. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  11. Papazoglou, M.P., Krämer, B.J., Yang, J.: Leveraging web-services and peer-to-peer networks. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 485–501. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Rao, J., Küngas, P., Matskin, M.: Application of linear logic to web service composition. In: Proceedings of the First International Conference on Web Services (ICWS 2003), Las Vegas, USA, June 23-26, pp. 3–9. CSREA Press (2003)

    Google Scholar 

  13. Sheshagiri, M., desJardins, M., Finin, T.: A planner for composing services described in DAML-S. In: Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering (2003)

    Google Scholar 

  14. Thakkar, S., Knoblock, C.A., Ambite, J.L., Shahabi, C.: Dynamically composing web services from on-line sources. In: Proceeding of 2002 AAAI Workshop on Intelligent Service Integration, Edmonton, Alberta, Canada (2002)

    Google Scholar 

  15. Waldinger, R.: Web agents cooperating deductively. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 250–262. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Proceedings of the 2nd International Semantic Web Conference, ISWC 2003, Sanibel Island, Florida, USA, October 20-23 (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Norway

    Peep Küngas & Jinghai Rao

  2. Department of Microelectronics and Information Technology, Royal Institute of Technology, Kista, Sweden

    Mihhail Matskin

Authors
  1. Peep Küngas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jinghai Rao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mihhail Matskin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, City University of Hong Kong, 83 Tat Chee Avenue, Kowloon, Hong Kong, China

    Qing Li

  2. Shenyang Liaoning, Northeastern University, 110004, China

    Guoren Wang

  3. Dept. of Computer Science & Technology, Tsinghua University, Beijing, China

    Ling Feng

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Küngas, P., Rao, J., Matskin, M. (2004). Symbolic Agent Negotiation for Semantic Web Service Exploitation. In: Li, Q., Wang, G., Feng, L. (eds) Advances in Web-Age Information Management. WAIM 2004. Lecture Notes in Computer Science, vol 3129. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27772-9_46

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27772-9_46

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-27772-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation