A probabilistic logic programming event calculus

DOI10.1017/S1471068413000690MaRDI QIDQ4592979zbMATH OpenOpenAlexFDO

Authors Anastasios Skarlatidis, Alexander Artikis, Jason Filippou, Georgios Paliouras

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.1851

zbMATH Keywords

event recognitionevent calculusevent pattern matchingproblog

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

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.

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

• scientific article; zbMATH DE number 1753144 (Why is no real title available?)
• A logic-based calculus of events
• Bilattices and Modal Operators
• Graph-Based Algorithms for Boolean Function Manipulation
• Hierarchical conditional random fields for GPS-based activity recognition
• Location-based reasoning about complex multi-agent behavior
• Maintaining knowledge about temporal intervals
• Markov logic networks
• On the implementation of the probabilistic logic programming language ProbLog
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• The Complexity of Enumeration and Reliability Problems

Cited in

(15)

• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Probabilistic reasoning about epistemic action narratives
• Semirings for probabilistic and neuro-symbolic logic programming
• scientific article; zbMATH DE number 6452641 (Why is no real title available?)
• 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
• Probabilistic event calculus for event recognition
• Relational transformation-based tagging for activity recognition
• Probabilistic (logic) programming concepts
• Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling
• Activity recognition in smart homes: from specification to representation
• Online event recognition over noisy data streams
• Online learning of event definitions
• An event calculus production rule system for reasoning in dynamic and uncertain domains

Describes a project that uses

Uses Software

• ProbLog

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)