Les mondes possibles dans les systemes de production : un metalangage pour la gestion d'hypotheses et le raisonnement non monotone

Possible worlds in production systems: an assumption-based framework for nonmonotonic reasoning

• Auteur / Autrice : Marcos Cavalcanti
• Direction : François Fages
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1993
• Etablissement(s) : Paris 11

Résumé

Dans cette these nous montrons comment nous pouvons etendre d'une facon conservatrice les systemes de production de facon a etre capable de realiser un raisonnement revocable multihypothese dans un cadre non monotone. Nous avons alors construit un metalangage capable de controler les inferences dans differents mondes. Des metaregles etendent la syntaxe des regles de production: en partie gauche, les mondes ou les conditions sont verifies peuvent etre filtres et, en partie droite, ces mondes peuvent etre desactives, reactives ou etendus par de nouveaux sous-mondes. Ces primitives de monde constituent un atms reflexif. L'implantation repose sur un calcul d'etiquettes integre a l'algorithme rete de filtrage et la reunion de mondes, qui pourrait etre facilement implantee, ne fait volontairement pas partie du langage. En fait, le processus de creation de mondes dans pw-xrete est explicite et totalement controle par l'utilisateur. Dans ce travail nous presentons aussi une formalisation mathematique de la semantique operationnelle de pw-xrete. La semantique logique est une semantique de mondes possibles ou chaque monde correspond a un modele stable de la logique du premier ordre