hypothesis management in support of inferential reasoninghypothesis management engine creates,...

32
Rick Haberlin Paulo C.G. Costa Kathryn B. Laskey June 22, 2010 Hypothesis Management in support of Inferential Reasoning

Upload: others

Post on 12-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Rick Haberlin

Paulo C.G. Costa

Kathryn B. Laskey

June 22, 2010

Hypothesis Managementin support of

Inferential Reasoning

Page 2: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS April 2010

Agenda

• Background & Hypothesis Framework

• North Atlantic Smuggling Scenario

• Hypothesis Management Engine

• Hypothesis Discovery Engine

• Interaction with PROGNOS

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 3: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS April 2010

Background & Framework

Page 4: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS April 2010

Hypothesis Management

Control of exponential growth in fusion hypotheses created by incoming data reports, without which the 

computational capability of hardware is quickly overwhelmed

4

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 5: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS April 2010

Hypothesis Management Module

• Development in two phases to support the PROGNOS project– Phase I: Hypothesis Management Engine

• Essential to the successful operation of the system

• Manages the creation, modification, administration, storage and movement of hypotheses

• Ensures that only attributes relative to the current context are presented for inferential reasoning  

– Phase II: Hypothesis Discovery Engine• Provides decision support to system operator 

• Supports recognition of observation trends leading to most likely hypotheses and the discovery of unpredicted hypotheses to provide asymmetric possibilities that match the incoming data  

• Component engines operate independently, allowing success of the PROGNOS project before completion of Phase II

5

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 6: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS April 2010

Hypothesis

• A specifically defined plan of execution in which an actor will conduct an action against a target with a location, time and methodology of his choosing

• Statement of anticipated action

• Captured as an m‐tuple of attributes and an associated weight vector

6

attributes associated, a1…am‐1context, am

ci~ credibilityri~ relevance

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 7: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS April 2010

North Atlantic Hypothesis Domain

• Example of a 7‐tuple attribute field domain for North Atlantic Ocean maritime awareness scenario 

• Each attribute category contains possible characteristics and an identifier

• Answers the questions of who, what, when, where, and how

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Organization Target Delivery Method Location Time  Context

AQ Al Quaida CA Canada C_Cruise Ship AD Amphibious Drop NE Northeast 2W 2 Weeks A Air

ID Islamic Dawn MX Mexico M_Merchant SB Small Boat Transfer MA Mid‐Atlantic 4W 4 Weeks L Land

TT Tamil Tigers PR Puerto Rico W_Warship CP Container in Port SE Southeast 6W 6 Weeks M Maritime

OT Org. Other US United States O_Ship Other OM Method Other GC Gulf Coast 8W 8 Weeks S Space

OC Country Other OL Loc. Other FU Future

Page 8: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Query Hypothesis

A domain‐specific inquiry is posed to PROGNOS by the System Operator – Captured as an m‐tuple

– Compared with the stored metadata

Associated m x 1 Priority Vector– System Operator prioritization of attribute fields

– Used by HMM to retrieve and prioritize hypotheses from Hypothesis Knowledge Base

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 9: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

North Atlantic Smuggling Scenario

Page 10: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

North Atlantic Smuggling Scenario

enario: Mediterranean Sea and North Atlantic Ocean.  Agents of the terrorist organization Islamic Dawn operating out of Izmir, Turkey, plan to smuggle radiological material into the United States on a bulk cargo vessel to build radiological dispersal devices.  They intend to move the material ashore from the motor vessel Mustafa Kamal by offloading to commercial fishing craft off the Grand Banks and Cape Hatteras.  

Framework | Scenario | Management Engine | Discovery Engine | Interaction

ation Target Delivery Method Location Time  Contextida CA Canada C_Cruise Ship AD Amphibious Drop NE Northeast 2W 2 Weeks A Airc Dawn MX Mexico M_Merchant SB Small Boat Transfer MA Mid‐Atlantic 4W 4 Weeks L LandTigers PR Puerto Rico W_Warship CP Container in Port SE Southeast 6W 6 Weeks M Maritimether US United States O_Ship Other OM Method Other GC Gulf Coast 8W 8 Weeks S Space

OC Country Other OL Loc. Other FU Future

Page 11: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Smuggler’s Perspective

HypothesisTrue summarizes the situation 

WeightTrue represents the relevance, credibility, and force of each of the six attributes in the hypothesis

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 12: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS Perspective

Hypothesis is created for each ship entered into PROGNOS– Possible that a single ship has multiple hypotheses

– Created by the HMM from incoming data, or 

– Resides in the Hypothesis Storage Module from a previous episode in a similar environment 

The weight vector– Represents the credibility and relevance of attributes

– Represents the context in which it occurs

– Initialized using weights based on content and source of data report

– Updated from incoming data related to same hypothesis

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 13: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

System Operator’s Perspective

HypothesisQuery:“What ships match the profile of Islamic Dawn smuggling material into the United States by sea in the next 6 weeks?”

Priority Query:– Certain of Islamic Dawn

– Strong belief in US as target

– Confident of timeline and medium

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 14: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Management EngineHypothesis Management Module

Page 15: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

PROGNOS Domain

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 16: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Management Module

The Hypothesis Management Module manages the creation, modification, administration and movement of hypotheses between the Knowledge Storage Module and the Model Workspace in response to tasks assigned by the Reasoning Controller.  It also predicts behavior and identifies original 

hypotheses based on observation of incoming data.

Components

ypothesis Management Engine | Hypothesis Discovery Engine

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 17: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Management Engine

Creates, updates, administrates, filters and routes hypotheses

Coordinates with Hypothesis Knowledge Base for retrieval and storage of hypotheses

Delivers set of contextually relevant hypotheses to the Model Workspace in response to Reasoning Controller demand as a result of an operator query

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 18: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Process Incoming Data Activity Diagram

Continuously creates and updates hypotheses from data

Operations within the shaded interruptible region execute continually on incoming streaming data until shutdown

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 19: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Retrieve Hypothesis Activity Diagram

Reasoning Controller requests candidate hypotheses

HME coordinates with the Hypothesis Knowledge Base for retrieval, filters and prunes the hypotheses within the context of the query, and forwards the filtered hypotheses

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 20: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Archive Hypothesis Activity

Allows non‐time sensitive attributes of hypotheses to be archived in the Hypothesis Knowledge Base in anticipation of building upon them upon return to the area of operations 

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 21: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Discovery EngineHypothesis Management Module

Page 22: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Discovery Engine

Produces original hypotheses from observed attribute data and recommends queries to pose

Decision aid for wading through data

Identifying potential asymmetric actions  

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 23: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Propose Hypothesis Activity

Collects statistical information on incoming data and bins it into hypothesis areas

Periodically dump of prioritized list of likely events and associated queries

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 24: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Propose Hypothesis Activity Diagram

Streaming data compared to indicators pre‐identified by regional subject matter experts 

Weights associated with each event that are stored in the Event Data datastore

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 25: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Evolve Hypothesis Activity

Create unforeseen hypotheses to identify asymmetric actionsTransforms existing hypotheses in HKB Genetic mutation of hypotheses is the transformation planned for initial implementation of the activity  

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 26: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Interaction with PROGNOS

Page 27: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

HMM Interaction with PROGNOS

Primarily through the query process – Retrieve HypothesisContinuously processes incoming data, proposes hypotheses, and discovers hypotheses

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 28: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Naïve Bayesian Network Example (M. Locher)

Route_inconsistent_w_portYesNo

50.050.0

Ship_XXX_is_Ship_of_InterestYesNo

0 + 100

Ship_handling_inconsistentYesNo

50.050.0

Identity_ObscuredYesNo

50.050.0

Displays_weaponryYesNo

50.050.0

hip_not_at_Predicted_Locations 50.0

50.0

Evasive_Behavior_on_contactYesNo

50.050.0

Inconsistent_speed_w_databaseYesNo

50.050.0

Electronics_not_operatingYesNo

50.050.0

Different_Electronic_SignatureYesNo

50.050.0

Characteristics_ChangeYesNo

50.050.0

Ship_not_match_pictureYesNo

50.050.0

Social_network_ownershipYesNo

50.050.0

Social_network_crewYesNo

50.050.0

Social_network_cargoYesNo

50.050.0

Reporting_on_crewmemberYesNo

50.050.0

Cargo_inconsistent_w_portYesNo

50.050.0

Suspicious_ReportingYesNo

50.050.0

OwnerCrew_Report_ProblemYesNo

50.050.0

Unusual_CargoYesNo

50.050.0

Ship_Op_Behavior_inconsistentYesNo

50.050.0

ting_Behavior50.050.0

_appears_out_of_blue50.050.0

Operating_out_of_AreaYesNo

50.050.0

Unusual_ShipYesNo

50.050.0

Absence_of_ReportingYesNo

50.050.0

Inconsistent_w_FunctionYesNo

50.050.0

Framework | Scenario | Management Engine | Discovery Engine | Interaction

copy is generated for each surface ship in the system, updatedth incoming data, and stored in the Entity Knowledge Base

Page 29: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Pruning Example

Eliminates information not relevant to the current query or context

Category Attribute Identifier

Al QuaidaIslamic Dawn Social NetworkingTamil Tigers

Electronic EmissionsCanadaMexico Ship Characteristics

Puerto RicoUnited States Visual or Ship Track Based

Cruise Ship General Sensor DataMerchantWarship Visual Observation

Amphibious Drop Intelligence ReportingSmall Boat TransferContainer in Port Cargo

NortheastMid‐AtlanticSoutheast Ship Track AnalysisGulf Coast

2 Weeks4 Weeks6 Weeks8 WeeksFuture

ation

et

ery

od

ion

e

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Unknowns:• Method of delivery• Location • Timeline

Unknowns:• Method of delivery• Location 

Page 30: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Network Example

Original reasoning network associated with HypothesisQueryPruned reasoning network associated with HypothesisQuery2

Ship_XXX_is_Ship_of_InterestYesNo

0 + 100

Identity_ObscuredYesNo

50.050.0

Ship_handling_inconsistentYesNo

50.050.0

Inconsistent_w_FunctionYesNo

50.050.0

Suspicious_ReportingYesNo

50.050.0

Reporting_on_crewmemberYesNo

50.050.0

Social_network_cargoYesNo

50.050.0

OwnerCrew_Report_ProblemYesNo

50.050.0

Unusual_CargoYesNo

50.050.0

Ship_Op_Behavior_inconsistentYesNo

50.050.0

Inconsistent_speed_w_databaseYesNo

50.050.0

Route_inconsistent_w_portYesNo

50.050.0

Ship_not_at_Predicted_LocationYesNo

50.050.0

Meeting_BehaviorYesNo

50.050.0

Ship_appears_out_of_blueYesNo

50.050.0

Operating_out_of_AreaYesNo

50.050.0

Cargo_inconsistent_w_portYesNo

50.050.0

Social_network_crewYesNo

50.050.0

Social_network_ownershipYesNo

50.050.0

Ship_not_match_pictureYesNo

50.050.0

Characteristics_ChangeYesNo

50.050.0

Different_Electronic_SignatureYesNo

50.050.0

Electronics_not_operatingYesNo

50.050.0

Displays_weaponryYesNo

50.050.0

Unusual_ShipYesNo

50.050.0

Evasive_Behavior_on_contactYesNo

50.050.0

Absence_of_ReportingYesNo

50.050.0

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Route_inconsistent_w_portYesNo

50.050.0

Ship_XXX_is_Ship_of_InterestYesNo

0 + 100

Ship_handling_inconsistentYesNo

50.050.0

Identity_ObscuredYesNo

50.050.0

Displays_weaponryYesNo

50.050.0

hip_not_at_Predicted_Locations 50.0

50.0

Evasive_Behavior_on_contactYesNo

50.050.0

Inconsistent_speed_w_databaseYesNo

50.050.0

Electronics_not_operatingYesNo

50.050.0

Different_Electronic_SignatureYesNo

50.050.0

Characteristics_ChangeYesNo

50.050.0

Ship_not_match_pictureYesNo

50.050.0

Social_network_ownershipYesNo

50.050.0

Social_network_crewYesNo

50.050.0

Social_network_cargoYesNo

50.050.0

Reporting_on_crewmemberYesNo

50.050.0

Cargo_inconsistent_w_portYesNo

50.050.0

Suspicious_ReportingYesNo

50.050.0

OwnerCrew_Report_ProblemYesNo

50.050.0

Unusual_CargoYesNo

50.050.0

Ship_Op_Behavior_inconsistentYesNo

50.050.0

ting_Behavior50.050.0

_appears_out_of_blue50.050.0

Operating_out_of_AreaYesNo

50.050.0

Unusual_ShipYesNo

50.050.0

Absence_of_ReportingYesNo

50.050.0

Inconsistent_w_FunctionYesNo

50.050.0

Pruned Network Example

Page 31: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Conclusions

Creation

– Revision

–Movement

– Filtering

–Archiving of hypotheses

Focus on corrective action, vice data fusion

Framework | Scenario | Management Engine | Discovery Engine | Interaction

Page 32: Hypothesis Management in support of Inferential ReasoningHypothesis Management Engine Creates, updates, administrates, filters and routes hypotheses Coordinates with Hypothesis Knowledge

Hypothesis Management in support of Inferential Reasoning

Framework | Scenario | Management Engine | Discovery Engine | Interaction