The Community for Technology Leaders
Green Image
Issue No. 04 - April (2015 vol. 27)
ISSN: 1041-4347
pp: 895-908
Alexander Artikis , NCSR Demokritos, Athens, Greece
Marek Sergot , Department of Computing, Imperial College London, United Kingdom
Georgios Paliouras , NCSR Demokritos, Athens, Greece
ABSTRACT
Systems for symbolic event recognition accept as input a stream of time-stamped events from sensors and other computational devices, and seek to identify high-level composite events, collections of events that satisfy some pattern. RTEC is an Event Calculus dialect with novel implementation and ‘windowing’ techniques that allow for efficient event recognition, scalable to large data streams. RTEC supports the expression of rather complex events, such as ‘two people are fighting’, using simple primitives. It can operate in the absence of filtering modules, as it is only slightly affected by data that are irrelevant to the events we want to recognise. Furthermore, RTEC can deal with applications where event data arrive with a (variable) delay from, and are revised by, the underlying sources. RTEC can update already recognised events and recognise new events when data arrive with a delay or following data revision. We evaluate RTEC both theoretically, presenting a complexity analysis, and experimentally, using two real-world applications. The evaluation shows that RTEC can support real-time event recognition and is capable of meeting the performance requirements identified in a survey of event processing use cases.
INDEX TERMS
Calculus, Sensors, Delays, Semantics, Surveillance, Legged locomotion, Pattern recognition
CITATION

A. Artikis, M. Sergot and G. Paliouras, "An Event Calculus for Event Recognition," in IEEE Transactions on Knowledge & Data Engineering, vol. 27, no. 4, pp. 895-908, 2015.
doi:10.1109/TKDE.2014.2356476
222 ms
(Ver 3.3 (11022016))