daml kickoff short presentation packed

Dorotea

Download

Post to :

URL :

Related Presentations :

Add to Flag Embed

Uploaded from authorPOINTLite

Views: 54

Category: Education

Presentation Description

No description available.

Comments

Presentation Transcript

Mobilizing the Web withDAML-Enabled Web Services:

Mobilizing the Web with DAML-Enabled Web Services Services Team Sheila McIlraith (Technical Lead, Services) Son Cao Tran Honglei Zeng Richard Fikes (DAML Principal Investigator) Deborah McGuinness (DAML Project Manager) Steve Wilder Jessica Jenkins

Motivation:

Motivation The Web is evolving from a provider of documents and images …

Motivation:

Motivation … to a provider of services

Motivation:

DAML will have to meet this evolution, by providing markup for web service capabilities, in addition to content. Our Challenge: Exploit DAML markup to make web services agent-enabled. Motivation

Vision:

Vision Each web site provides a set of services information providing (e.g., flight schedules, camera views) or world-altering (e.g., booking flights, home temp. adjustment) Web services are conceived as actions that an agent can request to be executed. Web sites are annotated with DAML markup, describing services in terms of action preconditions and effects. ~Declaratively Specified API * thanks to Stefan Decker for the web page & ontology icons

DAML Markup of Web Services:

DAML Markup of Web Services Action-based web service markup: declarative • well-founded semantics Ontologies enable: reuse • sharing composition • succinct web site markup E.g., action world-altering action purchase purchase-plane-ticket purchase-UAL-plane-ticket purchase-rental-car ... activate activate-device ... Together they create a distributed KB of services.

Agents request services through an ACL:

Agents request services through an ACL Agents communicate with DAML-enabled web sites through Agent Brokers that request web services and dispatch responses. Brokers exploit the web service ontologies to assist in locating appropriate service providers.

DAML-Enabled Agents:

DAML-Enabled Agents Agents are tasked by people, or by other agents.

Generic Procedures:

Generic Procedures Agents are tasked in terms of high-level, reusable “generic procedures.” “The what not necessarily the how.” Ontologies support sharing, reuse, and composition. Agent Broker E-mail ...

Customizing Generic Procedures:

Customizing Generic Procedures Generic procedures can be further constrained by DAML-defined constraints user constraints/preferences, group constraints, or instance-specific constraints. E.g., • Bob would like to drive if the driving distance is less than 3 hours. • KSL Business air travel should be on an American carrier. ...

Instantiating Generic Procedures:

Agent’s KB is automatically constructed relative to the generic procedure and constraints. KB is updated by web service responses. Deductive machinery instantiates the generic procedure wrt. constraints and world state to generate web service requests that the broker executes. Instantiating Generic Procedures

Approach and Status:

Approach and Status DAML = First-order logic (for now) Agent KB representation language = Situation Calculus Generic procedures representation language = Golog Deductive machinery = Prolog Agent Broker = Open Agent Architecture [SRI] Prototype agent/agent broker constructed. (See our presentation this evening!) Service ontology construction underway.

Travel Example:

Travel Example Bob Chen wants to travel from San Francisco to Monterey, departing September 2 and returning September 6. The purpose of the travel is DAML. Our Lab’s Relevant Constraints KSL Business air travel must be on an American carrier. Bob’s Relevant Constraints Bob would like to drive if the driving distance is less than 3 hours. Generic Procedure: Travel(customer,origin, dest, date-d, date-r, purpose) Book-travel(origin,dest); Book-transportation(dest); Book-hotel(dest); Inform(customer); Create-expense-claim; end;