Université Lille1 - Sciences et Technologies L'achévement des bases de connaissances en calcul propositionnel et en calcul des prédicats The achievement of knowledge bases in propositional calculus and in predicate calculus 005.1 Calcul des prédicats Calcul propositionnel Concaténation (informatique) Text Electronic Thesis or Dissertation fr 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 application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1997/50376-1997-17.pdf Roussel Olivier 1900-01-01 11899574X 1997LIL10005 1997-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:000 ASCII PDF 9999