Online learning of event definitions

Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event recognition applications, providing among others, direct connections to machine...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 16; no. 5-6; pp. 817 - 833
Main Authors: KATZOURIS, NIKOS, ARTIKIS, ALEXANDER, PALIOURAS, GEORGIOS
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.09.2016
Subjects:
Calculus
Distance education
Distance learning
Learning
Logic programming
Mathematical analysis
Recognition
Regular Papers
Strategy
Event Calculus
Inductive Logic Programming
Online Learning
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in event recognition applications, providing among others, direct connections to machine learning, via Inductive Logic Programming (ILP). We present an ILP system for online learning of Event Calculus theories. To allow for a single-pass learning strategy, we use the Hoeffding bound for evaluating clauses on a subset of the input stream. We employ a decoupling scheme of the Event Calculus axioms during the learning process, that allows to learn each clause in isolation. Moreover, we use abductive-inductive logic programming techniques to handle unobserved target predicates. We evaluate our approach on an activity recognition application and compare it to a number of batch learning techniques. We obtain results of comparable predicative accuracy with significant speed-ups in training time. We also outperform hand-crafted rules and match the performance of a sound incremental learner that can only operate on noise-free datasets.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068416000260