A Probabilistic Logic Programming Event Calculus
We present a system for recognising human activity given a symbolic representation of video content. The input of our system is a set of time-stamped short-term activities (STA) detected on video frames. The output is a set of recognised long-term activities (LTA), which are pre-defined temporal combinations of STA. The constraints on the STA that, if satisfied, lead to the recognition of a LTA, have been expressed using a dialect of the Event Calculus. In order to handle the uncertainty that naturally occurs in human activity recognition, we adapted this dialect to a state-of-the-art probabilistic logic programming framework. We present a detailed evaluation and comparison of the crisp and probabilistic approaches through experimentation on a benchmark dataset of human surveillance videos.
Code (2)
Tasks
Activity RecognitionHuman Activity RecognitionSimilar Papers 제목 키워드 기반
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. Logic-based approaches are of special interest in CER, since, via Statistical Relational A…
Activity RecognitionManagementAn 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 data and classifiers with a logic-based decision-making system in the context of an e-Health system for the rehabilitation of children with neuromot…
Decision MakingEmotion RecognitionHead Pose EstimationPose EstimationProbabilistic Event Calculus for Event Recognition
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 si…
Activity RecognitionReformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus,…
TranslationAn Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains
Action languages have emerged as an important field of Knowledge Representation for reasoning about change and causality in dynamic domains. This article presents Cerbere, a production system designed to perform online c…
Activity RecognitionEpistemic Reasoning