1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
| #include <stdio.h>
#include <stdlib.h>
char * main()
{ FILE*fr;
FILE*ff;
int fait;
char res[10];
printf("Entrez le fait à montrer: \n");
scanf("%c ", fait);
/*ouverture du base des règles*/
fr=fopen ("D:\\BR.txt","r");
if (!fr) {printf("\aERREUR: Impossible d'ouvrir le fichier: %s.\n");
exit(-1); }
/*ouverture du base des faits*/
ff=fopen ("D:\\BF.txt","r");
if (!ff)
{printf("\aERREUR: Impossible d'ouvrir le fichier: %s.\n");
exit(-1); }
/*parcourt du base fait*/
while(!feof(ff))
{ if (fait==fgetc(ff))
res="succes"
else
/******** le reste represente la difficulte
reglesNonDéclenchées <--BR;
reglesAConsidérer <--BR;
res <--ECHEC
while reglesACconsidérer <>0 ; et res <> SUCCES do
r <--choisir(reglesAConsidérer);
reglesAConsidérer <--reglesAConsidérer -{r}
if (pour tout) p in premisse(r), p in BF then
BF <--BF union [ fconclusion(r){
reglesNonDéclenchées<-- ReglesNonDéclenchées - {r}
reglesAConsidérer <--reglesNonDéclenchées
if conclusion(r) = fait then
res <--SUCCES
end if
end if
end while
end if
****************/
return res;
}
/*fermeture deux bases*/
fclose(fr);
fclose(ff);
} |
Partager