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...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Thèse et Mémoire papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
[S.l.] :
[s.n.]
1991.
|
| Konular: | |
| Not: |
1991ORLE2012 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | DECLARATIVE APPROACH OF ERROR DIAGNOSIS FOR LOGIC PROGRAMMING WITH NEGATION |
| Özet: | 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 |
|---|---|
| Diğer Bilgileri: | 1991ORLE2012 |
| Bibliyografya: | 58 REF |