Diagnosis by non rigorous reasoning and hierarchical model : application to robot forestry machines

Agricultural and forestry machines are more and more complex. Embedded and automated diagnosis becomes more and more necessary. Human beings manage the complexity of the diagnosis task by using non rigorous reasoning and abstractions. We propose to simulate this behaviour in a software system. This is made by an abductive phase of hypothesis generation (based on non rigorous reasoning in a hierarchical model ) followed by a deductive validation. An application to complex robot arms is presented. / Les machines agricoles et forestières sont de plus en plus complexes. La présence d'une fonction de diagnostic automatique et intégrée devient de plus en plus indispensable. Les êtres humains gèrent la complexité du diagnostic en utilisant un raisonnement et des abstractions non rigoureux. Nous proposons de simuler ce comportement à l'aide d'un système informatique. Cet objectif est atteint à l'aide d'une phase abductive de génération d'hypothèse (basée sur le raisonnement non rigoureux dans un modèle hiérarchique) suivi par une validation déductive. Une application aux bras complexes du robot est présentée.