Coalgebra learning via duality

Simone Barlocco, Clemens Kupke, Jurriaan Rot

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

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.
LanguageEnglish
Title of host publicationFoundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings
Subtitle of host publication22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings
EditorsMikołaj Bojańczyk, Alex Simpson
Place of PublicationCham, Switzerland
PublisherSpringer
Pages62-79
Number of pages18
ISBN (Print)9783030171261, 9783030171278
DOIs
Publication statusPublished - 5 Apr 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11425 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Learning algorithms

Keywords

  • automata learning
  • coalgebras
  • Hennessy-Milner logic
  • abstract learning algorithm

Cite this

Barlocco, S., Kupke, C., & Rot, J. (2019). Coalgebra learning via duality. In M. Bojańczyk, & A. Simpson (Eds.), Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings (pp. 62-79). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11425 LNCS). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-030-17127-8_4
Barlocco, Simone ; Kupke, Clemens ; Rot, Jurriaan. / Coalgebra learning via duality. Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. editor / Mikołaj Bojańczyk ; Alex Simpson. Cham, Switzerland : Springer, 2019. pp. 62-79 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{0580636ce7244db98274f2caf564bf4a,
title = "Coalgebra learning via duality",
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.",
keywords = "automata learning, coalgebras, Hennessy-Milner logic, abstract learning algorithm",
author = "Simone Barlocco and Clemens Kupke and Jurriaan Rot",
year = "2019",
month = "4",
day = "5",
doi = "10.1007/978-3-030-17127-8_4",
language = "English",
isbn = "9783030171261",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "62--79",
editor = "Mikołaj Bojańczyk and Alex Simpson",
booktitle = "Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings",

}

Barlocco, S, Kupke, C & Rot, J 2019, Coalgebra learning via duality. in M Bojańczyk & A Simpson (eds), Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11425 LNCS, Springer, Cham, Switzerland, pp. 62-79. https://doi.org/10.1007/978-3-030-17127-8_4

Coalgebra learning via duality. / Barlocco, Simone; Kupke, Clemens; Rot, Jurriaan.

Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. ed. / Mikołaj Bojańczyk; Alex Simpson. Cham, Switzerland : Springer, 2019. p. 62-79 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11425 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

TY - GEN

T1 - Coalgebra learning via duality

AU - Barlocco, Simone

AU - Kupke, Clemens

AU - Rot, Jurriaan

PY - 2019/4/5

Y1 - 2019/4/5

N2 - 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.

AB - 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.

KW - automata learning

KW - coalgebras

KW - Hennessy-Milner logic

KW - abstract learning algorithm

UR - https://link.springer.com/book/10.1007/978-3-030-17127-8

U2 - 10.1007/978-3-030-17127-8_4

DO - 10.1007/978-3-030-17127-8_4

M3 - Conference contribution book

SN - 9783030171261

SN - 9783030171278

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 62

EP - 79

BT - Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings

A2 - Bojańczyk, Mikołaj

A2 - Simpson, Alex

PB - Springer

CY - Cham, Switzerland

ER -

Barlocco S, Kupke C, Rot J. Coalgebra learning via duality. In Bojańczyk M, Simpson A, editors, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. Cham, Switzerland: Springer. 2019. p. 62-79. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-17127-8_4