220 likes | 354 Views
A Core Ontology for Situation Awareness. Christopher J. Matheus Versatile Information Systems, Inc. Mieczyslaw M. Kokar Kenneth Baclawski Northeastern University/VIS. Acknowledgments. Contract: F30602-02-C-0039 Michael L. Hinman, AFRL/IFEA John Salerno, AFRL/IFEA
E N D
A Core Ontologyfor Situation Awareness Christopher J. Matheus Versatile Information Systems, Inc. Mieczyslaw M. Kokar Kenneth Baclawski Northeastern University/VIS
Acknowledgments Contract: F30602-02-C-0039 Michael L. Hinman, AFRL/IFEA John Salerno, AFRL/IFEA Contractor: Versatile Information Systems, Inc. Fusion’2003, Cairns Matheus, Kokar, Baclawski
Objectives • Show a core ontology for situation awareness (SAW Ontology) • Show alternative designs of SAW Ontology • Show how SAW Ontology can be extended to satisfy specific requirements Fusion’2003, Cairns Matheus, Kokar, Baclawski
The Situation Awareness Problem • Knowing states of objects doesn’t necessarily mean understanding what’s going on (football) • Examples: close_to, under_attack, retreating, operational_readiness, …. • Need information about multiple objects,history, background knowledge, context, evolution over time…. • Need to derive relationships (no direct measurements) • Which ones? • 100 objects 210000 possible relations! • Need a theory of how the world “works” in a given context (ontology, situation) Fusion’2003, Cairns Matheus, Kokar, Baclawski
SAW Definition Situation Awareness (SAW) is the perception of the elements in the environment within a volume of time and space, the comprehension of their meaning, and the projection of their status in the near future. - Endsley & Garland, 2000 Fusion’2003, Cairns Matheus, Kokar, Baclawski
Situations – First Class Citizens “One of the starting points for situation semantics was the promotion of real situations from second class citizens to first class citizens.” “By a situation, then, we mean a part of reality that can be comprehended as a whole in its own right – one that interacts with other things. By interacting with other things we mean that they have properties or relate to other things.” - John Barwise, The Situation in Logic, 1989 Fusion’2003, Cairns Matheus, Kokar, Baclawski
Informal SAW Definition Situation Awareness is knowledge of the following elements: • Goal (for the level of decision making); • Theories of the world (ontology); • Knowledge of which theories in the ontology are relevant to the Goal at time t (current time) and at t+1 (in the near future); • Objects that are relevant to the Goal at time t and t+1; and • Relations among the objects that are relevant to the Goal at time t and t+1. Fusion’2003, Cairns Matheus, Kokar, Baclawski
Core SAW Ontology Fusion’2003, Cairns Matheus, Kokar, Baclawski
Attribute Values and Events Fusion’2003, Cairns Matheus, Kokar, Baclawski
“Snapshot” Design • Everything is captured for each time instant • Advantage: easy to retrieve (by time index) • Disadvantages: • Keep records even if nothing changes • Information must arrive in lock-step fashion (fixed delta-t) Fusion’2003, Cairns Matheus, Kokar, Baclawski
Time-Interval Design • Attributes and relations for arbitrary time intervals • Problem: where to keep uncertainty info for relations? • Relation – would be constant over time • Time Interval – would be the same for all relations Fusion’2003, Cairns Matheus, Kokar, Baclawski
Property Value with Certainty • Uncertainty part of Relations and Attributes through PropertyValue • Problem: PropertyValues are associated with time events and not arrival of new information Fusion’2003, Cairns Matheus, Kokar, Baclawski
Event Notices • PropertyValues are associated with EventNotices, i.e., with arrival of new information (e.g., Level 1 events) Fusion’2003, Cairns Matheus, Kokar, Baclawski
Battlefield Scenario Fusion’2003, Cairns Matheus, Kokar, Baclawski
SAW Ontology Extensions • Q: Is Core SAW Ontology sufficient to represent this scenario? • A: No. • Q: Can it be extended, or would it need to be changed? • A: It needs to be extended Fusion’2003, Cairns Matheus, Kokar, Baclawski
Battlefield Ontology Fusion’2003, Cairns Matheus, Kokar, Baclawski
Battlefield Obstacle Ontology Fusion’2003, Cairns Matheus, Kokar, Baclawski
Battlefield Relation Ontology Fusion’2003, Cairns Matheus, Kokar, Baclawski
SAW Process Flow Fusion’2003, Cairns Matheus, Kokar, Baclawski
Summary of the Process • Possess a Theory of the World, TO, consisting of a number of interrelated theories T1, T2, T3… and specify all of them in a formal language. • Post a Goal Tg in terms of the formal language. • Demonstrate the process of selecting relevant theories, T1, T2, T3…from among the theories of the world. • Collect events W1, W2, W3… and specify them in a formal language. • Specify (in the formal language) and then select relevant models, M1, M2, M3… of the relevant theories. • Combine the relevant theories (theory fusion) within the formal methods tool (Specware) using the category theory operator of colimit. • Similarly, combine the relevant models (model fusion) so that the combined model satisfies the combined theory from step 6 above. • Prove/disprove the Goal theorem using the combined theory. This proof includes the fusion of: • a. theories • b. models • c. uncertainty. Fusion’2003, Cairns Matheus, Kokar, Baclawski
Conclusions • Showed a core SAW Ontology • Analyzed alternative approaches • Showed extensibility of the ontology to more complex scenarios • Discussed the SAW process • More research needed on: SAW case studies, ontology extensions (agree to use the same ontologies), ontology tools – especially efficient reasoners Fusion’2003, Cairns Matheus, Kokar, Baclawski