We propose to start the analysis of complex systems by systematically identifying the feedback circuits that govern their dynamics. These circuits can be identified without any ambiguity by examining the Jacobian matrix of the system. They provide precious information regarding the number and nature of steady states. Logical descriptions use variables and functions that can take only a limited number of discrete values (in simple cases, only two, 0 or 1). We developed an asynchronous method with continuous time, generalised by using variables with more than two levels and logical parameters. Reverse logics is a synthetic, inductive method. It aims at proceeding rationally from the experimental facts towards models rather than from models to predictions.

Nous proposons d'aborder l'étude de systèmes complexes par l'identification systématique des circuits de rétroaction (feedback) qui gouvernent leur dynamique. Ces circuits peuvent être identifiés et caractérisés sans ambiguïté par l'examen de la matrice jacobienne du système et fournissent une information précieuse concernant le nombre et la nature des états stationnaires. La description logique des systèmes utilise des variables et fonctions qui ne peuvent prendre qu'un nombre limité de valeurs discrètes (dans les cas simples, deux seulement : 0 ou 1). Nous avons développé une description asynchrone à temps continu, généralisée par l'emploi de variables à plusieurs niveaux, lorsque cela s'avère nécessaire, et de paramètres logiques. La logique inverse est une approche synthétique, inductive. Elle tend à procéder de manière rationnelle des faits expérimentaux vers les modèles, plutôt que des modèles vers les prédictions.