Download presentation

Presentation is loading. Please wait.

Published bySybil Kelley Modified over 3 years ago

1
Nonmonotonic Abductive – Inductive Learning Oliver Ray Department of Computer Science University of Bristol AIAI'07, September 15th, 2007 Aix-en-Provence

2
Nonmonotonic Abductive – Inductive Learning Oliver Ray Department of Computer Science University of Bristol AIAI'07, September 15th, 2007 Aix-en-Provence (for temporal process modelling in bioinformatics and AI)

3
Motivation: Learning Temporal Theories Machine Learning: automated methods needed to handle the volume and complexity of data generated by modern experimental and data logging techniques. Inductive Logic Programming: produces expressive human-understandable hypotheses, exploits prior domain knowledge, and facilitates incremental knowledge update. Abductive–Inductive Learning: combines explanation and generalisation, allows for non-observation predicate learning, supports non-monotonic inference. Non-monotonic Learning of Temporal Theories: Infer temporal models of systems or processes from (partial) domain knowledge and (partial) observations.

4
Problem: Induction of Process Models Given: temporal logic calculus partial process model scenarios/narratives Find: (more) complete model that extends the partial model and explains the given narratives and scenarios wrt. the temporal calculus

5
Given: temporal logic calculus…event calculus partial process model…events, fluents, time scenarios/narratives…happens, holds, initially Find: (more) complete model …initiates, terminates Problem: Induction of Process Models that extends the partial model and explains the given narratives and scenarios wrt. the temporal calculus

6
Given: temporal logic calculus…event calculus partial process model…events, fluents, time scenarios/narratives…happens, holds, initially Find: (more) complete model …initiates, terminates B E H NM ILP Problem: Induction of Process Models that extends the partial model and explains the given narratives and scenarios wrt. the temporal calculus

7
Example: E. coli Lactose Metabolism E. coli growth medium add_lactose sub_glucose add_glucose sub_lactose ACTIONS (Events) pres_lactose pres_glucose meta_lactose EFFECTS (Fluents)..…TIME..… (Integers)

8
Transcriptional Regulation of LAC Operon polymeraseactivator 1. 2. cAMP repressor PromOplac(z)lac(y) CAP allolactose 3. 4. 5. PromOplac(z)lac(y)CAP galactosidasepermease 6. 7.8. (a) Lactose metabolising genes not expressed (b) Lactose metabolising genes expressed (low glucose) (high lactose)

9
Event Calculus Axioms holdsAt(F,T2) happens(E,T1), T1

10
Partial LAC Process Model % ontology time(0..9). event(add_gluc). event(add_lact). event(sub_gluc). event(sub_lact). fluent(pres_lact). fluent(pres_gluc). fluent(meta_lact). % behaviour initiates(add_gluc, pres_gluc, T). initiates(add_lact, pres_lact, T). terminates(sub_gluc, pres_gluc, T). terminates(sub_lact, pres_lact, T).

11
LAC Scenario / Narrative % actions initially(pres(gluc)). happens(add(lact),1). happens(sub(gluc),2). happens(sub(lact),3). happens(add(lact),4). happens(add(gluc),5). happens(sub(lact),6). happens(sub(gluc),7). % observations not holdsAt(meta(lact),1), not holdsAt(meta(lact),2), holdsAt(meta(lact),3), not holdsAt(meta(lact),4), holdsAt(meta(lact),5), not holdsAt(meta(lact),6), not holdsAt(meta(lact),7), not holdsAt(meta(lact),8). n.b. in general, could have partial knowledge of actions and/or observations, many actions per timepoint, etc.,

12
Language and Search Bias % domain specific mode declarations modeh(2, initiates(#event,#fluent,+time) ). modeh(2, terminates(#event,#fluent,+time) ). modeb(3, holdsAt(#fluent,+time) ). modeb(3, not holdsAt(#fluent,+time) ). % built-in preference criterion: Occam’s Razer % (greedily )prefer the simplest (i.e., smallest ) % hypothesis that correctly explains the data n.b. in general, need ways to constrain the search space both syntactically and semantically

13
Abductive–Inductive Learning Abduction 1 Deduction 2 = a1 :ana1 :an K= a 1 d 1 d 2 … d m 1 : a n d 1 d 2 … d m n Given: B,E,M Return: H 1 1 1 n n n Induction 3 H= A 1 D 1 D 2 … D m 1 : A n D 1 D 2 … D m n 1 1 1 n n n head atoms of K are abductive explanation of the examples E : i.e., B |= e. body atoms of K are deductive consequences of the theory B: i.e., B |= d i. H is a compressive theory subsuming the theory K : i.e., H K. IDEA: construct and generalise an initial ground hypothesis K called a Kernel Set

14
Abductive Phase

15
Deductive Phase

16
Inductive Phase

17
DEMO CLICK ME!

18
Related Work Sakama Baral Otero & Lorenzo Muggleton & Moyle Inoue, Iwanuma & Nabeshima

19
Conclusion XHAIL provides a (stable model) semantics and proof procedure for NM-ILP It uses mode declarations in the construction of a Kernel Set to reduce generalisation search space It is well suited to learning temporal theories in the Event Calculus (which provides a more intuitive event-based formalism than pure first order logic) But, still need to investigate stability, noise, confidence, …

20
END

Similar presentations

OK

Disjunctive Bottom Set and Their Computation Dr Wenjin Lu & Dr Ross King Department of Computer Science, The University of Wales, Aberystwyth

Disjunctive Bottom Set and Their Computation Dr Wenjin Lu & Dr Ross King Department of Computer Science, The University of Wales, Aberystwyth

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on remote control robot cars Pancreas anatomy and physiology ppt on cells By appt only movie theater Ppt on service oriented architecture training Ppt on statistics in maths the ratio Ppt on complex number for class 11 Ppt on product specification software Ppt on management by objectives mbo Ppt on regional transport office kerala Ppt on environmental degradation in india