Transcript 2003-cosarts-talk-2003-10

CoSAR-TS
Coalition Search and Rescue
Task Support
Demo – 16-Oct-2003
DARPA DAML Program
AIAI, Edinburgh & IHMC, Florida
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
2
Description







To study and develop a demonstrator for Task Support in a
realistic Coalition Search and Rescue scenario
To show the value of linking research at AIAI work on I-X
Task Support with IHMC work on KAoS Agent Policy and
Domain Services
SONAT Elements of National Power (ENP) database
extended with Binni data
OWL descriptions of country infrastructure
DAML-S descriptions of agents and services are being
used
Feedback to the DAML-S development community are
being provided
Input to standards efforts (e.g. SWSL)
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
3
Binni SAR Scenario
Binni SAR Scenario
SAR Joint Publications
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
6
CoSAR-TS Demo Architecture
CoABS Grid Manager
KAoS Policy and Domain Services
Task Support Tools
Map Tool
Process Panel
Activity Editor
Domain Editor
Messenger
I-Space
DAML CoSAR-TS Ontology
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
11
DAML-S
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
12
KAoS DAML Policy Fragment
<rdfs:Class rdf:ID='policy-6ef00f45-00f4-0000-8000-0000deadbeefAction' daml:label='coginst_ActionClassName'>
<daml:subClassOf rdf:resource='http://ontology.coginst.uwf.edu/CoSAR-TS/RescueResources.daml#ReturnResultQueryRescueResourcesAction'/>
<daml:subClassOf>
<daml:Restriction rdf:ID='policy-6ef00f45-00f4-0000-8000-0000deadbeefActorRestriction0'>
<daml:onProperty rdf:resource='http://ontology.coginst.uwf.edu/Action.daml#performedBy'/>
<daml:toClass rdf:resource='#MembersOfDomainBinni'/>
</daml:Restriction>
</daml:subClassOf>
<daml:subClassOf>
<daml:Restriction rdf:ID='policy-6ef00f45-00f4-0000-8000-0000deadbeefTargetRestriction0'>
<daml:onProperty>
<daml:ObjectProperty rdf:about='http://ontology.coginst.uwf.edu/CoSAR-TS/RescueResources.daml#hasHomeCountry'/>
</daml:onProperty>
<daml:toClass rdf:resource='#policy-6ef00f45-00f4-0000-8000-0000deadbeefTargetInstances0'/>
</daml:Restriction>
</daml:subClassOf>
<daml:subClassOf>
<daml:Restriction rdf:ID='policy-6ef00f45-00f4-0000-8000-0000deadbeefTargetRestriction1'>
<daml:onProperty>
<daml:ObjectProperty rdf:about='http://ontology.coginst.uwf.edu/CoSAR-TS/RescueResources.daml#hasRescueDestination'/>
</daml:onProperty>
<daml:toClass>
<rdfs:Class rdf:about='#policy-6ef00f45-00f4-0000-8000-0000deadbeefTargetInstances1'/>
</daml:toClass>
</daml:Restriction>
</daml:subClassOf>
</rdfs:Class>
<RDFNsId1:NegAuthorizationPolicy rdf:ID='policy-6ef00f45-00f4-0000-8000-0000deadbeef'
RDFNsId1:hasName='CoSAR-TS1'
RDFNsId1:hasPriority='1'
RDFNsId1:hasUpdateTimeStamp='1049833307991'>
<RDFNsId1:controls rdf:resource='#policy-6ef00f45-00f4-0000-8000-0000deadbeefAction'/>
</RDFNsId1:NegAuthorizationPolicy>
</rdf:RDF>
KAoS DAML Policy Example


Example defines negative authorization for CMU
Matchmaker to return Gao Rescue Resources if the
destination hospital is in Arabello
Why not just manage policies within the Matchmaker
DAML-S descriptions themselves?
– Perspective independence: For various reasons, either the MM
service, the Coalition, or Gao may be motivated to define and manage
such a policy
– Confidentiality: It may be in the defining party’s interest not to
disclose the policy to the other parties
– Resource management independence: The policy will need to be
enforced by some component that belongs to the defining party, not
necessarily to the subject or target of the policy
– Redundancy: The independence of the policy reasoning mechanisms
provides a check against buggy, malicious, or poorly-designed code
in the agents and services
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
14
Demonstration
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
15
Achievements to Date







Direct OWL file processing from I-X of BBN SONAT ENP
database via HP Jena Toolkit
SOAP Access to SAR Resources from KAoS and I-X via
Katia Sycara’s CMU Matchmaker
I-X linked to Norman Sadeh’s CMU Notification Agent for
personalized context-aware notifications
Declarative representation and reasoning about KAoS
policy and domain information in DAML (soon OWL)
Complexities of coalition organization represented in KAoS
domains
KAoS policy-governed access to Semantic Web
information and services
Use of KAoS to dynamically generate I-X agent
relationships (peers, subordinates, superiors
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
16
Further Information

http://www.aiai.ed.ac.uk/project/cosar-ts/

http://www.coginst.uwf.edu/kaos/

http://i-x.info

http://binni.org
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
17
Additional Details

Extra Slides
Artificial Intelligence Applications Institute, University of Edinburgh, UK
Institute for Human and Machine Cognition, Pensacola, Florida
18
Binni SAR Scenario