Une approche de synthèse pour la programmation logique et ses extensions
En utilisant des techniques issues de la démonstration automatique, nous proposons dans cette thèse un mécanisme d'exécution des programmes logiques adapté aux contraintes et à la programmation logique équationnelle. Cette méthode, qui utilise des techniques de simplification, peut être considé...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Thèse et Mémoire papier |
| Jezik: | Français |
| Izdano: |
1996.
|
| Teme: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A synthesis approach for logic programming and its extensions |
| LEADER | 02900nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | 188342 | ||
| 008 | 990313s1996 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN04367125X | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.A.07 | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Saubion, Frédéric, |d 1969- | |
| 240 | 1 | 0 | |a A synthesis approach for logic programming and its extensions |
| 245 | 1 | 0 | |a Une approche de synthèse pour la programmation logique et ses extensions |c Fréderic Saubion ; sous la direction de Siva Anantharaman. |
| 260 | |c 1996. | ||
| 300 | |a 1 vol. (132 p.). | ||
| 502 | |a Thèse de doctorat. Sciences appliquées. Orléans. 1996 | ||
| 504 | |a Notes bibliogr. (102 réf.). | ||
| 520 | |a En utilisant des techniques issues de la démonstration automatique, nous proposons dans cette thèse un mécanisme d'exécution des programmes logiques adapté aux contraintes et à la programmation logique équationnelle. Cette méthode, qui utilise des techniques de simplification, peut être considérée comme un moyen de combiner des stratégies ascendantes et descendantes. Cette approche possède de plus deux atouts majeurs par rapport aux mécanismes usuels: d'une part, nous obtenons une propriété de synthèse de l'ensemble des réponses pour de nombreuses quêtes, d'autre part, l'usage de la règle de simplification permet de réduire l'espace de recherche et donc, dans certains cas, d'éviter des boucles. On peut distinguer trois étapes dans notre travail: programmes logiques avec contraintes: tout d'abord, nous proposons une extension minimale prenant en compte des contraintes non symboliques et permettant de conserver les propriétés de terminaison et de synthèse énoncées plus haut. Traitement de la négation: l'adjonction au système précèdent de certaines règles permet de traiter la négation dans les programmes logiques contraints. Ceci est à rapprocher des travaux sur la négation constructive. Programmes logiques équationnels : notre méthode s'adapte également aux programmes logiques comportant une théorie équationnelle, sans négation, définie par l'utilisateur. Dans un certain nombre de cas, notre approche permet de réduire le nombre de pas d'inférences ascendantes. | ||
| 650 | |a Programmation logique | ||
| 650 | |a Équations, Théorie des | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Anantharaman, Siva. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 126374961 |t Une approche de synthese pour la programmation logique et ses extensions |f Frederic Saubion |c Lille |n Atelier national de reproduction des thèses |d 1996 |p 1 microfiche |
| 997 | |0 188342 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1996-50 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1996-50b | ||
| 999 | |5 452342104:047545577 |a ORLEANS | ||