Un générateur de moteurs d'inférence pour le développement de système experts basé sur la logique des prédicats du premier ordre
Type doc. :
Langue :
Auteur(s) :
Année de soutenance:
Afficher le Résumé
A travers une étude comparative des principaies versions iiiuusuienes de Prolog, nous faisons ressortir les principaux problemes d'imp1émentation, les limitations intrinseques imposées au langage et proposons des outils pour sumionter ces restrictions. Cet enrichissement se réalise par la construction de méta-interpréteurs dédiés à des fonctionnalités précises. Une jointure entre ces méta-interpréteurs est utilisée pour donner un méta-interpréteur cible qui permet une analyse préventive des causes susceptibles de provoquer un échec lors de la résolution du problême. La conjonction des résultats de la simulation et des métaconnaissances de contr?le données par le concepteur de la base d`expertise, permettent de générer un environnement de systeme-expert avec une stratégie et des outils qui répondent le mieux aux spéciications données
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 SEL TH C1 | BIB-Centrale / Thèses | interne | disponible |