Abstract FR:

Dans cette these, on etudie un modele de systeme expert evolutif qui repose sur le probleme numerique de choix du meilleur approximant de pade (map). Ce modele a etats doit converger vers une ou des solutions de choix du meilleur approximant, ou vers une non-solution. Une mise en Œuvre de ce modele repose sur des etats comprenant deux zones: une pour le cote algorithmique et une pour les regles logiques le modele est lineaire. Les points fondamentaux sont: 1) le reperage des questions; 2) la construction des etats et leur exploitation dans un graphe; 3) la representation matricielle des bases de connaissances. Nous pouvons dire qu'une logique a ete attribuee a ce modele: logique a deux niveaux. Le premier niveau est l'acheminement de raisonnement entre les etats. Le deuxieme en est la logique du modus ponens dans les etats, sans exclure la possibilite d'introduire d'autres modes de raisonnement. A partir du modele, nous avons mis en Œuvre un generateur de code pour des systemes experts. Pour repondre a la question du map, nous avons mis au point une application d'un systeme d'aide au choix et au calcul du map dans le langage du generateur et une bibliotheque des fonctions de calcul l'accompagnant