NDLI: Probabilistic Event Calculus for Event Recognition

Please wait, while we are loading the content...

ACM Transactions on Computational Logic (TOCL) : Volume 17

ACM Transactions on Computational Logic (TOCL) : Volume 16

Issue 4, November 2015

Issue 3, July 2015

Issue 2, March 2015

A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy

Probabilistic Event Calculus for Event Recognition

Optimization Modulo Theories with Linear Rational Costs

Normal Higher-Order Termination

Layer Systems for Proving Confluence

Two-Variable Separation Logic and Its Inner Circle

Efficiently Deciding μ-Calculus with Converse over Finite Trees

On the Variable Hierarchy of First-Order Spectra

Higher Homotopies in a Hierarchy of Univalent Universes

Issue 1, March 2015

ACM Transactions on Computational Logic (TOCL) : Volume 15

ACM Transactions on Computational Logic (TOCL) : Volume 14

ACM Transactions on Computational Logic (TOCL) : Volume 13

ACM Transactions on Computational Logic (TOCL) : Volume 12

ACM Transactions on Computational Logic (TOCL) : Volume 11

ACM Transactions on Computational Logic (TOCL) : Volume 10

ACM Transactions on Computational Logic (TOCL) : Volume 9

ACM Transactions on Computational Logic (TOCL) : Volume 8

ACM Transactions on Computational Logic (TOCL) : Volume 7

ACM Transactions on Computational Logic (TOCL) : Volume 6

ACM Transactions on Computational Logic (TOCL) : Volume 5

ACM Transactions on Computational Logic (TOCL) : Volume 4

ACM Transactions on Computational Logic (TOCL) : Volume 3

ACM Transactions on Computational Logic (TOCL) : Volume 2

ACM Transactions on Computational Logic (TOCL) : Volume 1

Probabilistic Event Calculus for Event Recognition

Content Provider	ACM Digital Library
Author	Skarlatidis, Anastasios Paliouras, Georgios Artikis, Alexander Vouros, George A.
Copyright Year	2015
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 article, 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 $\textit{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.
Starting Page	1
Ending Page	37
Page Count	37
File Format	PDF
ISSN	15293785
e-ISSN	1557945X
DOI	10.1145/2699916
Volume Number	16
Issue Number	2
Journal	ACM Transactions on Computational Logic (TOCL)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-02-17
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Events Machine learning Probabilistic inference Uncertainty
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Logic Computational Mathematics Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Probabilistic agent programs

Polymorphic type inference for the named nested relational calculus

Heterogeneous temporal probabilistic agents

Probabilistic logic programming with conditional constraints

On the Complexity of Probabilistic Abstract Argumentation Frameworks

Probabilistic modelling, inference and learning using logical theories

A probabilistic logic programming event calculus

On the proof complexity of deep inference

Learning Effect Axioms via Probabilistic Logic Programming

Probabilistic Event Calculus for Event Recognition

Similar Documents

Probabilistic agent programs

Polymorphic type inference for the named nested relational calculus

Heterogeneous temporal probabilistic agents

Probabilistic logic programming with conditional constraints

On the Complexity of Probabilistic Abstract Argumentation Frameworks

Probabilistic modelling, inference and learning using logical theories

A probabilistic logic programming event calculus

On the proof complexity of deep inference

Learning Effect Axioms via Probabilistic Logic Programming

Probabilistic Event Calculus for Event Recognition