A probabilistic logic programming event calculus
From MaRDI portal
Publication:4592979
DOI10.1017/S1471068413000690zbMATH Open1379.68305arXiv1204.1851OpenAlexW2110478464MaRDI QIDQ4592979FDOQ4592979
Alexander Artikis, Anastasios Skarlatidis, Jason Filippou, Georgios Paliouras
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Abstract: 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.
Full work available at URL: https://arxiv.org/abs/1204.1851
Recommendations
- Probabilistic event calculus for event recognition
- A probabilistic interval-based event calculus for activity recognition
- Online learning of event definitions
- Incremental learning of event definitions with inductive logic programming
- An event calculus production rule system for reasoning in dynamic and uncertain domains
Cites Work
- Maintaining knowledge about temporal intervals
- Graph-Based Algorithms for Boolean Function Manipulation
- The Complexity of Enumeration and Reliability Problems
- A logic-based calculus of events
- Markov logic networks
- Bilattices and Modal Operators
- Location-based reasoning about complex multi-agent behavior
- On the implementation of the probabilistic logic programming language ProbLog
- Title not available (Why is that?)
- Hierarchical Conditional Random Fields for GPS-Based Activity Recognition
- ProbLog Technology for Inference in a Probabilistic First Order Logic
Cited In (12)
- Probabilistic reasoning about epistemic action narratives
- Semirings for probabilistic and neuro-symbolic logic programming
- Title not available (Why is that?)
- Learning Effect Axioms via Probabilistic Logic Programming
- A probabilistic interval-based event calculus for activity recognition
- Revising event calculus theories to recover from unexpected observations
- Relational transformation-based tagging for activity recognition
- Probabilistic (logic) programming concepts
- Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling
- Online event recognition over noisy data streams
- An event calculus production rule system for reasoning in dynamic and uncertain domains
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Uses Software
This page was built for publication: A probabilistic logic programming event calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4592979)
