@MasterThesis{RAM-08,
author = {Ramon, Sébastien},
title = {Introduction de Défauts pour la Résolution du Problème de Trivialisation en Logique des Défauts},
year = {2008},
month = {7},
address = {Université d'Artois, Centre de Recherche en Informatique de Lens (CRIL CNRS UMR 8188)},
abstract = {Dans ce mémoire nous étudions comment plusieurs théories avec défauts doivent être fusionnées, en supposant que chaque théorie avec défauts représente les connaissances d'un agent ou d'une communauté d'agents. Plus précisément, il est vu que le rassemblement de ces théories ne peut être accepté comme tel quand l'union ensembliste des ensembles de formules de la logique classique a fusionner est inconsistante. En effet conserver de telles formules fait de l'ensemble du langage l'ensemble des inférences possibles puisque quand la partie formant la logique classique d'une théorie avec défauts est inconsistante, la théorie avec défauts elle-même trivialise. Aussi surprenant que cela puisse paraître, pour autant que nous sachions, cette propriété basique de la logique des défauts n'a pas été traitée jusqu'ici dans la littérature. Nous proposons donc que dans certaines circonstances la logique des défauts soit améliorée afin de ne pas trivialiser quand son composant de la logique classique est inconsistant. En particulier, quand beaucoup de sources d'information sont agrégées, une contradiction mineure entre deux sources ne doit pas conduire tout le système à s'effondrer.},
}