Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion

par Maria Blanca Ibáñez

Thèse de doctorat en Informatique

Sous la direction de Philippe Jorrand.

Soutenue en 1990

à Grenoble, INPG .


  • Pas de résumé disponible.

  • Titre traduit

    Parallel inference and communicating processes for the Horn clauses


  • Résumé

    Dans cette thèse, nous avons décrit une machine a inférence parallèle pour les clauses de Horn qui exploite le parallélisme ou et qui utilise comme mécanisme d'inférence la resolution. Le modèle décrit pour les clauses de Horn part d'un réseau de processus qui représente la structure syntaxique du programme logique. Le fait d'avoir fp2 comme langage pour la spécification des machines nous a permis d'utiliser le mécanisme de communication du langage pour réaliser l'opération de base dans l'inférence: l'unification. L'espace de recherche de la preuve d'une formule des clauses de Horn contient uniquement les axiomes de la preuve plus la résolvante courante. Pour prouver une formule du premier ordre, cet espace est insuffisant. Nous avons présente également une methode correcte, fondée sur la methode de connexion pour calculer les ensembles des pairs de litteraux a résoudre dans une formule de premier ordre. Cela représente le pas le plus difficile a franchir pour la spécification d'une machine a inférence parallèle pour la logique du premier ordre

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (252 f.)
  • Annexes : Bibliogr. p. 247-252

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 90/INPG/0035
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1990-IBA
  • Bibliothèque : Université Paris-Est Marne-la-Vallée. Bibliothèque.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 1990 IBA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.