Logic-based event recognition

Abstract

Today's organisations require techniques for automated transformation of their large data volumes into operational knowledge. This requirement may be addressed by employing event recognition systems that detect events/activities of special significance within an organisation, given streams of 'low-level' information that is very difficult to be utilised by humans. Consider, for example, the recognition of attacks on nodes of a computer network given the TCP/IP messages, the recognition of suspicious trader behaviour given the transactions in a financial market, and the recognition of whale songs given a symbolic representation of whale sounds. Various event recognition systems have been proposed in the literature. Recognition systems with a logic-based representation of event structures, in particular, have been attracting considerable attention, because, among others, they exhibit a formal, declarative semantics, they have proven to be efficient and scalable, and they are supported by machine learning tools automating the construction and refinement of event structures. In this paper we review representative approaches of logic-based event recognition and discuss open research issues of this field. We illustrate the reviewed approaches with the use of a real-world case study: event recognition for city transport management.

Axiomatization of Socio-Economic Principles for Self-Organizing Institutions

“…One limitation of this testbed is that the EC specification has been used indirectly as a formal specification rather than directly as an executable specification. Given the number of events generated in each round, either a more efficient implementation of the Event Calculus is required (e.g., Artikis et al [2012]), or a testbed with an interface to an efficient rule engine, such as Drools 1 should be developed.…”

Multilingual generation of uncertain temporal expressions from data: A study of a possibilistic formalism and its consistency with human subjective evaluations

“…In this case the network is said to be consistent, since none of the events has an empty minimal domain. For more information about temporal reasoning and the aforementioned formalisms the reader is refereed to [33,34].…”

Event recognition for assisted independent living

“…ER systems with a logic-based representation of event structures [3] are attracting significant attention in the event processing community for a number of reasons, including the expressiveness and understandability of the formalized knowledge and their declarative formal semantics [10,1]. The Event Calculus [6] in particular is a prominent logical formalism that has been excessively used for detecting occurrences of composite events from data streams of simple events.…”