Provenance-Enhanced Statements in Knowledge Graphs
Dieses Paper führt DEC ein, ein Framework, das Provenienz in Wissensgraphen als Indikatoren für epistemische Haltungen interpretiert, um attribuierte Behauptungen in „kognitive Welten“ zu organisieren und dadurch ein prinzipienbasiertes Schließen über Disagreements und Hypothesen zu ermöglichen, ohne diese in Inkonsistenzen kollabieren zu lassen.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Das Problem: Das „Wer hat was gesagt?“-Chaos
Stellen Sie sich eine riesige Bibliothek (einen Knowledge Graph) vor, in der Menschen Fakten speichern. Normalerweise sind Bibliotheken großartig darin, harte Fakten zu speichern wie „Der Himmel ist blau“ oder „Wasser siedet bei 100 °C“. Dies sind Daten: Dinge, die wahr sind, unabhängig davon, wer sie betrachtet.
Aber vieles von dem, was wir wissen, ist nicht so. Es ist Capta (vom lateinischen Wort für „Dinge, die genommen wurden“): Dinge, die von jemandem behauptet werden. Zum Beispiel:
- „Laut dem Kunsthistoriker X wurde dieses Gemälde von Da Vinci geschaffen.“
- „Laut dem Wissenschaftler Y wird diese Krankheit durch Stress verursacht.“
- „Laut dem Historiker Z wurde die Erde im Jahr 4004 v. Chr. erschaffen.“
In aktuellen Computersystemen können wir diese Aussagen mit einem Tag versehen („Wer hat es gesagt?“ – Provenienz). Aber das System behandelt den Tag nur wie einen Klebezettel. Es versteht die Bedeutung des Tags nicht. Es weiß nicht den Unterschied zwischen:
- „Martin Kemp schrieb, dass...“ (Ein Fakt über ein Buch).
- „Martin Kemp glaubt, dass...“ (Eine Meinung).
- „Martin Kemp bewies, dass...“ (Ein starker Fakt).
- „Martin Kemp vermutete, dass...“ (Eine wilde Vermutung).
Wenn der Computer derzeit sieht: „Laut Kemp ist die Erde flach“, könnte er verwirrt sein. Ist die Erde flach? Oder täuscht sich Kemp einfach? Das System versucht oft, alles in eine einzige „Wahrheit“ zu pressen, was zu Fehlern führt oder die Nuancen von Geschichte und Wissenschaft ignoriert.
Die Lösung: DEC (Doxastisch, Epistemisch, Konjektur-basiert)
Die Autoren schlagen ein neues Framework namens DEC vor. Anstatt eine Aussage nur mit einem Namen zu versehen, behandelt DEC die Aussage so, als würde sie in einer spezifischen „kognitiven Welt“ leben.
Stellen Sie sich eine kognitive Welt wie ein anderes Zimmer in einem Haus vor oder wie einen anderen Film, der auf einer Leinwand abgespielt wird.
- Das Realitätszimmer (Epistemische Welt): Dies ist das Zimmer, in dem wir die Fakten aufbewahren, von denen wir zu 100 % sicher sind. Wenn eine Aussage in diesem Zimmer ist, behandelt der Computer sie als wahr.
- Das Glaubenszimmer (Doxastische Welt): Hier bewahren wir auf, was Menschen für wahr halten, auch wenn sie vielleicht falsch liegen. Wenn Bruce glaubt, dass Wale Fische sind, kommt das in Bruces „Glaubenszimmer“. Der Computer weiß, dass Bruce sich über die Realität irrt, aber er respektiert, dass Bruce dies glaubt.
- Das Vermutungszimmer (Konjekturale Welt): Hier bewahren wir Hypothesen auf. Wenn Carl vermutet, dass Drachen Reptilien sind, kommt das in das „Vermutungszimmer“. Der Computer weiß, dass dies eine Hypothese ist, kann aber innerhalb dieses Raums dennoch Logik anwenden (z. B. „Wenn Drachen Reptilien sind, dann ist Toothless ein Reptil“).
Wie es funktioniert: Die „Permeations“-Magie
Die Magie von DEC liegt darin, wie diese Räume miteinander kommunizieren. Die Autoren nennen dies Permeation (Durchdringung).
- Einwegtüren: Normalerweise können Fakten aus dem „Realitätszimmer“ in das „Vermutungszimmer“ fließen. Wenn wir wissen, dass „Drachen fiktiv sind“, weiß das Vermutungszimmer (in dem Carl über Drachen spekuliert) dies automatisch auch.
- Kein Rückfluss: Aber was passiert in der „Glaubenswelt“ (Bruce denkt, Wale seien Fische)? Diese Informationen fließen nicht zurück in das „Realitätszimmer“. Der Computer denkt nicht plötzlich, dass Wale Fische sind, nur weil Bruce das denkt.
- Die „Superman“-Korrektur: Es gibt ein berühmtes Logikrätsel, das „Superman-Paradoxon“. Wenn Lois Lane weiß, dass Superman fliegen kann, und Superman eigentlich Clark Kent ist, weiß sie dann auch, dass Clark Kent fliegen kann? In der normalen Logik ja. Im echten Leben jedoch nein, weil sie nicht weiß, dass sie dieselbe Person sind.
- DEC löst dies, indem es die „Lois-Lane-Welt“ separat hält. In ihrer Welt sind Superman und Clark zwei verschiedene Personen. Der Computer respektiert ihre Perspektive und erzwingt die Identität der „Realität“ nicht auf ihre „Glaubenswelt“, es sei denn, sie erfährt explizit die Wahrheit.
Was uns das ermöglicht
Durch die Trennung dieser Welten kann das System komplexe Situationen bewältigen, ohne abzustürzen:
- Disagreements (Widersprüche): Man kann ein Zimmer haben, das sagt „Shakespeare schrieb Hamlet“, und ein anderes, das sagt „De Vere schrieb Hamlet“. Das System sagt nicht „Fehler!“, sondern: „Diese beiden Räume sind uneinig.“
- Delusions (Wahnvorstellungen): Wenn ein Raum sagt „Die Erde ist flach“ und das Realitätszimmer sagt „Die Erde ist rund“, kann das System den „Flache-Erde-Raum“ als delusional markieren. Es weiß, dass die Aussage korrekt zugeschrieben wurde (jemand hat es tatsächlich gesagt), aber der Inhalt widerspricht der Realität.
- Persönliche Meinungen: Wenn Alice sagt „Pizza ist besser als Hot Dogs“ und Bob sagt „Hot Dogs sind besser“, weiß das System, dass dies nur Meinungen sind. Sie müssen nicht „korrigiert“ oder bewiesen werden; sie existieren einfach als persönliche Ansichten.
Der Prototyp: Ein „Supervisor“ für die Datenbank
Die Autoren haben ein Prototyp-Tool (einen „Reasoner“) gebaut, der über Standard-Datenbanksoftware (wie Apache Jena/Fuseki) sitzt.
Stellen Sie sich dieses Tool wie einen Supervisor vor, der die Bibliothek durchläuft, bevor sonst jemand kommt.
- Der Supervisor schaut sich jede Aussage an.
- Er fragt: „Wer hat das gesagt? Wie wurde es gesagt?“
- Er sortiert die Aussagen in die richtigen „Zimmer“ (Realität, Glaube, Vermutung).
- Er lässt die Standard-Computerlogik die Berechnungen innerhalb jedes Zimmers durchführen.
- Er prüft, ob irgendwelche Räume miteinander streiten (Disagreements) oder mit der Realität streiten (Delusions).
- Schließlich zeigt er dem Benutzer die Ergebnisse an und kennzeichnet klar, welche Fakten solide sind, welche Überzeugungen sind und welche bloße Vermutungen.
Zusammenfassung
Die Arbeit argumentiert, dass wir aufhören müssen, alles Wissen in Computern so zu behandeln, als wäre es ein einziger, massiver Block der Wahrheit. Stattdessen sollten wir Wissen als eine Sammlung verschiedener Perspektiven betrachten.
DEC bietet eine Möglichkeit zu sagen: „Dies ist ein Fakt“, „Dies ist ein Glaube“ und „Dies ist eine Vermutung“, und erlaubt ihnen, alle zusammen in derselben Datenbank zu existieren, ohne dass der Computer verwirrt wird oder abstürzt. Es ermöglicht uns, die Geschichte von Debatten, das Bestehen falscher Theorien und die Nuancen menschlicher Meinungen zu bewahren, während wir gleichzeitig die „harten Fakten“ sicher und unversehrt halten.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.