Projects per year
Abstract
Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as tests, based on a dual adjunction between states and logical theories. This allows us to learn, e.g., labelled transition systems, using Hennessy-Milner logic. Our main contribution is an abstract learning algorithm, together with a proof of correctness and termination.
Original language | English |
---|---|
Title of host publication | International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019] |
Editors | Mikołaj Bojańczyk, Alex Simpson |
Place of Publication | Cham, Switzerland |
Publisher | Springer |
Pages | 62-79 |
Number of pages | 18 |
ISBN (Print) | 9783030171261, 9783030171278 |
DOIs | |
Publication status | Published - 5 Apr 2019 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11425 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Keywords
- automata learning
- coalgebras
- Hennessy-Milner logic
- abstract learning algorithm
Fingerprint
Dive into the research topics of 'Coalgebra learning via duality'. Together they form a unique fingerprint.Profiles
Projects
- 1 Finished
-
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
EPSRC (Engineering and Physical Sciences Research Council)
1/02/16 → 31/01/18
Project: Research