Provenance-Enhanced Statements in Knowledge Graphs
Cet article introduit DEC, un cadre qui interprète la provenance dans les graphes de connaissances comme des indicateurs de posture épistémique afin d'organiser les affirmations attribuées en « mondes cognitifs », permettant ainsi un raisonnement fondé sur les désaccords et les hypothèses sans les réduire à des incohérences.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Le Problème : Le désordre du « Qui a dit quoi ? »
Imaginez une immense bibliothèque (un Graphe de Connaissances) où les gens stockent des faits. Habituellement, les bibliothèques sont excellentes pour stocker des faits bruts comme « Le ciel est bleu » ou « L'eau bout à 100 °C ». Ce sont des Données : des choses qui sont vraies, peu importe qui les regarde.
Mais beaucoup de ce que nous savons n'est pas de ce type. Ce sont des Capta (du latin signifiant « choses saisies » ou « prises ») : des choses qui sont affirmées par quelqu'un. Par exemple :
- « Selon l'historien de l'art X, ce tableau a été peint par Da Vinci. »
- « Selon le scientifique Y, cette maladie est causée par le stress. »
- « Selon l'historien Z, la Terre a été créée en 4004 av. J.-C. »
Dans les systèmes informatiques actuels, nous pouvons étiqueter ces affirmations avec « Qui l'a dit ? » (Provenance). Mais le système traite l'étiquette comme un simple post-it. Il ne comprend pas la signification de l'étiquette. Il ne fait pas la différence entre :
- « Martin Kemp a écrit que... » (Un fait concernant un livre).
- « Martin Kemp pense que... » (Une opinion).
- « Martin Kemp a prouvé que... » (Un fait solide).
- « Martin Kemp a supposé que... » (Une conjecture sauvage).
Actuellement, si l'ordinateur voit « Selon Kemp, la Terre est plate », il peut être confus. La Terre est-elle plate ? Ou Kemp a-t-il simplement tort ? Le système essaie souvent de forcer tout le monde dans une seule et unique « Vérité », ce qui provoque des erreurs ou ignore la nuance de l'histoire et de la science.
La Solution : DEC (Doxastique, Épistémique, Conjecturel)
Les auteurs proposent un nouveau cadre appelé DEC. Au lieu de simplement étiqueter une affirmation avec un nom, le DEC traite l'affirmation comme vivant à l'intérieur d'un « Monde Cognitif » spécifique.
Considérez un Monde Cognitif comme une pièce différente dans une maison, ou un film différent projeté sur un écran.
- La Pièce de la Réalité (Monde Épistémique) : C'est la pièce où nous gardons les faits dont nous sommes sûrs à 100 %. Si une affirmation se trouve dans cette pièce, l'ordinateur la traite comme vraie.
- La Pièce des Croyances (Monde Doxastique) : C'est là que nous gardons ce que les gens pensent être vrai, même s'ils peuvent avoir tort. Si Bruce croit que les baleines sont des poissons, cela va dans la « Pièce des Croyances » de Bruce. L'ordinateur sait que Bruce se trompe sur la réalité, mais il respecte le fait que Bruce le croit.
- La Pièce des Suppositions (Monde Conjecturel) : C'est là que nous gardons les hypothèses. Si Carl suppose que les dragons sont des reptiles, cela va dans la « Pièce des Suppositions ». L'ordinateur sait qu'il s'agit d'une hypothèse, mais il peut toujours exécuter une logique à l'intérieur de cette pièce (par exemple : « Si les dragons sont des reptiles, alors Sansouffle est un reptile »).
Comment cela fonctionne : La magie de la « Perméation »
La magie du DEC réside dans la façon dont ces pièces communiquent entre elles. Les auteurs appellent cela la Perméation.
- Portes à sens unique : Généralement, les faits de la « Pièce de la Réalité » peuvent couler vers la « Pièce des Suppositions ». Si nous savons que « Les dragons sont fictifs », la Pièce des Suppositions (où Carl fait des suppositions sur les dragons) le sait automatiquement aussi.
- Pas de reflux : Mais, que se passe-t-il dans la « Pièce des Croyances » (Bruce pensant que les baleines sont des poissons) ? Cela ne reflue pas vers la « Pièce de la Réalité ». L'ordinateur ne pense pas soudainement que les baleines sont des poissons simplement parce que Bruce le pense.
- Le correctif « Superman » : Il existe un célèbre puzzle logique appelé le « Paradoxe de Superman ». Si Lois Lane sait que Superman peut voler, et que Superman est en réalité Clark Kent, est-ce que Lois sait que Clark Kent peut voler ? Dans la logique normale, oui. Mais dans la vraie vie, non, car elle ne sait pas qu'ils sont la même personne.
- Le DEC résout cela en gardant le « Monde de Lois Lane » séparé. Dans son monde, Superman et Clark sont deux personnes différentes. L'ordinateur respecte sa perspective et n'impose pas l'identité de la « Réalité » sur son monde de « Croyance », à moins qu'elle n'apprenne explicitement la vérité.
Ce que cela nous permet de faire
En séparant ces mondes, le système peut gérer des situations complexes sans planter :
- Désaccords : Vous pouvez avoir une pièce disant « Shakespeare a écrit Hamlet » et une autre disant « De Vere a écrit Hamlet ». Le système ne dit pas « Erreur ! ». Il dit simplement : « Ces deux pièces sont en désaccord ».
- Délires : Si une pièce dit « La Terre est plate » et que la Pièce de la Réalité dit « La Terre est ronde », le système peut marquer la pièce « Terre plate » comme Délirante. Il sait que l'affirmation est correctement attribuée (quelqu'un l'a bien dit), mais que le contenu contredit la réalité.
- Opinions personnelles : Si Alice dit « La pizza est meilleure que les hot-dogs » et que Bob dit « Les hot-dogs sont meilleurs », le système sait qu'il s'agit simplement d'opinions. Ils n'ont pas besoin d'être « corrigés » ou prouvés vrais ou faux ; ils existent simplement comme des points de vue personnels.
Le Prototype : Un « Superviseur » pour la base de données
Les auteurs ont construit un outil prototype (un « Raisonneur ») qui se place au-dessus d'un logiciel de base de données standard (comme Apache Jena/Fuseki).
Voyez cet outil comme un Superviseur qui parcourt la bibliothèque avant que quiconque ne le fasse.
- Le Superviseur examine chaque affirmation.
- Il demande : « Qui a dit cela ? Comment l'a-t-il dit ? »
- Il trie les affirmations dans les bonnes « Pièces » (Réalité, Croyance, Supposition).
- Il laisse la logique informatique standard faire ses calculs à l'intérieur de chaque pièce.
- Il vérifie si des pièces se battent entre elles (Désaccords) ou se battent avec la Réalité (Délires).
- Enfin, il présente les résultats à l'utilisateur, en étiquetant clairement quels faits sont solides, quels sont des croyances et quels sont de simples suppositions.
Résumé
L'article soutient que nous devons arrêter de traiter toutes les connaissances informatiques comme s'il s'agissait d'un seul bloc de vérité solide. Au lieu de cela, nous devrions traiter la connaissance comme une collection de différentes perspectives.
Le DEC offre un moyen de dire : « Ceci est un fait », « Ceci est une croyance » et « Ceci est une supposition », et de permettre à tout cela d'exister ensemble dans la même base de données sans que l'ordinateur ne soit confus ou ne plante. Cela nous permet de conserver l'histoire des débats, l'existence des théories erronées et la nuance de l'opinion humaine, tout en gardant les « faits durs » en sécurité.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.