Probabilistic event calculus based on Markov logic networks

Authors:
Anastasios Skarlatidis;Georgios Paliouras;George A. Vouros;Alexander Artikis
Affiliations:
Institute of Informatics and Telecommunications, NCSR "Demokritos", Athens, Greece and Department of Information and Communication Systems Engineering, University of the Aegean, Samos, Greece;Institute of Informatics and Telecommunications, NCSR "Demokritos", Athens, Greece;Department of Information and Communication Systems Engineering, University of the Aegean, Samos, Greece;Institute of Informatics and Telecommunications, NCSR "Demokritos", Athens, Greece
Venue:
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Year:
2011

Citing 17
Cited 1

A logic-based calculus of events

New Generation Computing
Solving the frame problem: a mathematical investigation of the common sense law of inertia

Solving the frame problem: a mathematical investigation of the common sense law of inertia
Maintaining knowledge about temporal intervals

Communications of the ACM
Computing Circumscription Revisited: A Reduction Algorithm

Journal of Automated Reasoning
Some Alternative Formulations of the Event Calculus

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Coupled hidden Markov models for complex action recognition

CVPR '97 Proceedings of the 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97)
Learning Temporal Sequence Model from Partially Labeled Data

CVPR '06 Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 2
Event Modeling and Recognition Using Markov Logic Networks

ECCV '08 Proceedings of the 10th European Conference on Computer Vision: Part II
Chronicle recognition improvement using temporal focusing and hierarchization

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Recognizing activities with multiple cues

Proceedings of the 2nd conference on Human motion: understanding, modeling, capture and animation
The event calculus explained

Artificial intelligence today
Logic-based representation, reasoning and machine learning for event recognition

Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Markov Logic: An Interface Layer for Artificial Intelligence

Markov Logic: An Interface Layer for Artificial Intelligence
A logic programming approach to activity recognition

Proceedings of the 2nd ACM international workshop on Events in multimedia
Why did the person cross the road (there)? scene understanding using probabilistic logic models and common sense reasoning

ECCV'10 Proceedings of the 11th European conference on Computer vision: Part II
Recognizing interleaved and concurrent activities: A statistical-relational approach

PERCOM '11 Proceedings of the 2011 IEEE International Conference on Pervasive Computing and Communications
Multi-agent event recognition in structured scenarios

CVPR '11 Proceedings of the 2011 IEEE Conference on Computer Vision and Pattern Recognition

Event processing under uncertainty

Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.