Une logique modale pour le raisonnement dans l'incertain

par WILMER PERERA GONZALEZ

Thèse de doctorat en Sciences appliquées

Sous la direction de Philippe Besnard.

Soutenue en 1992

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Ce travail de recherche porte sur la conception d'un traitement de nature symbolique pour l'incertitude et l'incompletude. A cet effet, le formalisme modal concu, appele logique des suppositions graduee, permet, d'une part, de s'attaquer au probleme de l'incompletude par des raisonnements dependants de regles sujettes a caution et, d'autre part, de traiter l'incertitude par un systeme deductif, sans avoir recours a des quantites numeriques. En particulier, le traitement symbolique de l'incertitude nous a ete inspire par la logique des defauts gradues tandis que les considerations d'incompletude proviennent de la logique des hypotheses. L'originalite de cette approche provient du caractere purement logique de notre demarche. La plupart des approches numeriques classent les degres de certitude des premisses et des conclusions selon un ordre total sur les nombres reels. Cela a l'inconvenient de proposer un classement pour les connaissances qui ne permet pas de representer les degres de certitude incomparables. Ainsi, pour ordonner autrement, en ne faisant reference ni a des quantites numeriques ni a des ordres totaux, on dispose les degres de certitude des premisses selon un ordre partiel. Quant aux conclusions, leurs degres de certitude sont obtenus dans un semi-treillis inferieur induit par cet ordre partiel. En fait, il s'agit de mettre en relation les formules sans leur imputer une valeur precise et les classer au sein de structures plus souples qu'un ordre total


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 106 P.
  • Annexes : 78 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.