Probabilistic Event Calculus based on Markov Logic Networks.
Anastasios Skarlatidis, George Paliouras, George Vouros and Alexander Artikis
In: 5th International RuleML Symposium on Rules, 03 - 05 Nov 2011, Miami, Florida, USA.
In this paper, we address the issue of uncertainty in 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 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 demonstrate the advantages of the probabilistic Event Calculus through examples and experiments in the domain of activity recognition, using a publicly available dataset of video surveillance.