Summary of Key Features of KSL Work
DAML Markup of Web Services, User Constraints, Agent Procedures:
- Computer-interpretable, use-apparent, agent-enabled services.
- Ontologies facilitate construction, sharing, reuse, and composition;
support succinct web site markup.
- Markup not specific to particular agent implementation.
A DAML-Enabled Agent System:
- DAML markup provides distributed KB for agents.
- Logic-based generic procedures + constraints.
- Procedures - general and easy to use.
- Constraints enable customization.
- Ontologies facilitate construction, sharing, reuse, composition.
- Procedures are verifiable wrt. certain properties.
- Deductive machinery instantiates procedures generating
web service requests that are sent to the agent broker.
- Procedures & deductive machinery provide middle ground
between planning & programming.