Learning any semantics for dynamical systems represented by logic programs - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2020

Learning any semantics for dynamical systems represented by logic programs

Résumé

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 handles 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 focus on methods to model and learn the dynamics of the system independently of its update semantics. For this purpose, we propose a modeling of multi-valued 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 from discrete multi-valued transitions, regardless of their update schemes. 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.
Fichier principal
Vignette du fichier
ilp20_mlj_special_issue.pdf (677.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02925942 , version 1 (31-08-2020)
hal-02925942 , version 2 (02-09-2020)
hal-02925942 , version 3 (22-06-2021)
hal-02925942 , version 4 (26-06-2021)
hal-02925942 , version 5 (13-10-2021)

Identifiants

  • HAL Id : hal-02925942 , version 1

Citer

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue. Learning any semantics for dynamical systems represented by logic programs. 2020. ⟨hal-02925942v1⟩
750 Consultations
362 Téléchargements

Partager

More