APPROCHE DECLARATIVE DU DIAGNOSTIC D'ERREUR POUR LA PROGRAMMATION LOGIQUE AVEC NEGATION
MOTIVES PAR LES PROBLEMES DE MISE AU POINT DES PROGRAMMES LOGIQUES AVEC NEGATION, NOUS DEFINISSONS UN CADRE FORMEL POUR COMPARER DES PROPRIETES DECLARATIVES D'UN PROGRAMME AVEC DES PROPRIETES ATTENDUES QUI REFLETENT L'INTENTION DU PROGRAMMEUR. NOTRE BUT EST DE RETROUVER, AVEC NEGATION, LE...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Daljnji autori: | |
| Format: | Thèse et Mémoire papier |
| Jezik: | Français |
| Izdano: |
[S.l.] :
[s.n.]
1991.
|
| Teme: | |
| Bilješka: |
1991ORLE2012 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | DECLARATIVE APPROACH OF ERROR DIAGNOSIS FOR LOGIC PROGRAMMING WITH NEGATION |
| LEADER | 02623nam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 196861 | ||
| 008 | 990313s1991 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN044187947 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 001.D.02.B | ||
| 084 | |a 620 | ||
| 100 | 1 | |a Bergère, Michel, |d 19..- . | |
| 240 | 1 | 0 | |a DECLARATIVE APPROACH OF ERROR DIAGNOSIS FOR LOGIC PROGRAMMING WITH NEGATION |
| 245 | 1 | 0 | |a APPROCHE DECLARATIVE DU DIAGNOSTIC D'ERREUR POUR LA PROGRAMMATION LOGIQUE AVEC NEGATION |c MICHEL BERGERE ; SOUS LA DIRECTION DE GERARD FERRAND. |
| 260 | |a [S.l.] : |b [s.n.], |c 1991. | ||
| 500 | |a 1991ORLE2012 | ||
| 502 | |a Thèse Doctorat. Sciences appliquées. Orléans. 1991 | ||
| 504 | |a 58 REF | ||
| 520 | |a MOTIVES PAR LES PROBLEMES DE MISE AU POINT DES PROGRAMMES LOGIQUES AVEC NEGATION, NOUS DEFINISSONS UN CADRE FORMEL POUR COMPARER DES PROPRIETES DECLARATIVES D'UN PROGRAMME AVEC DES PROPRIETES ATTENDUES QUI REFLETENT L'INTENTION DU PROGRAMMEUR. NOTRE BUT EST DE RETROUVER, AVEC NEGATION, LE FORMALISME A BASE DE POINT FIXE (E. SHAPIRO, G. FERRAND) QUI PERMET DEJA, SANS NEGATION, DE REPRESENTER SIMPLEMENT ET CLAIREMENT LES NOTIONS D'ERREUR ET DE SYMPTOME ET D'ETUDIER LEURS RELATIONS DANS DES ARBRES DE PREUVE. CONTRAIREMENT A LLOYD LES NOTIONS ET RESULTATS NE DEPENDENT PAS DE LA SEMANTIQUE LOGIQUE DEFINIE PAR LA COMPLETION. MAIS ILS S'APPLIQUENT EN PARTICULIER A CE QUI EST CALCULE PAR LA SLDNF RESOLUTION. CE TRAVAIL COMMENCE PAR LA FORMALISATION DE LA SEMANTIQUE DECLARATIVE D'UN PROGRAMME ET L'ETUDE DES NOTIONS DE SYMPTOME ET D'ERREUR. L'ACCENT EST MIS SUR LES DEFINITIONS INDUCTIVES ET NON PAS SUR LA LOGIQUE, MAIS NOTRE SEMANTIQUE A DE BONNES PROPRIETES DANS UNE LOGIQUE PARTIELLE OU TRIVALUEE DU STYLE FITTING. CES NOTIONS SONT ENSUITE APPLIQUEES AU DIAGNOSTIC D'ERREUR. DES PROGRAMMES DECLARATIFS DE RECHERCHE D'UNE ERREUR A PARTIR D'UN SYMPTOME SONT PROUVES CORRECTS ET COMPLETS. UN SYSTEME EXPERIMENTAL IMPLANTE EN PROLOG EST PRESENTE | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Ferrand, Gérard, |d 19..-...., |c professeur d'informatique. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 787 | 0 | 8 | |i Reproduced as: |0 246381124 |t APPROCHE DECLARATIVE DU DIAGNOSTIC D'ERREUR POUR LA PROGRAMMATION LOGIQUE AVEC NEGATION |f MICHEL BERGERE |c Grenoble |n Atelier national de reproduction des thèses |d 1991 |p Microfiches |s [Grenoble thèses] |
| 997 | |0 196861 |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-1991-12 |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1991-12 b | ||
| 999 | |5 452342104:056644892 |a ORLEANS | ||