Learning Transition Rules from Temporal Logic Properties

Abstract : Most of the work on temporal representation issues in Machine Learning deals with the problem of learning/mining temporal patterns from a large set of temporal data. In this paper we investigate the somewhat different problem of learning the behavioral rules of a system from its observed temporal properties formalized in temporal logic. Our interest in this problem arose from Systems Biology and the development of machine learning techniques for learning biochemical reaction rules and kinetic parameters in the Biochemical Abstract Machine BIOCHAM. Our contribution is twofold. First, in the general setting of Kripke structures and concurrent transition systems, we define positive and negative CTL formulae and propose a theory revision algorithm for learning transition rules from a CTL specification. Second, in the setting of hybrid systems which add a continuous dynamics described by differential equations, we show how a similar algorithm can be built to learn parameter values from a constraint LTL specification. In the context of BIOCHAM, which is used as a running example in this paper, we report evaluation results showing the usefulness of this approach and encouraging performance figures.
Type de document :
[Research Report] RR-5543, INRIA. 2005, pp.19
Liste complète des métadonnées

Contributeur : Rapport de Recherche Inria <>
Soumis le : vendredi 19 mai 2006 - 20:35:08
Dernière modification le : samedi 17 septembre 2016 - 01:35:59
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:16:33



  • HAL Id : inria-00070464, version 1



Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman, Laurence Calzone. Learning Transition Rules from Temporal Logic Properties. [Research Report] RR-5543, INRIA. 2005, pp.19. <inria-00070464>



Consultations de
la notice


Téléchargements du document