Abstract FR:

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.