Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video

06/22/2011
by   A. Fern, et al.
0

We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions from video sequences. First, we introduce a simple, propositional, temporal, event-description language called AMA that is sufficiently expressive to represent many events yet sufficiently restrictive to support learning. We then give algorithms, along with lower and upper complexity bounds, for the subsumption and generalization problems for AMA formulas. We present a positive-examples--only specific-to-general learning method based on these algorithms. We also present a polynomial-time--computable "syntactic" subsumption test that implies semantic subsumption without being equivalent to it. A generalization algorithm based on syntactic subsumption can be used in place of semantic generalization to improve the asymptotic complexity of the resulting learning algorithm. Finally, we apply this algorithm to the task of learning relational event definitions from video and show that it yields definitions that are competitive with hand-coded ones.

READ FULL TEXT
research
05/05/2017

Distributed Online Learning of Event Definitions

Logic-based event recognition systems infer occurrences of events in tim...
research
06/07/1999

Predicate Logic with Definitions

Predicate Logic with Definitions (PLD or D-logic) is a modification of f...
research
07/30/2016

Online Learning of Event Definitions

Systems for symbolic event recognition infer occurrences of events in ti...
research
02/24/2014

Incremental Learning of Event Definitions with Inductive Logic Programming

Event recognition systems rely on properly engineered knowledge bases of...
research
06/11/2018

Learning Linear Temporal Properties

We present two novel algorithms for learning formulas in Linear Temporal...
research
10/26/2020

A Polynomial Approach to the Constructive Induction of Structural Knowledge

The representation formalism as well as the representation language is o...
research
09/18/2023

Security Properties through the Lens of Modal Logic

We introduce a framework for reasoning about the security of computer sy...

Please sign up or login with your details

Forgot password? Click here to reset