Specification of Agent Services for DAML
Katia Sycara, Terry Payne (CMU)
In collaboration with Ora Lassila of Nokia
Our goal within the DAML program is to develop language specifications, tools, and applications that support the creation, location and interoperation of services both across the World Wide Web, and within multi-agent system communities. Our research aims include developing and evaluating methodologies for:
We have started working with and will continue working with Sheila McIlraith of Stanford KSL, Jerry Hobs (et.al.) of SRI, Mark Burstein of BBN, and Ora Lassila of Nokia on the development of a DAML based service process control language (DAML-S). This language describes: (a) the service profile/capabilities of the service, i.e. an advertisement describing what the service does, what are the input/output parameters, pre conditions and effects on resources etc, (b) the service model; this is the process model of how the service works, its composition in terms of lower level services, etc, and (c) the service grounding which describes how agents may access the service (in terms of communications protocols, service parameters etc).
While working with the rest of the group in the development of DAML-S, CMU is taking the lead in the development of the service profile part of DAML-S, and in the definition of an ontology for domain level resources (such as money, commmunication bandwidth etc) to be included in DAML-S. In addition, CMU will focus on the development of tools and applications to support the construction of service profiles, and access to high-level services, and resources such as ontologies and services that can be used to evaluate the languages/tools etc.
A more detailed description of the CMU research activities follows:
We will embed these algorithms within two types of middle-agents: a yellow-pages based matchmaker, and a facilitator.
Additional Collaborative Opportunities: The travel domain will provide a good opportunity for additional collaboration and evaluation with other researchers, including SRI, BBN, Nokia & Stanford KSL. We have not yet collectively decided upon a set of scenarios, but it is likely to involve the automatic composition of travel-related services, using the tools and the DAML and DAML-S encoding of web resources that various research groups provide. In particular, we envision that each of our collaborators (KSL, SRI, BBN, Nokia) will provide DAML-S-based annotations for a subset of web recources (e.g. in the travel domain). These annnotations could be used by agents developed independently by other members of our collaborators (not the annotators) to access the annotated web resources and use them to compose, for example a travel plan. We hope that, after initial experiments with our collaborators during the first year, such annotated services could be more widely used by other members of the DAML research community (not just our collaborating group).
We will release emerging ontologies and the process & services language to the DAML community as they are developed, and make available the sample services. We expect the DAML research community to be the primary audience for this work (for the first year), and expect that this community will use them to advertise and describe their services (e.g. ITTalks etc.). In addition we will deploy the middle-agent services with a basic web-based interface to allow end users to browse and monitor what services have been advertised, and generate human mediated queries. Basic web pages will also be provided for the sample services to facilitate and contrast DAML supported service composition with current, user oriented web forms. Initially, we expect the DAML community to be the audience for these tools and services but, as they become robustified, based on feedback from their use within the DAML community, we expect to put them on the web for general use.
In developing this work, we expect to be drawing upon the developments of the DAML language, and utilize DAML-based applications and tools, such as:
Towards the end of Contract Year 2, we expect to start development of authoring tools for web designers to create and validate service descriptions, and for debugging service requests. In addition, we will continue development of matching techniques, develop additional ontologies to support matching, and investigate methodologies for identifying and resolving semantic interoperation at increasing levels of task complexity.