75
From sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of Calgary (Calgary) University McMaster (Hamilton) CANADA

From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

From sensing to making sense to decision supportÉloi Bossé, Ph.D.

Adjunct Professor atUniversité Laval (Québec)

University of Calgary (Calgary)University McMaster (Hamilton)

CANADA

Page 2: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Outline • Sensing and monitoring

– distributed sensor networks

• Making sense: data-information fusion– Sensor fusion– High-level information fusion– Frameworks & models

• Decision support: reaching human brain– Cognitive systems engineering– Visualisation– Decide on action

Page 3: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of
Page 4: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

The New Defence and Security Context

Complex Conflict Spectrum

Globalization of

Science and Technology

Asymmetric Threats

Common Defence and Security Agenda

Page 5: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

The Future Security Environment

– The challenges of the 21st century include a variety of humanitarian disasters (earthquakes, floods, tsunamis), failed states, instability, global terrorism, intractable conflicts, pandemics, economic crises, and poverty among others.

• These problems are not one dimensional, but rather involve the consideration of effects in multiple, inter-related dimensions. These dimensions include social, political, and economic effects.

– These challenges are beyond the ability of any single actor or even a small set of very capable actors (e.g. CFs).

– Responses to these challenges, if they are to have a chance of success, must involve a large, heterogeneous collection of entities working together.

– The 21st century mission challenges described above are referred to as

Complex Endeavours

Page 6: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Sensing to Understanding to Decision Support

Situations

Page 7: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

REAL

SITUATION

OBSERVE ORIENT

SITUATION

MODEL

SITUATION

ANALYSIS

SITUATION

AWARENESS

COA (Plan)

DECIDEACT

DECISION

MAKING

OODA loop as a decision-making process

Page 8: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

OODA loop as a decision-making process

Quality of

Information

UNCERTAINTYTIME

Volume of

Information

Page 9: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Decision-making models

• Two (2) general classes:

– Rational models range from normative to more descriptive models (expected utility theory, prospect theory, regret theory, ..etc);

– Naturalistic models ‘individual’s resorting to his or her experience to reach a decision’

• e.g. recognition-primed decision model

Page 10: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

There are two basic categories

of decision making models

(Lipshitz, 1993):

process models and

typological models.

• The former describes the

order of processes in which

decisions are made whereas

• the latter classifies decision

processes into types and

describes the situation these

processes are used in.

Decision Making Models

Page 11: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

The Cognitive Hierarchy

Understanding

Data

Processing

Information

Cognition

Knowledge

Judgment

“Key to DECISIONS

is INFORMATION”

Page 12: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

1. Sensing and monitoring:

Heterogeneous sources

(Hard & Soft)

Page 13: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

The Cognitive Hierarchy

Data

Processing

Information “Data to INFORMATION”

Page 14: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Hard-Soft data/information sources

• Nature: hard information is quantitative - \numbers" (infinance these are balance sheet data, asset returns ...);soft information is qualitative - \words" (opinions,ideas, projects, comments ...); hard information is alsorather \backward looking“ (e.g. balance sheet data) assoft information is rather \forward looking" (e.g.business plan, predictions, anticipations,…).

• Collecting method: collection of hard information isimpersonal, and it does not depend upon the context ofits production (hard information is therefore exhaustiveand explicit), as collecting soft information is personaland includes its production and treatment context.

• Cognitive factors: subjective judgment, opinions andperception are absent in hard information, whereasthey are integral components of soft information.

Page 15: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Distributed Sensor networks (1)

• A large number of important applications depend on Distributed Sensor Networks interfacing with the real world:– Medical, Military, Manufacturing, Transportation, Safety

and Environmental planning systems.

• Wireless sensor networks are a trend of the past few years, and they involve deploying a large number of small nodes. –report to other nodes over a flexible architecture.

• In terms of complexity, in wireless sensor networks,

– hundreds or thousands of microsensors are deployed in an uncontrolled way to monitor and gather information of environments.

– Sensor nodes have limited power, computational capacities, memory, and communication capability.

TIME

Volume of

Information

Page 16: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Distributed Sensor Networks (2)

• The amount and variance of data is becoming quite overwhelming:– improved methods to deal with this data overload.

• Need to extract useful features and properties from the assorted data, without compromising its real-world and real-time nature.

• Making sense of data in the context of distributed sensor networks:– automated reasoning systems (cognitive)

– Novel schemes for data fusion, data mining and pattern recognition must be proposed and evaluated through simulation experiments.

Quality of

Information

UNCERTAINTY

Page 17: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Defense and Security Applications

- Protection of critical infrastructures

- Power plants

- Military bases

- Government HQs

- Harbours and airports

- Piracy and terrorism domains

Page 18: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Public Health Informatics

• Air Quality Effects on Health-Indicator Data in Disease Outbreak Surveillance;

• Drinking Water Security and Public Health Disease Outbreak Surveillance

• Biosurveillance• The Potential Utility of Electronic Disease Surveillance

Systems in Resource-Poor Settings• Enhancing Public Health Disease Surveillance Capability• Decision Support Models for Public Health Informatics

Page 19: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Optimization objectives

• Number of sensors

• Coverage

• Event occurrence probability

• Event detection probability

• Optimization of sensor placement

• Placement suitability

• Minimum distance to asset

• Optimization of pattern recognition systems

Page 20: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Physical

process

DATA

Measurements and

observations

INFORMATION

Data placed in context,

indexed and organized

KNOWLEDGE

Information understood

and explained

WISDOM

Knowledge

effectively applied

Information Hierarchy

ObservationCollecting, tagging and dispatching

quantitative measurements

OrganizationAligning, transforming, filtering, sorting,

indexing and storing data elements

UnderstandingComprehend relationships

between sets of information

ApplicationEffectively

implement plan

Decision making

Decision aiding

Inference

Reasoning

Uncertainty mgt

Alignment

Correlation

Extrapolation

Calibration

Filtering

Sensing

Msg parsing

Acquisition

Source: Information Warfare - Principles and Operations, by Edward Waltz

Page 21: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Systems Hierarchy

Physical Level

(Sensors, networks & sensor networks)

Databases, Data Warehouses

Information Systems

Intelligent &

Decision Support Systems

Data

/in

fo q

uali

ty

ass

essm

ent

Qu

ali

ty a

nd

volu

me

of

data

Making Sense

Page 22: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Examples of more smart sensing

• DARPA) Mind’s Eye program Broad Agency Announcement (BAA). http://www.fedbizopps.gov.

Page 23: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

2. Making sense: Multi-sensor data/information fusion

Page 24: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Context : key to understanding

Understanding

Data

Processing

Information

Cognition

Knowledge

Judgment

No understanding is possible without knowing the context in

which the process of perception of a situation occurs.

Page 25: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Domain Knowledge Representation

Understanding

Data

Processing

Information

Cognition

Knowledge

Judgment

Page 26: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Situation awareness

Page 27: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Endsley’s model of situation awareness

.

Information processing

mechanisms

Long-term

Memory storesAutomaticity

Task/System Factors

DecisionState of the

environment

feedback

Individual Factors

• Abilities

• Experience

• Training

System Capability

• Interface design• Stress and workload• Complexity, automation

Goals & objectives

• Preconceptions(expectations)

Projection

of future

status

Compre-

hension

of current

situation

Perception

of elements

in current

situation

SITUATION AWARENESS

Performance of actions

Page 28: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Multi-agent Situation Awareness

These aspects should be considered all together

SITUATION AWARENESS

Projectionof future status

Comprehensionof current situation

Perceptionof elements in

current

situation

Multi-agent

context

Uncertainty-based

information

Knowledge

and belief

Time and non-

monotonicity

Page 29: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Distributed system

Each agent has a partial

view of the situation

Page 30: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Situation

Mental

Model

Real situation

Decision-making

Agent

Sources of information

(sensors & humans)

Agent

Reasoning

Uncertainty, Belief

and Knowledge

Representation &

Processing

Measuring

Page 31: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Data/Information Fusion

• Multi-sensor data fusion

• High-levels information fusion:

– situation analysis - understanding

– making sense

• Data/Information Fusion is a key enabler for Situation Analysis that aims to support the decision maker in constantly improving his situation awareness

Understanding

Data

Processing

Information

Cognition

Knowledge

Judgment

Page 32: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of
Page 33: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of
Page 34: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Fusion and reasoning inference nodes

"Redundancy"

Fusion

Node

A1

A2

An

S1

S2

Sn

AComp

• Info product of interest: A

• Obs. / Est. of A from source n: An

• Composite estimation: AComp

Inference

Node

B

C

D

S1

S2

Sn

AInf

• Info product of interest: A

• Observations / Estimates: B, C, D

• Inferred estimation: AInf

"Complementary"

Fusion

Node

A

B

C

S1

S2

Sn

A-B-C

• Info product of interest: ABC

• Observations / Estimates: A, B, C

• Composite estimation: A-B-C

Page 35: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Level 1

Object Assessment

Level 2

Situation Assessment

Level 3

Impact Assessment

Level 4

Process Refinement(Resource Management)

Level 0

Sub-Object Assessment

Measurements

Signal/Features

Objects

Situations

Situations/Plans

Plans

Resources

Situations

Plans

Situations

Objects

Signal/Features

The JDL Data Fusion Model(Revised JDL Model: A. Steinberg/C. Bowman/F. White, 1998)

Page 36: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

PLANTASKING/CONTROL

RESPONSE PLANNING

RESOURCE MANAGEMENT NODE

PLANEVALUATION

PLANSELECTION

PLANGENERATION

RESPONSEPREPARATION

(CommonReferencing)

USEROR PRIORRM NODE

RESOURCE STATUSDATA FUSION ESTIMATES

Resources& Other

RM Nodes

USEROR NEXTFUSIONNODE

STATEESTIMATION

& PREDICTION

DATA ASSOCIATION

DATA FUSION NODE

HYPOTHESISEVALUATION

HYPOTHESISGENERATION

HYPOTHESISSELECTION

DATAALIGNMENT

(CommonReferencing)

PRIORDATA FUSION

NODES &SOURCES

RESOURCE MGT CONTROLSSOURCE SENSOR STATUS

The JDL Data Fusion Model(Revised JDL Model: A. Steinberg/C. Bowman/F. White, 1998)

Page 37: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Integrated data fusion/resource management trees ([Steinberg, Bowman, White, 1998])

EO/IR

ELINT

m

f,d

Imageryf,d

Impacts

• Objectives

• Vulnerabilities• Cost

Objects

• Aircraft• Ships

• Vehicles

• Cultural,

Natural

Features

• - etc.

Aggregates

• Units• Subordi -

nation

• Netting

• Logistics

• Cross-Force

Returns

f,d

L.1

f,dTracks

f,dL.1

Textf,d

Signalsf,d

f,d

mm,f,

d f,d

mRADAR m

mSAR m

HUMINT

KEY

m = Measurements (pixels, waveforms, etc.)

f = Features (discrete or continuous attributes)

d = Decisions (target type, location, etc.)r = Mission role

p, o = Resource priorities, Resource mode

c = Command/Control

= Data Fusion Node = Resource Mgmt NodeF M

L.3

d

L.2

d

L.1

d

M Mpoc

M

M Mo

oc

c

MMpoc

M

Mo p

MMr

Mr,p

FF F

F

F F

F F

F

F F F F

Page 38: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

"Working" Level

Hierarchical decomposition

Event Perception

Kinematics Analysis

Group Formation

& Refinement

Intent Analysis

Behavior Analysis

Salience Analysis

Capability / Capacity Analysis

Change(s) Analysis

Situation

Analysis

Situation

perception

Situation

comprehension

Situation

projection

Situation

monitoringSituation Watch

Situation Assessment

Situation Element

Contextual Analysis

Situation Element

Perception

Refinement

Situation

Element

Acquisition

Situation Element

Interpretation

Page 39: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Five basic tasks for SA

1. Detection: Object

2. Enumeration:

(Objects) N

3. Classification:

Object Class4. Tracking:

Object(t) Object(t +1)5. Linking up:

Object_i Object_j

Page 40: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Stored World

Representation(Current at time "t")

"Known" Situation

Elements

World

Representation

Database

ManagementCur. SE Retrieval

(t)

Association

Time

AlignmentCurrent SE

(t)

SE Projection

(t+ΔtUser)

SE

Projection

(t+ΔtUser)

"User"

Request

(t+ΔtUser)

Alignment(Common

Referencing)

Spatial

Alignment

Input Manager

Fusion / Inference

Output Manager

User(s) and/orNext Situation Analysis Node(s)

High-Level View

Generic

Situation Analysis

Node

Process

Refinement

Application

Domain

Expertise

Knowledge

Base

Core &

Application

Domain

Ontologies

A Priori

Knowledge/

Information/

Data

1

2 3

4

5

Page 41: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Information fusion/SA needs:

• A framework in which knowledge, information and uncertainty can be represented, combined, managed, reduced, increased, interpreted (e.g. GIT);

• Decision theories to explicitly account for the actions and their impact on the environment (to go beyond the open-loop treatment);

• Multi-agent systems theories to formalize the distributed aspect;

• Measures of performance --- ‘so what’

Page 42: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Uncertainty

Reliability

Relevance

Utility

Proximity

Supportability

Expectability

Credibility

Information

Element

Inf (Object «n»)

Physical

model

‘Key to decisions is information’

‘Information enables Situation Awareness’

Page 43: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

43Collaboration in the NATO SAS-050 C2 Conceptual Reference Model (1 of 2)

INPUTInformation Networks

Information Accuracy

Information Completeness

Information Correctness

Information Currency

Information Consistency

Information Precision

Information Relevance

Information Timeliness

Information Uncertainty

Shared Understanding Accuracy

Shared Understanding Completeness

Shared Understanding Consistency

Shared Understanding Correctness

Shared Understanding Currency

Shared Understanding Precision

Shared Understanding Relevance

Shared Understanding Timeliness

Shared Understanding Uncertainty

Quality of Interactions

Uncertainty of Situation

C

O

L

L

A

B

O

R

A

T

I

O

N

(21)

Page 44: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

44

OUTPUT

Collaboration in the NATO SAS-050 C2 Conceptual Reference Model (2 of 2)

Communications Interoperability

Shared Awareness Accuracy

Shared Awareness Completeness

Shared Awareness Consistency

Shared Awareness Correctness

Shared Awareness Currency

Shared Awareness Precision

Shared Awareness Relevance

Shared Awareness Timeliness

Shared Awareness Uncertainty

Decision Accuracy

Decision Completeness

Decision Consistency

Decision Correctness

Decision Currency

Decision Precision

Decision Relevance

Decision Timeliness

Decision Uncertainty

C

O

L

L

A

B

O

R

A

T

I

O

N

(19)

Page 45: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

1. Two meanings for uncertainty

Sense I - Uncertainty as a state of mindEx: I’m not certain that the cat is in the bedroom

Sense II - Uncertainty as a property of the informationEx: This cat is gray (the color of the cat is uncertain)

(gray in RGB=[55 55 55] or [98 90 99]?)

Ignorance - Knowledge

Uncertainty - Information

Page 46: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of
Page 47: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Probability

theory

Ability to reason

Fuzzy set

theory

Fagin-Halpern, Bundy

Crisp set

theory

Classical

logic

Fuzzy

logic

Infinity of values

Multi-valued

logics

Modal

logics

Non-

monotonic

logics

Evidence

theory

Probabilistic

logic

Crisp set

theory

Classical logic

Rough set

theory

Vagueness

Isomorphism

Isomorphism

Page 48: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of
Page 49: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Combine different pieces of uncertain

information

Need for manipulation of numerous theoretical frameworks

of different natures

1. Making the different frameworks “communicate” between each

other

Ex.: Fuzzy information and probabilistic information

2. Using “general” frameworks (a single formalism):

2.a. Numerical OR symbolic

Ex.: Random sets, autoepistemic logic

2.b. Numerical AND symbolic

Ex.: Modal logic with possible worlds or random worlds

semantics

Ex.: Incidence calculus, Fagin-Halpern structures…

Page 50: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Towards a unified theory…

Saul KripkeJaako Hintikka

Lotfi ZadehArthur Dempster

Glenn Shafer

Ronald Fagin

Joseph Y. Halpern

Page 51: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Uncertainty

Reliability

Relevance

Utility

Proximity

Supportability

Expectability

Credibility

Information

Element

Inf (Object «n»)

Physical

model

‘We need to formalize’

‘Information enables Situation Awareness’

Page 52: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Why a Formal Framework

A highly formal approach for the design of situation analysis and decision support systems is unavoidable if one is interested in:

• the reproducibility/traceability of results (e.g. explanations);

• satisfaction of constraints (e.g. how much time and memory are needed);

• a language to represent and reason about dynamic situations.

Page 53: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Formal Models for Information

Fusion

Page 54: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Interpreted systems – State transition systems

Our approach of SA is to

base our analysis on the

production of state

transition systems

consisting of the set of all

temporal trajectories

possibly obtained upon the

execution of a given set of

agents' protocols

(strategies).

Page 55: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

A General Algebraic Framework for IF

• Hypothesis: Interpreted Systems Semantics is a general framework for situation analysis and high-level data fusion applications

• Arguments:

– Designed for distributed systems analysis;

– Situations are adequately represented by transition states systems;

– The notions of Situation, Situation Awareness and Situation Analysis can be formally defined;

– Allows reasoning about knowledge, uncertainty and time;

– The framework is general enough so that Generalized InformationTheory can be framed into ISS;

– Can take advantage of both model checking and inference decision procedures.

Page 56: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Abstract State Machines: The Idea

• ASM is a machine model for representing algorithms at higher levels of abstraction

– Like pseudo code but with precise semantics

• High-level descriptions at earlier stages in design

• Stress on essential aspects rather than insignificant details

• Precise semantics and executable specifications

• Expressing the original idea behind algorithms at the same level of complexity

Page 57: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Abstract State Machines

• Abstract State Machines (ASM) are known to be effective in specifying and modeling a variety of systems:

– Languages, protocols, comm. architectures, web services, embedded control systems, computational modeling of social systems, etc.

– Several books and papers published with examples

• Several compilers and interpreters for various ASM dialect exist

Page 58: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Combining ASM and IS

• Interpreted Systems– The underlying view is geared toward theoretical aspects

of system modeling• Global state transformer, protocol, loose notion of concurrency

• ASMs are known for their practical side of formal semantic modeling – Refinement and modularization techniques

• Combined, they can provide a comprehensive semantic framework for design and development of novel decision support systems

Page 59: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

CoreASM Goals

• An extensible executable ASM languagewhich is faithful to its mathematical definition

• An extensible, platform-independentexecution engine

• A supporting tool environment for– Design exploration

– Experimental validation, fast prototyping

– Formal verification

Page 60: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of
Page 61: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Exploiting information sources and

tools/services in a support system

Tool /

Service

#1

Tool /

Service

#2

Tool /

Service

#N

SystemTools / Services

forSituation AnalysisDecision Making

KnowledgeExploitation

HCI

Info

Source

#1

Info

Source

#2

Info

Source

#N

A Variety ofHeterogeneous

Sources ofInformation

All Information

Everywhere

At All Time

System Integration &Interoperability, Middleware,

Net-Centric Enterprise Services

The Right Information

To The Right Person

At The Right Time

People. . . . . . . . . . . .

Info. Fusion, Knowledge Management,Advanced Visual., Contextual Portfolios

Task Oriented ServicesInfo. Centric Workspace

Page 62: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

3. Decision support: Reach the humain brain

Page 63: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

LIMITATIONS LIMITATIONS

Task

Human TechnologyTradeoff

*Rousseau: Laval University

C2

“TASK/HUMAN/TECHNOLOGY” TRIAD MODEL*

Page 64: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

1. Silent/Manual 2. Informative 3. Co-operative 4. Automatic 5. Independent

System

Operator(s)Decisions

System

Operator(s)Decisions

System

Operator(s)Decisions

Support Influence

Infl

uen

ce

System

Operator(s)

Info. Requests/

Influence

DecisionsSystem

Operator(s)

DecisionsDecisions

Syner

gy

Medium Medium

Highest

None None

Wo

rk

Dis

trib

uti

on

Operator(s)Operator(s)

Operator(s) SystemSystem Operator(s)

SystemSystem

Rep

rese

nta

tion

Override

Su

pp

ort

Human-Technology Tradeoff Spectrum

Page 65: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

User Driven vs. Data Driven

• The „chasm‟...where you start often determines where you finish

• Building the bridge is hard

DATA SOURCES

INFORMATIONNEEDS

Layers of technology

patches…but its just a

deeper pile of DATA!

It Requires…

… A new perspective

… A unique methodology

It Generates…

… A radically different solution!

Typ

ical

Syste

m D

esig

n

CSE pulls from the decision making

Page 66: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Time

Op

era

tor

Dem

an

ds

More sensors

More data

More displays

More platforms

?

Work

Human(s)Technology

Better Operator

Interface

Automation

Data fusion

Decision Aids

CognitiveOverload

Need for a Holistic

Perspective on Design

Page 67: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

What is Cognitive Systems Engineering? The Cognitive Triad

• Dr. David D. Woods, OSU Cognitive Systems Engineering Lab describes Cognitive Systems Engineering as;

“working at the intersection of the problems imposed by the world, the needs of agents (both human and machine) and the interaction with the various technologies (affordances) to affect the situation”

• Note that each interacts with the other two, for example the user interface must allow the user to control the world as well as control any automation

Page 68: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

ß Design for adaptation

– Joint H/M system must be highly adaptive

– Familiar, unfamiliar, unanticipated events

– Primary value of human is to play an adaptive role

– Computer-based tools to support human adaptation

Space of Action Possibilities

Constraint

boundary

A feasible

behavioural trajectory

A Cognitive Systems Engineering

Approach

Page 69: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Phases of CWA Kinds of Information Modeling Tools

Work Domain AnalysisPurpose and structure

of work domain

Abstraction-

decomposition space

Control Task Analysis

Goals to be satisfied,

decisions/cognitive

processing req'd

Decision ladder templates

Strategies AnalysisWays that control

tasks can be executedInformation Flow Maps

Social Organisation and

Cooperation Analysis

Who carries out work

and how it is shared

Annotations on all the

above

Competencies AnalysisKinds of mental

processing supported

Skills, Rules and

Knowledge models

Cognitive Work Analysis Framework

Increasing

Constraint

Space of Action Possibilities

Constraint

boundary

A feasible

behavioural trajectory

Page 70: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

ACWA

Applied CWA

Functional

Abstraction

Network

Information /

Relationship

Requirements

Cognitive

Work

Requirements

Presentation

Design

Concepts

Representation

Design

Requirements

Storyboard /

Prototype

Functional

RequirementsProcessing /

Transformation

Requirements

Knowledge Elicitation

Physical WorkspaceVirtual Workspace

Decision Centered

Testing

Support Friendly

Decision-Making

Improve Friendly

Decision Aids

Predict Adversary

Behavior

Portray Predicted

Adversary BehaviorPortray Adversary Goals

Model of Adversary

Decision-Making

Model of Inputs to

Decision Model

Autonomous

Prediction

Human In the Loop

Prediction

Model of Adversary

Intent

Page 71: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Ontological EngineeringOntological Engineering & Cognitive System Engineering

Page 72: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Information Visualization

Page 73: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

SOME CRITICAL RESEARCH ISSUES (1)

• Information quality assessment approaches

•Knowledge modeling and representation: exploitation of efficient

machine representations of relevant aspects of the world.

• Visualisation and human-system integration

•Fusion of structured and unstructured information – hard/soft fusion

• Formal methods to identify and represent relevant and critical

information to support decisions

•Formal methods of ontological engineering to produce defensible

representations of the world (e.g., situational constructs).

• Work domain models could be constructed based on cognitive

engineering techniques in order to understand and formally document

the information needs of decision makers.

• Distributed or social aspects: architecture SoS, open systems

Page 74: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

SOME CRITICAL RESEARCH ISSUES (2)

•Decision support involves both people and machines. Three distinct types of

processes are involved:

– psychological processes associated with people;

–technological processes characteristic of machines;

–and integration processes facilitating interaction between the psychological and

technological processes.

• Information fusion is a key enabler to situation awareness:

– there is a need to define a framework where knowledge, uncertainty and belief can be

handled – a reference fusion model that could be used for design computer-based

support systems

• Performance of support systems

–Along two (2) axes:

1. Theoretical: Conceptually correct?

2. Applicable: Able to address large problems? Complexity? Computer tractable? Useful

for the user? Notion of trust? Support? Cognitive fit?

Page 75: From sensing to making sense to decision supportFrom sensing to making sense to decision support Éloi Bossé, Ph.D. Adjunct Professor at Université Laval (Québec) University of

Questions

[email protected]