Probabilistic Event Calculus for Event Recognition

07/13/2012
by   Anastasios Skarlatidis, et al.
0

Symbolic event recognition systems have been successfully applied to a variety of application domains, extracting useful information in the form of events, allowing experts or other systems to monitor and respond when significant events are recognised. In a typical event recognition application, however, these systems often have to deal with a significant amount of uncertainty. In this paper, we address the issue of uncertainty in logic-based event recognition by extending the Event Calculus with probabilistic reasoning. Markov Logic Networks are a natural candidate for our logic-based formalism. However, the temporal semantics of the Event Calculus introduce a number of challenges for the proposed model. We show how and under what assumptions we can overcome these problems. Additionally, we study how probabilistic modelling changes the behaviour of the formalism, affecting its key property, the inertia of fluents. Furthermore, we demonstrate the advantages of the probabilistic Event Calculus through examples and experiments in the domain of activity recognition, using a publicly available dataset for video surveillance.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/09/2012

A Probabilistic Logic Programming Event Calculus

We present a system for recognising human activity given a symbolic repr...
research
05/05/2017

Distributed Online Learning of Event Definitions

Logic-based event recognition systems infer occurrences of events in tim...
research
12/14/2015

An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains

Action languages have emerged as an important field of Knowledge Represe...
research
09/26/2022

An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems

We present and discuss a runtime architecture that integrates sensorial ...
research
02/24/2014

Incremental Learning of Event Definitions with Inductive Logic Programming

Event recognition systems rely on properly engineered knowledge bases of...
research
07/21/2010

Video Event Recognition for Surveillance Applications (VERSA)

VERSA provides a general-purpose framework for defining and recognizing ...
research
05/18/2018

A syllogistic system for propositions with intermediate quantifiers

This paper describes a formalism that subsumes Peterson's intermediate q...

Please sign up or login with your details

Forgot password? Click here to reset