Abstract FR:

Cette thèse, effectuée à la demande de la SNCF, apporte une contribution à la résolution du problème des grilles de service des agents roulants. Elle a donné lieu à AFGAR. Le problème posé est un problème complexe, combinatoire, pour lequel il n'existe pas d'algorithme efficace. Concrètement il s'agit, partant d'un ensemble de journées de travail, de trouver si possible la meilleure succession de journées de travail et de repos périodiques qui respectent les contraintes temporelles, règlementaires et humaines. Le principe méthodologique de la démarche de modélisation a été de faire une séparation nette entre un modèle du processus avec sa logique de fonctionnement et un modèle de la stratégie de résolution (du problème) avec sa logique de raisonnement. Ayant à représenter deux types de connaissances (structurelles et fonctionnelles d'une part, expertes et déductives d'autre part), le choix d'un formalisme hybride (objets et règles) s'imposait. Nous avons donc opté pour le générateur (hybride : règles et objets) de systèmes experts SMECI. La partie raisonnement est basée sur le modèle systémique Opérand, Information et Décision (OID). La partie fonctionnement est basée sur une méthodologie objet qui permet de structurer tant les classes que les instances. En synthèse, nous proposons une ébauche de méthodologie de développement des systèmes à base de connaissances