Institut Supérieur de Gestion de Tunis

Integrating Ontological Knowledge for Iterative Causal Discovery & Visualization Presented by: Montassar Ben Messaoud

Pr. Philippe Leray (Ecole Polytechnique de l’Université - Nantes) Dr. Nahla Ben Amor (Institut Supérieur de Gestion -Tunis)

2008-2009

Outline ▪ Introduction ▪ Causal Theory ▪ Causal Bayesian Networks ▪ Ontology ▪ SEMantical CAusal DiscOvery (SEMCADO) Approach ▪ Experimental Study ▪ Conclusion & Perspectives

Introduction

Bayesian Networks (Pearl, 1988) P(C=F) P(C=T) 0.5 0.5

Causality ? C F T

P(S=F) P(S=T) 0.5 0.9

Cloudy

C F T

P(R=F) P(R=T) 0.8 0.2 0.2 0.8

Rain

Sprinkler

0.5 0.1

WetGrass

Numerical component

+

S F T T T

R F F

P(W=F) P(W=T) 1.0 0.0 0.1 0.9 0.1 0.9 T 0.01 0.99 Probabilistic

Inference Graphical component

F

Causal Theory (1) ▪ David Hume ▪ 1711-1776 ▪ British empricist ▪ Modern study of causation ▪ Establishment of an empirical experimental science

?

Natural right Limited ressources

Private property

« We may define a cause to be an object followed by another…, where, if the first object had not been, the second never had existed. » Hume, 1748

Causal Theory (2)

Causal discovery, what affects ? …Biology

…Health

…Climate changes …Chemistry …Physics

… Economy

Causal Bayesian Networks

+

BNs

Causality

Causal Bayesian Networks X1

Probabilistic Inference X2

X3

+ Causal Inference X4

Problematic

How can we learn such causal networks ?

Causal Bayesian Network (1) What is the Cause ? Markov Equivalence External intervention Swine Flu (H1N1)

Influenza Pondemic Alert Level

Learning Causal networks Structure Learning Algorithms: IC, IC*, SGS, PC, BN-PC K2, MWST, GES, GS

Observational data

Interventional data

Structure Learning Approaches: Learning from mixture of obs. & exp. Data (Cooper & Yoo 1999) Active Learning (Tong & Koller 2001) Theoretical Study (Eberhardt 2005) Learning CBNs from observations an experiments (Leray & al. 2006)

Objective

Causal graphs

+

Ontologies ?

Integrating Ontological Knowledge for Iterative Causal Discovery & Visualization SEMCADO (SEMantical CAusal DiscOvery) algorithm

Ontology

Generalization

Transport is-a

Vehicle is-a

Bus

Car is-a

Hummer

Plane is-a

▪ edges  is-a relations.

Airbus is-a

A320

▪ nodes  concepts.

is-a

is-a

is-a

Megane

□ An ontology is a DAG where:

is-a

is-a

□Dist Hierarchical categorization = 6=of2terms Megane) rmbb (Hummer, A380)

A380

□ Semantic measures are used to evaluate the strength of the semantic link between 2 concepts. □ Semantic distance evaluates the disaffection between two concepts. □ Rada & al. distance (Rada, 1989): is based on the shortest path between 2 concepts.

SEMCADO Approach

Learning phase

System

Observational data

S-rule CPDAG S-CPDAG

Ontology CPDAG

Structure Learning

SEMCADO Approach Performing experiment System

Interventional data

PC rules

Analysing results

CPDAG S-CPDAG

Selecting best experiment

Ontology

Enriched Visualization

Causal Discovery

CBN

SEMCADO Approach

How to select appropriate interventions ? Cost = Cost Intervention + Cost Observation

We use commensurable scale: X1

X3

Cost Table: X2

X4

X5

X

X1

X2

X3

X4

X5

Cost (perf. X) $

100

300

1200



500

Cost (meas. X) $

10

25

15

20

5

Experimental Study (1) Random CBN Generator

Ontology

CBN

Generate Rada & al. Distance Matrix

DAG to CPDAG algorithm

SEMCADO algorithm CPDAG

Experimental Study (2) Original structure

Mutilated structure

Sampling algorithm

Perform experiment

SEMCADO algorithm

Experimental data

Experimental Study (3) SemCaDo (3 ont. Sets) MyCaDo

Average of directed edges

100 80 60 40 20 0

1

2

3

4

5

Experiment number

Conclusion(1)

■ Novel approach for integrating ontological knowledge for causal discovery & visualization. ■ Experimental study shows that we maximize the total number of inferred edges after each experiment. ■ We guide the manipulation process to the graph variables with high semantical inertia. ■ Our approach leads indirectly to a decrease in the number of interventions.

Conclusion(2)

The major results of this work are developed in: M. Ben Messaoud, P. Leray and N. Ben Amor Integrating Ontological Knowledge for Iterative Causal Discovery & Visualization Are accepted for: Publication in ECSQARU’2009 (Verona-Italy) & Oral presentation in the Machine Learning and Visualization Workshop (Hammamet-Tunisia)

Perspectives

□ Implement the visualization tools using the Tulip Software. □ Propose an experimentation strategy for umperfect observational data. □ Extend the SemCaDo algorithm to deal with latent variables. □ Consider the case of incomplete interventional data.

Intervention Selection Available ontology

CPDAG

Root X2

X3

SF1

X1 X4

X5

X6

Intervention selection criterion: Semantical #NeU(Xinertia i)

F1

X1

SF2 F2

X2

X3

X4

F3

X5

X6

mscs: the most specific common subsumer

Visualization Force Directed Placement

▪ Edges  Springs ▪ Nodes  Electrically charged particles ▪ Force application  Equilibrium State

Visualization ZOOM IN / ZOOM OUT

0 1 2 3

SEMCADO Approach PC Rules (SGS 1993) R1: Directing without creating new v-structure R2: Directing without creating cycles

X1

X1

X2 X3

X2 X4

X3

X5 X4

SEMCADO Approach Semantical-Rule S-CPDAG CPDAG X1

Available ontology X2

X3

X4

Root X5

F1 X6

F3

X7 X1

X8

F2 X2

X3

X4

X5

X6

X7

X8

Mutilation Causal inference

Integrating Ontological Knowledge for Iterative Causal ...

data. Selecting best experiment. System. Performing experiment. Analysing results ... Implement the visualization tools using the Tulip Software. □ Propose an ...

2MB Sizes 3 Downloads 174 Views

Recommend Documents

According to Bohm's [1,2] causal or ontological ...
example, a pendulum in a time-varying gravitational field [2,3] or an electron in a ... integrated exactly [2,3] to produce a mapping, called the standard map, of the.

An Iterative Construction Approach for Lexical Knowledge Bases
3.2 Formalism: conceptual graphs. A particular type of semantic network is favored in our research: the conceptual graph (CG) formalism. Here are some characteristics of Conceptual Graphs: 1. Knowledge is expressed by concepts and relations;. 2. Conc

Modeling and Integrating Background Knowledge in Data ...
However, the adversary may know the correlations between Emphysema and the non-sensitive attributes Age and Sex, e.g., “the prevalence of emphysema was appreciably higher for the 65 and older age group than the. 45-64 age group for each race-sex gr

EPISTEMOLOGICAL AND ONTOLOGICAL TOOLS FOR ...
immaterial aspects of all health and environment related aspects. Part one deals ...... biological cultural and social surroundings we can name “the given world”.

Ontological Semantics
Descriptions in ontological semantics include text meaning representations, lexical ... the development of implementations and comprehensive applications the.

Ontological Semantics
issues relating to knowledge representation and implementation system ... able level of automation in all of its processes—both the runtime procedures and the ...

Integrating conceptual knowledge within and across ...
Available online 19 November 2010. Keywords: Semantic memory ... patterns determine the speed and/or strength of signal ... direct test of two broad, central assumptions that have ... ries posit that concepts are distributed across a wide net-.

Iterative approximations for multivalued nonexpansive mappings in ...
Abstract. In this paper, we established the strong convergence of Browder type iteration {xt} for the multivalued nonexpansive nonself-mapping T satisfying the ...

Monotonic iterative algorithm for minimum-entropy autofocus
m,n. |zmn|2 ln |zmn|2 + ln Ez. (3) where the minimum-entropy phase estimate is defined as. ˆφ = arg min .... aircraft with a nose-mounted phased-array antenna.

New Metaphors for New Understandings: Ontological ...
Metaphors can be particularly beneficial analytical tools in grounded theory ... Grounded theory is a qualitative data analysis method, and it was recently ...

Iterative methods
Nov 27, 2005 - For testing was used bash commands like this one: a=1000;time for i in 'seq ... Speed of other functions was very similar so it is not necessary to ...

New Metaphors for New Understandings: Ontological Questions about ...
She went on to explain she thinks that resistance to guideline specification stems from a fear of getting “boxed in” to having to keep someone they do not like, but ...

An ontological context model for representing a situation and the ...
A major challenge of context models is to balance simplic- ... reasoning and other processing of context away from mobile ... pertinent way. ..... through Remote Procedure Calls. 3. The Rover Core - This layer forms the core layer of Rover.

An ontological context model for representing a situation ... - CS@UMD
plication need only communicate through a common inter- face with the system to ..... level class to represent specific events such as “accident”,. “wedding” etc.

CAUSAL COMMENTS 1 Running head: CAUSAL ...
Consider an example with no relevance to educational psychology. Most of .... the data are often not kind, in the sense that sometimes effects are not replicated, ...

New Metaphors for New Understandings: Ontological Questions about ...
begins with a discussion of the methodological justification for developing grounded theories via new metaphors. ... Research in cognitive science and Science and Technology Studies (STS) has demonstrated that metaphors are an integral .... universit

Randomized iterative improvement
College of Engineering, Guindy, ... The concept of photomosaics originated in a computer graphics .... neighbor in the iteration is better than the best mosaic.

A Declarative Framework for Matching Iterative and ...
effective pattern matching in modern applications. A language for de- ..... “tick-shape” pattern is monitored for each company symbol over online stock events, see rules (1). ..... graphcq: Continuous dataflow processing for an uncertain world.

Reverse Iterative Deepening for Finite-Horizon MDPs ... - Washington
out natural dynamics, caching transition function samples, and others. ... action costs, large branching factors, and no goal states — characteristics to.

Soft shape context for iterative closest point registration - CiteSeerX
the MNIST [10][9] handwritten digit database, where digits are segmented, i.e., each image contains a single digit. However, for ... we center the K-bin diagram at i d . All the other image points j d in set D that are inside the K-bin diagram are as

Undoing effect in causal reasoning 1 Submitted for ...
affords a prediction about how people reason when asked counterfactual ... The appeal to causal analysis does not solve all the problems of induction. In fact ...