TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

Chapitre 5. | Recherche du meilleur nud a tester |
5.2.1 La representation de l'imprecis et de l'incertain
Dans le cadre de la logique classique, une proposition est soit vraie, soit fausse, soit
indeterminee par rapport a une theorie donnee. Or, dans son raisonnement, l'^etre
humain s'appuie souvent sur des connaissances confuses et des donnees imprecises, incertaines,
voire inexactes. Neanmoins, son raisonnement peut ^etre coherent et aboutir
a des resultats corrects.
Les systemes electroniques actuels, par leur taille et complexite sont generateurs de
grandes quantites d'informations. La necessite de trouver un moyen pour les traiter
en englobant des propositions de plus en plus generales, et de recueillir des donnees
qui sont loin d'^etre precises et denitives, est devenue pressante. En l'absence de
nouvelles theories, la logique oue semble ^etre la solution adequate.
La logique oue a donc ete etablie dans le but de traiter l'imprecis et l'incertain.
Mais avant d'aller plus loin dans le developpement de cette theorie, il faudrait deja
pouvoir faire la dissociation de ces deux qualicatifs. Incertain s'applique a des
elements de connaissance dont lavaleur de verite n'est pas connue de maniere exacte.
Elle est connue avec plus ou moins d'incertitude : \Il sera probablement elu"
donne une information incertaine concernant l'election de l'individu vise. Quant a
imprecis, cela s'applique plut^ot a des elements de connaissances dont lavaleur de
verite est elle m^eme imprecise : \De Paris a Grenoble, il y a 600 Km environ". En
denitive, la dierence entre ces deux qualicatifs peut se resumer ainsi : Pour un
element d'information, l'imprecis concerne la valeur tandis que l'incertain est relatif
a saverite.
5.2.2 Limitations de la logique classique
Dierentes approches ont ete developpees pour prendre en compte ces notions.
L'approche probabiliste (et le raisonnementBayesien) a ete parmi l'une des premieres
solutions adoptees. Mais le modele probabiliste repose sur la saisie d'informations
dispersees mais precises [DuP87]. Par consequent, des que la precision fait defaut,
{82 {