Temporal-Logic Query Checking over Finite Data Streams

06/06/2020
by   Samuel Huang, et al.
0

This paper describes a technique for inferring temporal-logic properties for sets of finite data streams. Such data streams arise in many domains, including server logs, program testing, and financial and marketing data; temporal-logic formulas that are satisfied by all data streams in a set can provide insight into the underlying dynamics of the system generating these streams. Our approach makes use of so-called Linear Temporal Logic (LTL) queries, which are LTL formulas containing a missing subformula and interpreted over finite data streams. Solving such a query involves computing a subformula that can be inserted into the query so that the resulting grounded formula is satisfied by all data streams in the set. We describe an automaton-driven approach to solving this query-checking problem and demonstrate a working implementation via a pilot study.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/16/2019

A Tableau Construction for Finite Linear-Time Temporal Logic

This paper describes a method for converting formulas in finite proposit...
research
12/02/2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods

Learning linear temporal logic (LTL) formulas from examples labeled as p...
research
04/28/2022

Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)

This paper studies Linear Temporal Logic over Finite Traces (LTLf) where...
research
07/18/2022

Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions

This report presents an elementary theory of unification for positive co...
research
04/15/2020

First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

We investigate ontology-based data access to temporal data. We consider ...
research
11/30/2018

A Metric for Linear Temporal Logic

We propose a measure and a metric on the sets of infinite traces generat...
research
06/12/2018

Augmenting Stream Constraint Programming with Eventuality Conditions

Stream constraint programming is a recent addition to the family of cons...

Please sign up or login with your details

Forgot password? Click here to reset