machine learning for complex event recognition
play

Machine Learning for Complex Event Recognition Nikos Katzouris 1 , - PowerPoint PPT Presentation

Machine Learning for Complex Event Recognition Nikos Katzouris 1 , Alexander Artikis 1 , Georgios Paliouras 1 http://cer.iit.demokritos.gr 1 NCSR Demokritos, Athens, Greece Team Members Tenured Researcher: Georgios Paliouras Research


  1. Machine Learning for Complex Event Recognition Nikos Katzouris 1 , Alexander Artikis 1 , Georgios Paliouras 1 http://cer.iit.demokritos.gr 1 NCSR Demokritos, Athens, Greece

  2. Team Members Tenured Researcher: ◮ Georgios Paliouras Research Associates: ◮ Elias Alevizos ◮ Alexander Artikis ◮ Nikos Katzouris ◮ Ioannis Kontopoulos ◮ Vagelis Michelioudakis ◮ Efthimis Tsilionis ◮ Christos Vlassopoulos Website: ◮ http://cer.iit.demokritos.gr

  3. Complex Event Recognition Input ◮ Recognition ◮ Output � . . . . . . . . . . . . Event Simple Events Recognition Complex Events System . . . . . . . . . . . . happensAt( active ( id 0 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 11 ) holdsAt( coord ( id 0 , 20 . 88 , 11 . 90 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 12 ) happensAt( active ( id 1 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 13 ) holdsAt( coord ( id 1 , 22 . 34 , 15 . 23 ) , 10 ) . . . Complex . . . Event Definitions

  4. Complex Event Recognition

  5. Complex Event Recognition Input ◮ Recognition ◮ Output � . . . . . . . . . . . . Event Simple Events Recognition Complex Events System . . . . . . . . . . . . happensAt( active ( id 0 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 11 ) holdsAt( coord ( id 0 , 20 . 88 , 11 . 90 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 12 ) happensAt( active ( id 1 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 13 ) holdsAt( coord ( id 1 , 22 . 34 , 15 . 23 ) , 10 ) . . . Complex . . . Event Definitions initiatedAt( meeting ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( active ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) . terminatedAt( meeting ( X , Y ) , T ) ← happensAt( walking ( X ) , T ) , not holdsAt( close ( X , Y , 25 ) , T ) .

  6. Complex Event Recognition Input ◮ Recognition ◮ Output � . . . . . . . . . . . . Event Simple Events Recognition Complex Events System . . . . . . . . . . . . happensAt( active ( id 0 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 11 ) holdsAt( coord ( id 0 , 20 . 88 , 11 . 90 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 12 ) happensAt( active ( id 1 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 13 ) holdsAt( coord ( id 1 , 22 . 34 , 15 . 23 ) , 10 ) . . . Complex . . . Event Definitions initiatedAt( meeting ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( active ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) . terminatedAt( meeting ( X , Y ) , T ) ← happensAt( walking ( X ) , T ) , not holdsAt( close ( X , Y , 25 ) , T ) .

  7. Complex Event Recognition Input ◮ Recognition ◮ Output � . . . . . . . . . . . . Event Simple Events Recognition Complex Events System . . . . . . . . . . . . happensAt( active ( id 0 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 11 ) holdsAt( coord ( id 0 , 20 . 88 , 11 . 90 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 12 ) happensAt( active ( id 1 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 13 ) holdsAt( coord ( id 1 , 22 . 34 , 15 . 23 ) , 10 ) . . . Complex . . . Event Definitions initiatedAt( meeting ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( active ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) . terminatedAt( meeting ( X , Y ) , T ) ← happensAt( walking ( X ) , T ) , not holdsAt( close ( X , Y , 25 ) , T ) .

  8. Learning for Complex Event Recognition Input ◮ Recognition ◮ Output � . . . . . . . . . . . . Event Simple Events Complex Events Recognition System . . . . . . . . . . . . happensAt( active ( id 0 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 11 ) holdsAt( coord ( id 0 , 20 . 88 , 11 . 90 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 12 ) happensAt( active ( id 1 ) , 10 ) holdsAt( meeting ( id 0 , id 1 ) , 13 ) holdsAt( coord ( id 1 , 22 . 34 , 15 . 23 ) , 10 ) . . . Complex . . . Event Definitions initiatedAt( meeting ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( active ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) . Learn this terminatedAt( meeting ( X , Y ) , T ) ← happensAt( walking ( X ) , T ) , From These not holdsAt( close ( X , Y , 25 ) , T ) .

  9. Applications City Transport Management SENSOR RESOURCE DATA NETWORK & DIGITAL MAPS IRM Demonstrator SENSOR & GEO DATA PROCESSING EVENT RECOGNITION INFORMATION EXTRACTION Driver Driver Actual Training/ Debriefing Operation Operator Operator Control Centre High-Level Data Events Low-level Communication Events

  10. Complex Event Recognition using the Event Calculus ◮ Formal, declarative semantics. ◮ Representation of complex temporal phenomena. ◮ Representation of complex atemporal phenomena. ◮ Very efficient reasoning → RTEC.

  11. Complex Event Recognition using the Event Calculus ◮ Formal, declarative semantics. ◮ Representation of complex temporal phenomena. ◮ Representation of complex atemporal phenomena. ◮ Very efficient reasoning → RTEC. ◮ Direct connections to machine learning → Inductive Logic Programming (ILP).

  12. Inductive Logic Programming ◮ Input: ◮ Positive and negative examples. ◮ Background knowledge. ◮ Language bias. ◮ Output: ◮ A logical theory that entails as many positive and as few negative examples as possible.

  13. Search Space for Rule Learning Top Rule ⊤ : initiatedAt( meet ( X , Y ) , T ) ← ... initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← happensAt( active ( X ) , T ) . happensAt( inactive ( Y ) , T ) . holdsAt( orientation ( X , Y , 45 ) , T ) . Rules generated by initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← . . . . . . adding one condition from happensAt( active ( X ) , T ) , happensAt( active ( X ) , T ) , happensAt( inactive ( Y ) , T ) . holdsAt( close ( X , Y , 25 ) , T ) . ⊥ to the body of ⊤ initiatedAt( meet ( X , Y ) , T ) ← . . . . . . happensAt( active ( X ) , T ) , happensAt( inactive ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) . . . . . . . . . . . . . . . . initiatedAt( meet ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( inactive ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) , holdsAt( close ( Y , X , 25 ) , T ) , not happensAt( inactive ( X ) , T ) , not happensAt( abrupt ( X ) , T ) , Bottom Rule ⊥ : not happensAt( running ( X ) , T ) , happensAt( inactive ( Y ) , T ) , not happensAt( active ( Y ) , T ) , not happensAt( running ( Y ) , T ) , not happensAt( abrupt ( Y ) , T ) , holdsAt( orientation ( X , Y , 45 ) , T ) .

  14. Search Space for Rule Learning Top Rule ⊤ : initiatedAt( meet ( X , Y ) , T ) ← ... initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← happensAt( active ( X ) , T ) . happensAt( inactive ( Y ) , T ) . holdsAt( orientation ( X , Y , 45 ) , T ) . Rules generated by initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← . . . . . . adding one condition from happensAt( active ( X ) , T ) , happensAt( active ( X ) , T ) , happensAt( inactive ( Y ) , T ) . holdsAt( close ( X , Y , 25 ) , T ) . ⊥ to the body of ⊤ initiatedAt( meet ( X , Y ) , T ) ← . . . . . . happensAt( active ( X ) , T ) , Ordered by θ -subsumption � : happensAt( inactive ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) . If r 1 � r 2 then . . . covers( r 2 , e ) ⇒ covers( r 1 , e ) for all examples e . . . . . . . . . . . . initiatedAt( meet ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( inactive ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) , holdsAt( close ( Y , X , 25 ) , T ) , not happensAt( inactive ( X ) , T ) , not happensAt( abrupt ( X ) , T ) , Bottom Rule ⊥ : not happensAt( running ( X ) , T ) , happensAt( inactive ( Y ) , T ) , not happensAt( active ( Y ) , T ) , not happensAt( running ( Y ) , T ) , not happensAt( abrupt ( Y ) , T ) , holdsAt( orientation ( X , Y , 45 ) , T ) .

  15. Learning a Rule: Search Positives Top Rule ⊤ : initiatedAt( meet ( X , Y ) , T ) ← not covered ... . . . initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← happensAt( active ( X ) , T ) . happensAt( inactive ( Y ) , T ) . - - - ++ - Covered examples initiatedAt( meet ( X , Y ) , T ) ← initiatedAt( meet ( X , Y ) , T ) ← - - - happensAt( active ( X ) , T ) , happensAt( active ( X ) , T ) , + + happensAt( inactive ( Y ) , T ) . holdsAt( close ( X , Y , 25 ) , T ) . - - + + + - + + initiatedAt( meet ( X , Y ) , T ) ← + - - . . . + + happensAt( active ( X ) , T ) , + - - + + - happensAt( inactive ( Y ) , T ) , + + - + + - holdsAt( close ( X , Y , 25 ) , T ) . + . . . - + . . . . . . + + initiatedAt( meet ( X , Y ) , T ) ← happensAt( active ( X ) , T ) , happensAt( inactive ( Y ) , T ) , holdsAt( close ( X , Y , 25 ) , T ) , holdsAt( close ( Y , X , 25 ) , T ) , not happensAt( inactive ( X ) , T ) , not happensAt( abrupt ( X ) , T ) , Bottom Rule ⊥ : not happensAt( running ( X ) , T ) , happensAt( inactive ( Y ) , T ) , not happensAt( active ( Y ) , T ) , not happensAt( running ( Y ) , T ) , not happensAt( abrupt ( Y ) , T ) , holdsAt( orientation ( X , Y , 45 ) , T ) .

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend