• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1997

Résumé en langue originale

LE CHAINAGE AVANT EST UN ALGORITHME D'INFERENCE TRES NATUREL ET TRES EFFICACE QUI VISE A DEDUIRE TOUS LES FAITS CONSEQUENCE DE LA CONNAISSANCE. CEPENDANT, IL N'EST PAS COMPLET DANS LE CADRE DE LA LOGIQUE BOOLEENNE CLASSIQUE. L'ACHEVEMENT RESOUD CE PROBLEME EN AJOUTANT LORS D'UNE PHASE DE COMPILATION CERTAINES DES CONSEQUENCES DE LA CONNAISSANCE. NOTRE TRAVAIL ETEND LES PRECEDENTS RESULTATS CONCERNANT CETTE COMPILATION LOGIQUE. EN CALCUL PROPOSITIONNEL, NOUS PRESENTONS UN ALGORITHME QUI SEGMENTE LA CONNAISSANCE POUR ACHEVER INDEPENDAMMENT CHACUNE DES PARTIES OBTENUES. CET ACHEVEMENT PAR PARTIES ACCELERE CONSIDERABLEMENT LES TEMPS DE COMPILATION. NOUS OBTENONS ENSUITE UNE CONDITION NECESSAIRE ET SUFFISANTE D'ACHEVEMENT DONT DECOULE UNE NOUVELLE METHODE: L'ACHEVEMENT PAR CYCLES. IL S'AGIT D'UN RAFFINEMENT DE L'ACHEVEMENT PAR PARTIES QUI IDENTIFIE PRECISEMENT QUELLES SONT LES CONSEQUENCES A AJOUTER. NOUS MONTRONS ENFIN QUE L'ACHEVEMENT EST UNE VERITABLE COMPILATION PUISQU'ELLE PERMET D'EFFECTUER PLUS RAPIDEMENT LES INFERENCES. L'ACHEVEMENT EST ENSUITE ETENDU AU CALCUL DES PREDICATS. NOUS MONTRONS QUE LES NOTIONS DU CALCUL PROPOSITIONNEL NE PERMETTENT PAS DE TOUJOURS OBTENIR UNE BASE ACHEVEE FINIE, AUSSI BIEN POUR LES BASES AVEC SYMBOLES DE FONCTIONS QUE SANS. CE PROBLEME EST EVITE EN AUGMENTANT LE VOCABULAIRE DE LA BASE ACHEVEE ET EN UTILISANT UNE NOTION D'EQUIVALENCE PLUS FAIBLE. L'ACHEVEMENT PAR META-INTERPRETE DEMONTRE ALORS LA POSSIBILITE D'UN ACHEVEMENT TOTAL. NOUS PRESENTONS EGALEMENT UNE METHODE QUI EVITE L'EXTENSION DU VOCABULAIRE MAIS NE GARANTIT QU'UN ACHEVEMENT PARTIEL. ENFIN, NOUS ETENDONS L'ACHEVEMENT PAR CYCLES AU PREMIER ORDRE POUR OBTENIR UN ACHEVEMENT TOTAL EXPLIQUANT CLAIREMENT LES PROBLEMES DE FINITUDE RENCONTRES