Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Tony Ribeiro 1 Maxime Folschette 2 Morgan Magnin 1 Katsumi Inoue 3
1 MéForBio - Méthodes Formelles pour la Bioinformatique
LS2N - Laboratoire des Sciences du Numérique de Nantes
2 BioComputing
CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
3 Inoue Laboratory
NII - National Institute of Informatics
Abstract : Learning from interpretation transition (LFIT) automatically constructs a model of the dynamics of a system from the observation of its state transitions. So far the systems that LFIT handled were mainly restricted to synchronous deterministic dynamics. However, other dynamics exist in the field of logical modeling, in particular the asynchronous semantics which is widely used to model biological systems. In this paper, we propose a modeling of discrete memory-less multi-valued dynamic systems as logic programs in which a rule represents what can occur rather than what will occur. This modeling allows us to represent non-determinism and to propose an extension of LFIT to learn regardless of the update schemes, allowing to capture a large range of semantics. We also propose a second algorithm which is able to learn a whole system dynamics, including its semantics, in the form of a single propositional logic program with constraints. We show through theoretical results the correctness of our approaches. Practical evaluation is performed on benchmarks from biological literature.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02925942
Contributor : Maxime Folschette Connect in order to contact the contributor
Submitted on : Wednesday, October 13, 2021 - 5:42:57 PM
Last modification on : Tuesday, November 2, 2021 - 2:11:44 PM

File

ilp20_mlj_special_issue.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02925942, version 5

Citation

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue. Learning any memory-less discrete semantics for dynamical systems represented by logic programs. 2021. ⟨hal-02925942v5⟩

Share

Metrics

Record views

207

Files downloads

82