- title: 'International Conference on Grammatical Inference 2018: Preface'
volume: 93
URL: http://proceedings.mlr.press/v93/unold19a.html
PDF: http://proceedings.mlr.press/v93/unold19a/unold19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-unold19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 1-2
id: unold19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 1
lastpage: 2
published: 2019-02-04 00:00:00 +0000
- title: 'Decision problems for Clark-congruential languages'
abstract: 'A common question when studying a class of context-free grammars (CFGs) is whether equivalence is decidable within this class. We answer this question positively for the class of *Clark-congruential grammars*, which are of interest to grammatical inference. We also consider the problem of checking whether a given CFG is Clark-congruential, and show that it is decidable given that the CFG is a deterministic CFG.'
volume: 93
URL: http://proceedings.mlr.press/v93/kanazawa19a.html
PDF: http://proceedings.mlr.press/v93/kanazawa19a/kanazawa19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-kanazawa19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Kanazawa
given: Makoto
- family: Kappé
given: Tobias
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 3-16
id: kanazawa19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 3
lastpage: 16
published: 2019-02-04 00:00:00 +0000
- title: 'Inferring DFA without Negative Examples'
abstract: 'The inference of a Deterministic Finite Automaton (DFA) without negative examples is one of the most natural inference problems. On the other hand, it is well known that DFA cannot be identified in the limit from positive examples only. We propose two modifications of this problem to make it solvable, i.e., identifiable in the limit, while remaining rather close to the original problem. First, we propose to use the inclusion of languages to reason about complexity and infer the simplest solution. Second, we set the maximum number of states for the inferred DFA. These changes bring new means to control the solution space. While the language inclusion allows us to choose a simplest solution among possible solutions, the maximum number of states determines the degree of approximation. We propose an efficient inference method based on the incremental use of a SAT solver and demonstrate on a practical example the relevance of our approach.'
volume: 93
URL: http://proceedings.mlr.press/v93/avellaneda19a.html
PDF: http://proceedings.mlr.press/v93/avellaneda19a/avellaneda19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-avellaneda19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Avellaneda
given: Florent
- family: Petrenko
given: Alexandre
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 17-29
id: avellaneda19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 17
lastpage: 29
published: 2019-02-04 00:00:00 +0000
- title: 'Using Adaptive Sequences for Learning Non-Resettable FSMs'
abstract: 'This paper proposes a new method to infer non-resettable Mealy machines based on the notions of adaptive homing and characterizing used in FSM testing. This method does not require any knowledge on the system inferred apart from its input set. It progressively extends an output query, and also avoids almost all equivalence queries. It is fast, and scales to machines that have hundreds of states. It outperforms in most respect previous algorithms, and can even compete with algorithms that assume a reset.'
volume: 93
URL: http://proceedings.mlr.press/v93/groz19a.html
PDF: http://proceedings.mlr.press/v93/groz19a/groz19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-groz19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Groz
given: Roland
- family: Bremond
given: Nicolas
- family: Simao
given: Adenilso
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 30-43
id: groz19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 30
lastpage: 43
published: 2019-02-04 00:00:00 +0000
- title: 'Suffix Classification Trees'
abstract: 'In this paper, a new method for generating acyclic word graph is proposed. The essential characteristics of the method are: the construction of the data structure in linear time with respect to the size of an input and gathering factor frequencies. Moreover, it has been shown through a computational experiment that the proposed approach surpasses—with respect to AUC score—similar grammatical inference algorithms on the sequences from a real biological dataset.'
volume: 93
URL: http://proceedings.mlr.press/v93/wieczorek19a.html
PDF: http://proceedings.mlr.press/v93/wieczorek19a/wieczorek19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-wieczorek19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Wieczorek
given: Wojciech
- family: Unold
given: Olgierd
- family: Strąk
given: Łukasz
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 44-53
id: wieczorek19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 44
lastpage: 53
published: 2019-02-04 00:00:00 +0000
- title: 'Learning Product Automata'
abstract: 'We give an optimisation for active learning algorithms, applicable to learning Moore machines with decomposable outputs. These machines can be decomposed themselves by projecting on each output. This results in smaller components that can then be learnt with fewer queries. We give experimental evidence that this is a useful technique which can reduce the number of queries substantially. Only in some cases the performance is worsened by the slight overhead. Compositional methods are widely used throughout engineering, and the decomposition presented in this article promises to be particularly interesting for learning hardware systems.'
volume: 93
URL: http://proceedings.mlr.press/v93/moerman19a.html
PDF: http://proceedings.mlr.press/v93/moerman19a/moerman19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-moerman19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Moerman
given: Joshua
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 54-66
id: moerman19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 54
lastpage: 66
published: 2019-02-04 00:00:00 +0000
- title: 'Learning reduplication with 2-way finite-state transducers'
abstract: 'Reduplication is a cross-linguistically common and productive word-formation mechanism. However, there are little to no learning results concerning it. This is partly due to the high computational complexity associated with copying, which often goes beyond standard finite-state technology and partly due to the absence of concrete computational models of reduplicative processes. We show here that reduplication can be modeled accurately and succinctly with 2-way finite-state transducers. Based on this finite-state representation, we identify a subclass of 2-way FSTs based on copying and Output Strictly Local functions. These so-called Concatenated Output Strictly Local functions (C-OSL) can model the majority of attested reduplicative processes we have surveyed. We introduce a simple extension to the inference algorithm for OSL functions that trivially leads to a provably correct learning result for C-OSL functions under the assumption that function concatenation is overtly marked.'
volume: 93
URL: http://proceedings.mlr.press/v93/dolatian19a.html
PDF: http://proceedings.mlr.press/v93/dolatian19a/dolatian19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-dolatian19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Dolatian
given: Hossep
- family: Heinz
given: Jeffrey
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 67-80
id: dolatian19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 67
lastpage: 80
published: 2019-02-04 00:00:00 +0000
- title: 'Explaining Black Boxes on Sequential Data using Weighted Automata'
abstract: 'Understanding how a learned black box works is of crucial interest for the future of Machine Learning. In this paper, we pioneer the question of the global interpretability of learned black box models that assign numerical values to symbolic sequential data. To tackle that task, we propose a spectral algorithm for the extraction of weighted automata (WA) from such black boxes. This algorithm does not require the access to a dataset or to the inner representation of the black box: the inferred model can be obtained solely by querying the black box, feeding it with inputs and analyzing its outputs. Experiments using Recurrent Neural Networks (RNN) trained on a wide collection of 48 synthetic datasets and 2 real datasets show that the obtained approximation is of great quality.'
volume: 93
URL: http://proceedings.mlr.press/v93/ayache19a.html
PDF: http://proceedings.mlr.press/v93/ayache19a/ayache19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-ayache19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Ayache
given: Stéphane
- family: Eyraud
given: Rémi
- family: Goudian
given: Noé
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 81-103
id: ayache19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 81
lastpage: 103
published: 2019-02-04 00:00:00 +0000
- title: 'Learning Graph Weighted Models on Pictures'
abstract: 'Graph Weighted Models (GWMs) have recently been proposed as a natural generalization of weighted automata over strings and trees to arbitrary families of labeled graphs (and hypergraphs). A GWM generically associates a labeled graph with a tensor network and computes a value by successive contractions directed by its edges. In this paper, we consider the problem of learning GWMs defined over the graph family of pictures (or 2-dimensional words). As a proof of concept, we consider regression and classification tasks over the simple *Bars & Stripes* and *Shifting Bits* picture languages and provide an experimental study investigating whether these languages can be learned in the form of a GWM from positive and negative examples using gradient-based methods. Our results suggest that this is indeed possible and that investigating the use of gradient-based methods to learn picture series and functions computed by GWMs over other families of graphs could be a fruitful direction.'
volume: 93
URL: http://proceedings.mlr.press/v93/amortila19a.html
PDF: http://proceedings.mlr.press/v93/amortila19a/amortila19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-amortila19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Amortila
given: Philip
- family: Rabusseau
given: Guillaume
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 104-117
id: amortila19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 104
lastpage: 117
published: 2019-02-04 00:00:00 +0000
- title: 'How to measure the topological quality of protein parse trees?'
abstract: 'Human readability and, consequently, interpretability is often considered a key advantage of grammatical descriptors. Beyond the natural language, this is also true in analyzing biological sequences of RNA, typically modeled by grammars of at least context-free level of expressiveness. However, in protein sequence analysis, the explanatory power of grammatical descriptors beyond regular has never been thoroughly assessed. Since the biological meaning of a protein molecule is directly related to its spatial structure, it is justified to expect that the parse tree of a protein sequence reflects the spatial structure of the protein. In this piece of research, we propose and assess quantitative measures for comparing topology of the parse tree of a context-free grammar with topology of the protein structure succinctly represented by a contact map. Our results are potentially interesting beyond its bioinformatic context wherever a reference matrix of dependencies between sequence constituents is available.'
volume: 93
URL: http://proceedings.mlr.press/v93/pyzik19a.html
PDF: http://proceedings.mlr.press/v93/pyzik19a/pyzik19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-pyzik19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Pyzik
given: Mateusz
- family: Coste
given: François
- family: Dyrka
given: Witold
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 118-138
id: pyzik19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 118
lastpage: 138
published: 2019-02-04 00:00:00 +0000
- title: 'Inferring Program Extensions from Traces'
abstract: 'We present an algorithm for learning a non-trivial class of imperative programs. The algorithm accepts positive traces—input stores followed by a sequence of commands—and returns a program that *extends* the target program. That is, it behaves the same as the target program on all valid inputs—inputs for which the target program successfully terminates, and may behave arbitrarily on other inputs. Our algorithm is based on a quotient construction of the control flow graph of the target program. Since not all programs have a quotient in a convenient form, the ability to infer an extension of the target program increases the class of inferred programs. We have implemented our algorithm and applied it successfully to learn a variety of programs that operate over linked data structures and integer arithmetic.'
volume: 93
URL: http://proceedings.mlr.press/v93/manevich19a.html
PDF: http://proceedings.mlr.press/v93/manevich19a/manevich19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-manevich19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Manevich
given: Roman
- family: Shoham
given: Sharon
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 139-154
id: manevich19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 139
lastpage: 154
published: 2019-02-04 00:00:00 +0000
- title: 'Learning local substitutable context-free languages from positive examples in polynomial time and data by reduction'
abstract: 'To study more formally the approach by reduction initiated by ReGLiS, we propose a formal characterization of the grammars in reduced normal form (RNF) which can be learned by this approach. A modification of the core of ReGLiS is then proposed to ensure returning RNF grammars in polynomial time. This enables us to show that local substitutable languages represented by RNF context-free grammars are identifiable in polynomial time and thick data (IPTtD) from positive examples.'
volume: 93
URL: http://proceedings.mlr.press/v93/coste19a.html
PDF: http://proceedings.mlr.press/v93/coste19a/coste19a.pdf
edit: https://github.com/mlresearch/v93/edit/gh-pages/_posts/2019-02-04-coste19a.md
series: 'Proceedings of Machine Learning Research'
container-title: 'Proceedings of The 14th International Conference on Grammatical Inference 2018'
publisher: 'PMLR'
author:
- family: Coste
given: François
- family: Nicolas
given: Jacques
editor:
- family: Unold
given: Olgierd
- family: Dyrka
given: Witold
- family: Wieczorek
given: Wojciech
page: 155-168
id: coste19a
issued:
date-parts:
- 2019
- 2
- 4
firstpage: 155
lastpage: 168
published: 2019-02-04 00:00:00 +0000