Interpreting Finite Automata for Sequential Data

Automaton models are often seen as interpretable models. Interpretability itself is not well defined: it remains unclear what interpretability means without first explicitly specifying objectives or desired attributes. In this paper, we identify the key properties used to interpret automata and propose a modification of a state-merging approach to learn variants of finite state automata. We apply the approach to problems beyond typical grammar inference tasks. Additionally, we cover several use-cases for prediction, classification, and clustering on sequential data in both supervised and unsupervised scenarios to show how the identified key properties are applicable in a wide range of contexts.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/28/2022

Extracting Finite Automata from RNNs Using State Merging

One way to interpret the behavior of a blackbox recurrent neural network...
research
07/25/2020

Multitape automata and finite state transducers with lexicographic weights

Finite state transducers, multitape automata and weighted automata have ...
research
07/28/2017

Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms

We present an interactive version of an evidence-driven state-merging (E...
research
10/06/2020

Interpretable Sequence Classification via Discrete Optimization

Sequence classification is the task of predicting a class label given a ...
research
03/01/2018

Sequentialization and Procedural Complexity in Automata Networks

In this article we consider finite automata networks (ANs) with two kind...
research
04/15/2019

Non-Sequential Theory of Distributed Systems

These lecture notes cover basic automata-theoretic concepts and logical ...

Please sign up or login with your details

Forgot password? Click here to reset