Neural Network for Weighted Signal Temporal Logic

04/08/2021
by   Ruixuan Yan, et al.
0

In this paper, we propose a neuro-symbolic framework called weighted Signal Temporal Logic Neural Network (wSTL-NN) that combines the characteristics of neural networks and temporal logics. Weighted Signal Temporal Logic (wSTL) formulas are recursively composed of subformulas that are combined using logical and temporal operators. The quantitative semantics of wSTL is defined such that the quantitative satisfaction of subformulas with higher weights has more influence on the quantitative satisfaction of the overall wSTL formula. In the wSTL-NN, each neuron corresponds to a wSTL subformula, and its output corresponds to the quantitative satisfaction of the formula. We use wSTL-NN to represent wSTL formulas as features to classify time series data. STL features are more explainable than those used in classical methods. The wSTL-NN is end-to-end differentiable, which allows learning of wSTL formulas to be done using back-propagation. To reduce the number of weights, we introduce two techniques to sparsify the wSTL-NN.We apply our framework to an occupancy detection time-series dataset to learn a classifier that predicts the occupancy status of an office room.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/16/2021

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks

Extracting spatial-temporal knowledge from data is useful in many applic...
07/24/2019

Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques

Cyber-physical system applications such as autonomous vehicles, wearable...
03/22/2020

Kontrol Edilebilir ptSTL Formulu Sentezi – Synthesis of Controllable ptSTL Formulas

In this work, we develop an approach to anomaly detection and prevention...
12/28/2021

Time-Incremental Learning from Data Using Temporal Logics

Real-time and human-interpretable decision-making in cyber-physical syst...
01/24/2022

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

We introduce a similarity function on formulae of signal temporal logic ...
02/25/2020

Weighted PCL over product valuation monoids

We introduce a weighted propositional configuration logic over a product...
01/14/2021

Analysis of E-commerce Ranking Signals via Signal Temporal Logic

The timed position of documents retrieved by learning to rank models can...
This week in AI

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