Skip to main content

Agent-Based Composite Services in DAML-S: the Behavior-Oriented Design of an Intelligent Semantic Web

  • Chapter
Web Intelligence

Abstract

Many researchers are working towards the goal of a semantic Web — a Web that is unambiguously computer interpretable, and thus very accessable to artificial intelligence. A semantic Web would allow artificial agents to do the work of searching for and utilizing services required by humans or organizations. DAML-S is a Web service ontology intended to facilitate the semantic Web by describing the properties and capabilities of Web-accessible services in an unambiguous, computer-interpretable form. In this chapter, we propose that an important new perspective on the semantic Web can be obtained by regarding its content as behavioral intelligence. The services encoded in DAML-S can then be viewed as specifications either for extensions of the user-owned agents attempting to exploit the services, or as independent, collaborative agents that can be ‘awakened’ to assist the user agents. We draw on our experience in agent development to elaborate the specification, particularly of the process ontology of DAML-S, in order to support this vision.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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.

Similar content being viewed by others

References

  1. A. Ankolekar, M. Burstein, J.R. Hobbs, O. Lassila, D.L. Martin, S.A. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, H. Zeng: DAML-S: Semantic markup for web services. In: Isabel F. Cruz, Stefan Decker, Jérôme Euzenat, and Deborah McGuiness (eds.) Proc. the First Semantic Web Working Symposium (SWWS ‘01) ( Stanford, July 2001, The DAML Services Coalition ) pp. 411–430

    Google Scholar 

  2. A. Ankolenkar, M. Burstein, J.R. Hobbs, O. Lassila, D.L. Martin, D. McDermott, S.A. Mcllraith, S. Narayanan, M. Paolucci, T.R. Payne, K. Sycara: DAML-S: Web service description for the semantic web. In: Proc. the First International Semantic Web Conference (ISWC) (June 2002 ) pp. 348–363

    Google Scholar 

  3. R.C. Arkin: Behavior-Based Robotics ( MIT Press, Cambridge, MA, 1998 )

    Google Scholar 

  4. S. Benson: Learning Action Models for Reactive Autonomous Agents ( PhD thesis, Stanford University, December 1996 )

    Google Scholar 

  5. T. Berners-Lee, J. Hendler, O. Lassila: The semantic web. Scientific American, 284 (5) 34–43 (2001)

    Article  Google Scholar 

  6. F.P. Brooks, Jr: The Mythical Man-month: Essays on Software Engineering. (Addison-Wesley Publishing Company, Reading, MA, 20th anniversary edition edition, 1995 )

    Google Scholar 

  7. R.A. Brooks: Intelligence without representation. Artificial Intelligence, 47, 139–159 (1991)

    Article  Google Scholar 

  8. J.J. Bryson: Cross-paradigm analysis of autonomous agent architecture. Journal of Experimental and Theoretical Artificial Intelligence, 12 (2) 165–190 (2000)

    Article  MATH  Google Scholar 

  9. J.J. Bryson: Intelligence by Design: Principles of Modularity and Coordination for Engineering Complex Adaptive Agents (PhD thesis, MIT, Department of EECS, Cambridge, MA, June 2001, AI Technical Report 2001–003)

    Google Scholar 

  10. J.J. Bryson, B. McGonigle: Agent architecture as object oriented design. In: M.P. Singh, A.S. Rao, M.J. Wooldridge (eds) The Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL97) (Springer, 1998 ) pp. 15–30

    Google Scholar 

  11. J.J. Bryson, L.A. Stein: Architectures and idioms: Making progress in agent design. In: C. Castelfranchi and Y. Lespérance (eds.) The Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL2000) (Springer, 2001 )

    Google Scholar 

  12. J.J. Bryson, L.A. Stein: Modularity and design in reactive intelligence. Proc. the 17th International Joint Conference on Artificial Intelligence ( Morgan Kaufmann, Seattle, August 2001 ) pp. 1115–1120

    Google Scholar 

  13. E. Christensen, E Curbera, G. Meredith, S. Weerawarana: Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/2001/NOTE-wsd1–20010315 (2001)

  14. P. Ciancarini, M.J. Wooldridge (eds.): First International Workshop on Agent-Oriented Software Engineering, Lecture Notes in Computer Science, vol. 1957. ( Springer, Berlin, 2001 )

    Google Scholar 

  15. A. Clark: Being There: Putting Brain, Body and World Together Again ( MIT Press, Cambridge, MA, 1996 )

    Google Scholar 

  16. P. Coad, D. North, M. Mayfield: Object Models: Strategies, Patterns and Applications (Prentice Hall, 2nd edition, 1997 )

    Google Scholar 

  17. L. Correia, A. Steiger-Garçâo: A useful autonomous vehicle with a hierarchical behavior control. In: F. Moran, A. Moreno, J.J. Merelo, P. Chacon (eds.), Advances in Artificial Life, Third European Conference on Artificial Life ( Springer, Berlin, 1995 ) pp. 625–639

    Chapter  Google Scholar 

  18. I.F. Cruz, S. Decker, J. Euzenat, D. McGuiness (eds.): Proc. the First Semantic Web Working Symposium (SWWS ‘01) ( Stanford, July 2001 )

    Google Scholar 

  19. DAML-S. http://www.daml.org/services/ (2001)

  20. DAML+OIL. http://www.daml.org/language/ (2000)

  21. T. Dean, M. Boddy: An analysis of time-dependent planning. Proc. the Seventh National Conference on Artificial Intelligence (AAAI-88) (AAAI Press/MIT Press, Saint Paul, Minnesota, USA, August 1988 ) pp. 49–54

    Google Scholar 

  22. G. Denker, J. Hobbs, D. Martin, S. Narayanan, R. Waldinger: Accessing information and services on the daml-enabled web. Proc. the Second International Workshop Semantic Web (SemWeb ‘2001) (2001)

    Google Scholar 

  23. M. Dumas, J. O’Sullivan, M. Heravizadeh, D. Edmond, A. ter Hofstede: Towards a semantic framework for service description. Proc. the IFIP Conference on Database Semantics ( Hong Kong, April 2001, Kluwer Academic Publishers )

    Google Scholar 

  24. R.E. Fikes, P.E. Hart, N.J. Nilsson: Learning and executing generalized robot plans. Artificial Intelligence, 3, 251–288 (1972)

    Article  Google Scholar 

  25. T. Finin, Y. Labrou, J. Mayfield: KQML as an agent communication language. In: Jeff Bradshaw (ed.) Software Agents ( MIT Press, Cambridge, 1997 )

    Google Scholar 

  26. M. Ghallab et. al.: PDDL — the planning domain definition language v. 2. (Technical Report, report CVC TR-98–003/DCS TR-1165, Yale Center for Computational Vision and Control, 1998 )

    Google Scholar 

  27. Y. Gil, S. Ramachandran: PHOSPHORUS: A task-based agent matchmaker. Proc. The Fifth International Conference on Autonomous Agents (Agents ‘O]) (May 2001)

    Google Scholar 

  28. S. Hamad: Categorial perception: A critical overview. In: S. Hamad (ed.) Categorial perception: The groundwork of perception (Cambridge University Press, 1987 )

    Google Scholar 

  29. J. Hendler, D.L. McGuinness: Darpa agent markup language IEEE Intelligent Systems, 15 (6) 72–73 (2001)

    Google Scholar 

  30. H. Hexmoor, I. Horswill, D. Kortenkamp: Special issue on software architectures for hardware agents. Journal of Experimental & Theoretical Artificial Intelligence, 9 (2/3) (1997)

    Google Scholar 

  31. I. Horrocks: DAML+OIL: a reasonable Web ontology language. Proc. the Eighth Conference on Extending Database Technology (EDBT ‘02) (March 2002)

    Google Scholar 

  32. G. Houghton, T. Hartley: Parallel models of serial behavior: Lashley revisited. PSYCHE, 2 (25) (February 1995)

    Google Scholar 

  33. D. Koller: Representation, reasoning, learning. IJCAI 2001 Computers and Thought Award talk (August 2001)

    Google Scholar 

  34. D. Kortenkamp, R.P. Bonasso, R. M. (eds.): Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems ( MIT Press, Cambridge, MA, 1998 )

    Google Scholar 

  35. J.E. Laird, P.S. Rosenbloom: The evolution of the Soar cognitive architecture. In: D.M. Steier, T.M. Mitchell (eds.) Mind Matters (Erlbaum, 1996 )

    Google Scholar 

  36. H. Levesque, R. Reiter, Y. Lesperance, E Lin, R. Scherl: GOLOG: A Logic programming language for dynamic domains. Journal of Logic Programming, 31 (1–3), 59–84 (April-June 1997 )

    Google Scholar 

  37. K.F. MacDorman: Grounding symbols through sensorimotor integration. Journal of the Robotics Society of Japan, 17 (1) (1999)

    Google Scholar 

  38. P. Maes: A bottom-up mechanism for behavior selection in an artificial creature. In: J.-A. Meyer, S. Wilson (eds.) From Animals to Animats ( MIT Press, Cambridge, MA, 1991 ) pp. 478–485

    Google Scholar 

  39. C. Malcolm, T. Smithers: Symbol grounding via a hybrid architecture in an autonomous assembly system. In: P. Maes (ed.) Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back ( MIT Press, Cambridge, MA, 1990 ) pp. 123–144

    Google Scholar 

  40. C. Malcolm, T. Smithers, J. Hallam: An emerging paradigm in robot architecture. Proc. the International Conference on Intelligent Autonomous Systems (IAS), vol. 2 ( Elsevier, Amsterdam, 1989 ) pp. 545–564

    Google Scholar 

  41. D. Martin, A. Cheyer, D. Moran: The Open Agent Architecture: A Framework for Building Distributed Software Systems. Applied Artificial Intelligence, 13 (1–2) 92–128 (1999)

    Google Scholar 

  42. M.J. Matarie: Behavior-based control: Examples from navigation, learning, and group behavior. Journal of Experimental & Theoretical Artificial Intelligence, 9 (2/3) 323–336 (1997)

    Article  Google Scholar 

  43. S.A. Mcllraith, T.C. Son: Adapting golog for programming in the semantic Web. Fifth International Symposium on Logical Formalizations of Commonsense Reasoning (2001) pp. 195–202

    Google Scholar 

  44. S.A. McIlraith, T.C. Son, H. Zeng: Semantic Web services. IEEE Intelligent Systems, 16 (2) 46–53 (2001)

    Article  Google Scholar 

  45. J. Meseguer: Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science, 96 (1) 73–155 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  46. R. Milner: Communicating with Mobile Agents: The 71-Calculus ( Cambridge University Press, Cambridge, 1999 )

    Google Scholar 

  47. S. Narayanan: Reasoning about actions in narrative understanding. Proc. the 16th International Joint Conference on Artifical Intelligence (IJCAI ‘89) ( Morgan Kaufman Press, San Francisco, 1999 ) pp. 350–357

    Google Scholar 

  48. A. Newell, H.A. Simon: Computer science as empirical inquiry: Symbols and search. In: John Haugeland (ed.) Mind Design ( MIT Press, Cambridge, MA, 1981 ) pp. 35–66

    Google Scholar 

  49. N.J. Nilsson: Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research, 1, 139–158, 1994.

    Google Scholar 

  50. D.L. Parnas, P.C. Clements, D.M. Weiss: The modular structure of complex systems. IEEE Transactions on Software Engineering, SE-11 (3) 259–266 (1985).

    Google Scholar 

  51. T.J. Prescott, K. Gurney, F.M. Gonzalez, P. Redgrave: The evolution of action selection. In: D. McFarland, O. Holland (eds.) Towards the Whole Iguana ( MIT Press, Cambridge, MA, 2002 )

    Google Scholar 

  52. P. Redgrave, T.J. Prescott, K. Gurney: The basal ganglia: a vertebrate solution to the selection problem? Neuroscience, 89, 1009–1023 (1999)

    Article  Google Scholar 

  53. C. Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell, J. Lee: The Process Specification Language (PSL): Overview and version 1.0 specification (NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD, 2000 )

    Google Scholar 

  54. L. Steels: A case study in the behavior-oriented design of autonomous agents. In: D. Cliff, P. Husbands, J.-A. Meyer, W.S. Wilson (eds.) From Animals to Animats (SAB94) ( MIT Press, Cambridge, MA 1994 ) pp. 445–452

    Google Scholar 

  55. L. Steels, P. Vogt: Grounding adaptive language games in robotic agents. In: C. Husbands, I. Harvey (eds.) Proc. the Fourth European Conference on Artificial Life (ECAL97) ( MIT Press, London, 1997 )

    Google Scholar 

  56. K. Sycara, M. Klusch: Brokering and matchmaking for coordination of agent societies: a survey. In: A. Omicini (ed.) Coordination of Internet Agents (Springer, 2001 )

    Google Scholar 

  57. K.R. Thórisson: A mind model for multimodal communicative creatures & humanoids. International Journal of Applied Artificial Intelligence, 13 (4/5) 519–538 (1999)

    Google Scholar 

  58. D. Trastour, C. Bartolini, J. Gonzalez-Castillo: A semantic Web approach to service description for matchmaking services. Proc. the International Semantic Web Working Symposium (SWWS) (2001)

    Google Scholar 

  59. A.M. Turing: Computing machinery and intelligence. Mind, 59, 433–460 (1950)

    Article  MathSciNet  Google Scholar 

  60. UDDI. The UDDI Technical White Paper. http://www.uddi.org/ (2000)

  61. XML. XML Web Site. http://www.w3.org/XML/Schema (2001)

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bryson, J.J., Martin, D., McIlraith, S.A., Stein, L.A. (2003). Agent-Based Composite Services in DAML-S: the Behavior-Oriented Design of an Intelligent Semantic Web. In: Zhong, N., Liu, J., Yao, Y. (eds) Web Intelligence. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05320-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-05320-1_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-07936-8

  • Online ISBN: 978-3-662-05320-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics