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

par Marcos Cavalcanti

Thèse de doctorat en Sciences appliquées

Sous la direction de François Fages.

Soutenue en 1993

à Paris 11 .

    mots clés mots clés


  • 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

  • Titre traduit

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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 179 P.
  • Annexes : 133 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011253

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1993-CAV
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.