Learning Linear Temporal Properties

06/11/2018
by   Daniel Neider, et al.
0

We present two novel algorithms for learning formulas in Linear Temporal Logic (LTL) from examples. The first learning algorithm reduces the learning task to a series of satisfiability problems in propositional Boolean logic and produces a smallest LTL formula (in terms of the number of subformulas) that is consistent with the given data. Our second learning algorithm, on the other hand, combines the SAT-based learning algorithm with classical algorithms for learning decision trees. The result is a learning algorithm that scales to real-world scenarios with hundreds of examples, but can no longer guarantee to produce minimal consistent LTL formulas. We compare both learning algorithms and demonstrate their performance on a wide range of synthetic benchmarks. Additionally, we illustrate their usefulness on the task of debugging a leader election algorithm implementation.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

02/10/2020

Learning Interpretable Models in the Property Specification Language

We address the problem of learning human-interpretable descriptions of a...
04/30/2021

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

We address the problem of inferring descriptions of system behavior usin...
09/24/2019

Learning definable hypotheses on trees

We study the problem of learning properties of nodes in tree structures....
10/29/2019

G2SAT: Learning to Generate SAT Formulas

The Boolean Satisfiability (SAT) problem is the canonical NP-complete pr...
10/13/2021

Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic

Linear temporal logic (LTL) is a specification language for finite seque...
06/22/2011

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

We develop, analyze, and evaluate a novel, supervised, specific-to-gener...
03/13/2013

An Entropy-based Learning Algorithm of Bayesian Conditional Trees

This article offers a modification of Chow and Liu's learning algorithm ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.