HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:35:08 PM
Last modification on : Thursday, February 3, 2022 - 11:14:20 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:16:33 PM


  • 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⟩



Record views


Files downloads