Un système réparti pour la résolution des programmes logiques
Type doc. :
Langue :
Auteur(s) :
Année de soutenance:
Afficher le Résumé
La construction dc systemes de deductions automatiques (systemes lnferentiels) s occupe une place importante dans les recherches en Intelligence attiftcielle depuis les mr':'r"c.ef< résultats donnees par la programmation (en) logique (regle de resolution de Robinson) tlent la disponibilite it grande echelle des versions interpretees puis compilees de Prolog. S progres ont ete apportes dans les environnements et les performances des mrrrex dialectes et versions de ce langage, les enormes restrictions inherentes au langage lui mire iémonstration lineaire. acces uniquement au premier litteral de chaque clause) poussent E :'ef:neurs at exploiter les nouvelles possibilites offertes par les technologies relative/ment :elles que les architectures paralleles et les systemes repartis. Des systemes logiques ;m'l;.\eLes qui ont decoule, en plus de leur lourdeur syntaxique. souffrent d'une semantique qui mm 1 :a'ifier sur de nombreux points et abandonnent souvent la semantique declarative memeteas de Parlog). Dans ce travail nous proposons un modele d'architectures physiquennelle de resolution parallele des programmes logiques par une modelisation des ie Perri, ainsi que les resultats des tests effectues sur ce systeme repani.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 004 BAA TH 1 | 004 BAA TH 1 | BIB-Centrale / Thèses | interne | disponible |