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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
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
R.C. Arkin: Behavior-Based Robotics ( MIT Press, Cambridge, MA, 1998 )
S. Benson: Learning Action Models for Reactive Autonomous Agents ( PhD thesis, Stanford University, December 1996 )
T. Berners-Lee, J. Hendler, O. Lassila: The semantic web. Scientific American, 284 (5) 34–43 (2001)
F.P. Brooks, Jr: The Mythical Man-month: Essays on Software Engineering. (Addison-Wesley Publishing Company, Reading, MA, 20th anniversary edition edition, 1995 )
R.A. Brooks: Intelligence without representation. Artificial Intelligence, 47, 139–159 (1991)
J.J. Bryson: Cross-paradigm analysis of autonomous agent architecture. Journal of Experimental and Theoretical Artificial Intelligence, 12 (2) 165–190 (2000)
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)
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
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 )
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
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)
P. Ciancarini, M.J. Wooldridge (eds.): First International Workshop on Agent-Oriented Software Engineering, Lecture Notes in Computer Science, vol. 1957. ( Springer, Berlin, 2001 )
A. Clark: Being There: Putting Brain, Body and World Together Again ( MIT Press, Cambridge, MA, 1996 )
P. Coad, D. North, M. Mayfield: Object Models: Strategies, Patterns and Applications (Prentice Hall, 2nd edition, 1997 )
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
I.F. Cruz, S. Decker, J. Euzenat, D. McGuiness (eds.): Proc. the First Semantic Web Working Symposium (SWWS ‘01) ( Stanford, July 2001 )
DAML-S. http://www.daml.org/services/ (2001)
DAML+OIL. http://www.daml.org/language/ (2000)
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
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)
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 )
R.E. Fikes, P.E. Hart, N.J. Nilsson: Learning and executing generalized robot plans. Artificial Intelligence, 3, 251–288 (1972)
T. Finin, Y. Labrou, J. Mayfield: KQML as an agent communication language. In: Jeff Bradshaw (ed.) Software Agents ( MIT Press, Cambridge, 1997 )
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 )
Y. Gil, S. Ramachandran: PHOSPHORUS: A task-based agent matchmaker. Proc. The Fifth International Conference on Autonomous Agents (Agents ‘O]) (May 2001)
S. Hamad: Categorial perception: A critical overview. In: S. Hamad (ed.) Categorial perception: The groundwork of perception (Cambridge University Press, 1987 )
J. Hendler, D.L. McGuinness: Darpa agent markup language IEEE Intelligent Systems, 15 (6) 72–73 (2001)
H. Hexmoor, I. Horswill, D. Kortenkamp: Special issue on software architectures for hardware agents. Journal of Experimental & Theoretical Artificial Intelligence, 9 (2/3) (1997)
I. Horrocks: DAML+OIL: a reasonable Web ontology language. Proc. the Eighth Conference on Extending Database Technology (EDBT ‘02) (March 2002)
G. Houghton, T. Hartley: Parallel models of serial behavior: Lashley revisited. PSYCHE, 2 (25) (February 1995)
D. Koller: Representation, reasoning, learning. IJCAI 2001 Computers and Thought Award talk (August 2001)
D. Kortenkamp, R.P. Bonasso, R. M. (eds.): Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems ( MIT Press, Cambridge, MA, 1998 )
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 )
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 )
K.F. MacDorman: Grounding symbols through sensorimotor integration. Journal of the Robotics Society of Japan, 17 (1) (1999)
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
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
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
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)
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)
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
S.A. McIlraith, T.C. Son, H. Zeng: Semantic Web services. IEEE Intelligent Systems, 16 (2) 46–53 (2001)
J. Meseguer: Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science, 96 (1) 73–155 (1992)
R. Milner: Communicating with Mobile Agents: The 71-Calculus ( Cambridge University Press, Cambridge, 1999 )
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
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
N.J. Nilsson: Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research, 1, 139–158, 1994.
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).
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 )
P. Redgrave, T.J. Prescott, K. Gurney: The basal ganglia: a vertebrate solution to the selection problem? Neuroscience, 89, 1009–1023 (1999)
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 )
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
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 )
K. Sycara, M. Klusch: Brokering and matchmaking for coordination of agent societies: a survey. In: A. Omicini (ed.) Coordination of Internet Agents (Springer, 2001 )
K.R. Thórisson: A mind model for multimodal communicative creatures & humanoids. International Journal of Applied Artificial Intelligence, 13 (4/5) 519–538 (1999)
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)
A.M. Turing: Computing machinery and intelligence. Mind, 59, 433–460 (1950)
UDDI. The UDDI Technical White Paper. http://www.uddi.org/ (2000)
XML. XML Web Site. http://www.w3.org/XML/Schema (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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