Probabilistic event calculus for event recognition
From MaRDI portal
Abstract: 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 significant events are recognised. In a typical event recognition application, however, these systems often have to deal with a significant amount of uncertainty. In this paper, we address the issue of uncertainty in logic-based 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 the 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 study how probabilistic modelling changes the behaviour of the formalism, affecting its key property, the inertia of fluents. Furthermore, we demonstrate the advantages of the probabilistic Event Calculus through examples and experiments in the domain of activity recognition, using a publicly available dataset for video surveillance.
Recommendations
Cites work
- A logic-based calculus of events
- A Survey of First-Order Probabilistic Models
- Circumscription - a form of non-monotonic reasoning
- Computing circumscription revisited: A reduction algorithm
- Exploiting symmetries for scaling loopy belief propagation and relational training
- Flucap: a heuristic search planner for first-order MDPS
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- Hierarchical conditional random fields for GPS-based activity recognition
- scientific article; zbMATH DE number 1114005 (Why is no real title available?)
- scientific article; zbMATH DE number 1753144 (Why is no real title available?)
- scientific article; zbMATH DE number 1926646 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- Location-based reasoning about complex multi-agent behavior
- Logical hidden Markov models
- Maintaining knowledge about temporal intervals
- Markov logic. An interface layer for artificial intelligence. With contributions by Jesse Davis, Tuyen Huynh, Stanley Kok, Lilyana Mihalkova, Raymond J. Mooney, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla, Marc Sumner, and Jue Wang
- NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
- Nonmonotonic causal theories
- On the implementation of the probabilistic logic programming language ProbLog
- On the relation between situation calculus and event calculus
- Reasoning about noisy sensors and effectors in the situation calculus
- Reconciling the event calculus with the situation calculus
- Representations of quasi-Newton matrices and their use in limited memory methods
- Representing and reasoning about the rules of general games with imperfect information
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Temporal representation and reasoning in artificial intelligence: Issues and approaches
- The qualification problem: A solution to the problem of anomalous models
Cited in
(15)- Training for recognition of events on the time axis with minimization of recognition roughness
- Representation and reasoning with multi-point events
- A probabilistic interval-based event calculus for activity recognition
- Probabilistic reasoning about epistemic action narratives
- Parallel online learning of event definitions
- Semi-supervised online structure learning for composite event recognition
- A probabilistic logic programming event calculus
- An event calculus production rule system for reasoning in dynamic and uncertain domains
- Online learning of event definitions
- An extended event reasoning framework for decision support under uncertainty
- Learning effect axioms via probabilistic logic programming
- Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling
- Online event recognition over noisy data streams
- Online learning probabilistic event calculus theories in answer set programming
- Incremental learning of event definitions with inductive logic programming
This page was built for publication: Probabilistic event calculus for event recognition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946767)
