• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1995

Résumé en langue originale

L'accroissement des performances nécessaires au développement des applications en intelligence artificielle utilisant la programmation logique, notamment PROLOG, nécessite une accélération des temps d'exécution, pouvant être obtenue en séquentiel et en parallèle. Un des éléments caractéristiques du modèle d'exécution classique de PROLOG est le retour arrière. Dans les programmes non déterministes, à cause des échecs et des sorties de solutions, le retour arrière peut conduire à la répétition de certaines unifications. Des modèles ont déjà été proposés pour minimiser ou supprimer partiellement le retour arrière. Nous présentons un autre modèle d'exécution sans retour arrière profond, ou pour chaque sous-but de la résolvante, on recherche toutes les solutions possibles avant de traiter le sous-but suivant. Cette stratégie conduit à gérer des instanciations multiples de variables, c'est-à-dire une forme d'environnements multiples. Cette stratégie implique aussi que l'effacement des sous-buts se fasse en prenant en compte les instanciations multiples. On appelle cette stratégie le modèle de multi-résolution. La présence des environnements multiples offre des potentialités de parallélisme de données permettant l'exécution sur des machines parallèles, notamment SPMD. Le modèle a été validé par des simulations qui l'ont montré efficace pour certaines classes de programmes PROLOG aussi bien en séquentiel qu'en parallèle.