Coalgebra learning via duality

Barlocco, Simone and Kupke, Clemens and Rot, Jurriaan (2019) Coalgebra learning via duality. In: 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Cham, Switzerland, pp. 62-79. ISBN 9783030171278

[img]
Preview
 Text (Barlocco-etal-FOSSACS2019-Coalgebra-learning-via-duality)
Barlocco_etal_FOSSACS2019_Coalgebra_learning_via_duality.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo
Download (401kB)| Preview

    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.

    Author(s):Barlocco, Simone, Kupke, Clemens and Rot, Jurriaan
    Item type:Book Section
    ID code:67613
    Keywords:automata learning, coalgebras, Hennessy-Milner logic, abstract learning algorithm, Electronic computers. Computer science, Computer Science(all)
    Subjects:Science > Mathematics > Electronic computers. Computer science
    Department:Faculty of Science > Computer and Information Sciences
    Depositing user: Pure Administrator
    Date deposited:18 Apr 2019 13:15
    Last modified:15 Nov 2019 04:30
    Related URLs:
    URI:https://strathprints.strath.ac.uk/id/eprint/67613
    Export data:
    CORE (COnnecting REpositories)