Abstract FR:

Dans ce travail, nous envisageons une approche purement logique du raisonnement hypothetique qui permet d'apporter un eclairage original sur la non monotonie. L'idee directrice en est la gestion des hypotheses sans perte d'informations, qu'elles soient consistantes ou contradictoires. Une logique intuitioniste gere la certitude et une logique paraconsistante prend en compte la gestion des contradictions. Le systeme construit sur ces deux logiques, reposant sur la dualite certitude/contradiction, fait emerger en permanence une connaissance pertinente relativement a l'etat courant de connaissance tout en preservant toutes les informations. Toutefois, l'acceptation de la contradiction peut amener a des situations ambigues, un systeme de probabilites symboliques permet alors de lever en partie ces ambiguites. Son application a les a sont b. , enonce typique du raisonnement hypothetique, permet de representer formellement ses principales significations, d'exploiter ensuite ce type d'assertions, et enfin d'aborder sans difficulte son instanciation.