Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

04/30/2021
by   Jean-Raphaël Gaglione, et al.
0

We address the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples. Most of the existing approaches for solving such a task rely on predefined templates for guiding the structure of the inferred formula. The approaches that can infer arbitrary LTL formulas, on the other hand, are not robust to noise in the data. To alleviate such limitations, we devise two algorithms for inferring concise LTL formulas even in the presence of noise. Our first algorithm infers minimal LTL formulas by reducing the inference problem to a problem in maximum satisfiability and then using off-the-shelf MaxSAT solvers to find a solution. To the best of our knowledge, we are the first to incorporate the usage of MaxSAT solvers for inferring formulas in LTL. Our second learning algorithm relies on the first algorithm to derive a decision tree over LTL formulas based on a decision tree learning algorithm. We have implemented both our algorithms and verified that our algorithms are efficient in extracting concise LTL descriptions even in the presence of noise.

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...
05/24/2021

Uncertainty-Aware Signal Temporal Logic Inference

Temporal logic inference is the process of extracting formal description...
06/11/2018

Learning Linear Temporal Properties

We present two novel algorithms for learning formulas in Linear Temporal...
04/12/2019

Learning Optimal Decision Trees from Large Datasets

Inferring a decision tree from a given dataset is one of the classic pro...
09/24/2019

Learning definable hypotheses on trees

We study the problem of learning properties of nodes in tree structures....
06/06/2020

Temporal-Logic Query Checking over Finite Data Streams

This paper describes a technique for inferring temporal-logic properties...
06/02/2021

Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving

With the recent advancements in deep learning, neural solvers have gaine...
This week in AI

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