Raisonnement approximatif dans les systèmes à base de connaissances coopératifs

par Frédéric Koriche

Thèse de doctorat en Informatique

Sous la direction de Danièle Hérin.

Soutenue en 1998

à Montpellier 2 .


  • Résumé

    Un aspect central de la cooperation dans les systemes a base de connaissances est la capacite a integrer les connaissances, c'est a dire gerer l'information provenant de plusieurs sources. Dans ce contexte, au moins deux problemes se posent : la perspective de l'inconsistance qui apparait lorsque diverses sources sont combinees et la complexite du raisonnement en presence d'un tres grand ensemble de connaissances integrees. L'objectif de cette these est de definir un modele formel pour le traitement de ces problemes. Le modele que nous presentons inclut trois proprietes majeures. Premierement, il est base sur la notion de ressource de calcul definie comme une mesure qualitative qui determine la precision et le cout computationnel de l'approximation. Deuxiemement, il incorpore une methode incrementale pour ameliorer les conclusions approximatives et autoriser leur convergence vers la reponse exacte. Troisiemement, le raisonnement est dual : il est possible de modeliser a la fois des approximations correctes et des approximations completes. Ce modele est developpe dans les cadres de la logique propositionnelle et du calcul des predicats. Son interet est mis en evidence par les specifications formelles d'agents a ressources limitees ainsi que la construction d'algorithmes de raisonnement interruptibles a tout instant.

  • Titre traduit

    Approximate reasoning in cooperating knowledge based systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 122 f
  • Annexes : Bibliogr.: f. 105-122

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
  • Disponible pour le PEB
  • Cote : TS 98.MON-5

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1998-KOR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.