DAML and its uses on CoSAR-TS Austin Tate 19-Jan-2003 ----------------------------------------------------------------------- We expect to look at DAML (now referred to as DAML-O for ontology) and DAML-S (for services), and we have been asked by Murray Burke to look at DAML-R (for Rules) which he feels is most relevant to what we should be looking at in CoSAR-TS and in describing policies, etc. http://www.daml.org/ http://www.daml.org/services/ http://www.daml.org/rules/ The 3 areas I know of that we want to relate DAML to in our I-X and CoSAR-TS work are the following: A. External Services Descriptions --------------------------------- Perhaps the simplest and most obvious of the ways we can use DAML-S described agents and systems in conjunction with I-X process panels, and a way hopefully that we can put together a demo with systems from UWF/IHMC and perhaps from Stuart's previous work on RKF. See SAR scenario notes below B. I-X Panel Descriptions ------------------------- DAML-S might be able to be used to describe an I-X process panel in DAML-S (probably) so we can describe what it can handle in terms of issue addressing, activity performance (closest to current uses of DAML-S?), constraint checking, etc. DAML-O might be used to describe things used by I-X such as the grammars it allows for issues, activities, constraints and perhaps annotations. it might be something that the I-DE domain editor could output from its grammar/lexicon tool in future. DAML-R might be used to govern agent interaction particularly with resect to authorities to use it capabilities for others. I am keen that we explore ways that we can describe authorities which the panel allows for others to use its capabilities too. That relates to (C) below. I.e. what a panel is authorised to do for another agent from its current capability set. C. Agent Organization and Relationships --------------------------------------- A potentially fruitful area for exploring the links between domain management (in KAoS) and Task Support (in I-X). Ability to load KAoS/DAML descriptions of agents or service and the policies governing their interactions and to use that to set up the I-X I-Space and deduce or look up suitable initial authorities, policies, I-X action list entries, etc.