Provenance-Enhanced Statements in Knowledge Graphs
Dit artikel introduceert DEC, een framework dat herkomst in kennisgrafen interpreteert als indicatoren van epistemische houding om toegeschreven beweringen te organiseren in "cognitieve werelden", waardoor het mogelijk wordt om principiële redeneringen over onenigheden en hypothesen uit te voeren zonder deze te laten instorten tot inconsistenties.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Het Probleem: De "Wie zei wat?"-chaos
Stel je een enorme bibliotheek voor (een Knowledge Graph) waar mensen feiten opslaan. Meestal zijn bibliotheken geweldig in het opslaan van harde feiten zoals "De lucht is blauw" of "Water kookt bij 100°C." Dit zijn Data: dingen die waar zijn, ongeacht wie ernaar kijkt.
Maar veel van wat we weten is niet zo. Het is Capta (van het Latijn voor "dingen die genomen zijn"): zaken die door iemand worden beweerd. Bijvoorbeeld:
- "Volgens kunsthistoricus X werd dit schilderij gemaakt door Da Vinci."
- "Volgens wetenschapper Y wordt deze ziekte veroorzaakt door stress."
- "Volgens historicus Z werd de aarde gecreëerd in 4004 v.Chr."
In huidige computersystemen kunnen we deze beweringen voorzien van een label "Wie zei het?" (Provenance). Maar het systeem behandelt het label als slechts een plakbriefje. Het begrijpt de betekenis van het label niet. Het weet het verschil niet tussen:
- "Martin Kemp schreef dat..." (Een feit over een boek).
- "Martin Kemp gelooft dat..." (Een mening).
- "Martin Kemp bewees dat..." (Een sterk feit).
- "Martin Kemp vermoedde dat..." (Een wilde gok).
Momenteel, als de computer ziet "Volgens Kemp is de aarde plat," kan hij in de war raken. Is de aarde plat? Of heeft Kemp het gewoon mis? Het systeem probeert vaak alles in één enkele "Waarheid" te dwingen, wat leidt tot fouten of het negeren van de nuance van geschiedenis en wetenschap.
De Oplossing: DEC (Doxastisch, Epistemisch, Conjecturaal)
De auteurs stellen een nieuw framework voor genaamd DEC. In plaats van een bewering alleen te labelen met een naam, behandelt DEC de bewering als iets dat leeft binnen een specifieke "Cognitieve Wereld."
Beschouw een Cognitieve Wereld als een andere kamer in een huis, of een andere film die op een scherm wordt afgespeeld.
- De Realiteitskamer (Epistemische Wereld): Dit is de kamer waar we de feiten bewaren waarvan we 100% zeker zijn. Als een bewering in deze kamer staat, behandelt de computer het als waar.
- De Geloofskamer (Doxastische Wereld): Dit is waar we bewaren wat mensen denken dat waar is, ook al kan het fout zijn. Als Bruce gelooft dat walvissen vissen zijn, gaat dat in Bruce's "Geloofskamer." De computer weet dat Bruce het mis heeft over de realiteit, maar respecteert dat Bruce het wél gelooft.
- De Gokkamer (Conjecturale Wereld): Dit is waar we hypothesen bewaren. Als Carl gokt dat draken reptielen zijn, gaat dat in de "Gokkamer." De computer weet dat dit een hypothese is, maar kan nog steeds logica uitvoeren binnen die kamer (bijv. "Als draken reptielen zijn, dan is Toothless een reptiel").
Hoe het werkt: De "Permeatie"-magie
De magie van DEC is hoe deze kamers met elkaar communiceren. De auteurs noemen dit Permeatie.
- Eenrichtingsdeuren: Meestal kunnen feiten uit de "Realiteitskamer" naar de "Gokkamer" stromen. Als we weten dat "Draken fictief zijn," weet de Gokkamer (waar Carl over draken aan het gokken is) dat automatisch ook.
- Geen terugstroom: Maar wat gebeurt er in de "Geloofskamer" (Bruce denkt dat walvissen vissen zijn), dat stroomt niet terug naar de "Realiteitskamer." De computer denkt niet plotseling dat walvissen vissen zijn, alleen omdat Bruce dat denkt.
- De "Superman"-fix: Er is een beroemd logisch raadsel genaamd de "Superman-paradox." Als Lois Lane weet dat Superman kan vliegen, en Superman is eigenlijk Clark Kent, weet Lois dan dat Clark Kent kan vliegen? In de normale logica wel, maar in het echte leven niet, omdat zij niet weet dat zij dezelfde persoon zijn.
- DEC lost dit op door de "Lois Lane-wereld" apart te houden. In haar wereld zijn Superman en Clark verschillende personen. De computer respecteert haar perspectief en dwingt de "Realiteit"-identiteit niet op haar "Geloof"-wereld, tenzij ze de waarheid expliciet leert.
Wat dit ons mogelijk maakt
Door deze werelden te scheiden, kan het systeem complexe situaties aan zonder vast te lopen:
- Meningsverschillen: Je kunt één kamer hebben die zegt "Shakespeare schreef Hamlet" en een andere die zegt "De Vere schreef Hamlet." Het systeem zegt niet "Error!", maar zegt: "Deze twee kamers zijn het oneens."
- Waanbeelden: Als een kamer zegt "De aarde is plat" en de Realiteitskamer zegt "De aarde is rond," kan het systeem de "Vlakke Aarde"-kamer als Waanbeeld markeren. Het weet dat de bewering correct is toegeschreven (iemand heeft het immers gezegd), maar de inhoud spreekt de realiteit tegen.
- Persoonlijke meningen: Als Alice zegt "Pizza is lekkerder dan hotdogs" en Bob zegt "Hotdogs zijn lekkerder dan pizza," weet het systeem dat dit slechts meningen zijn. Ze hoeven niet "gecorrigeerd" of bewezen te worden als waar of onwaar; ze bestaan gewoon als persoonlijke opvattingen.
De Prototype: Een "Supervisor" voor de Database
De auteurs hebben een prototype-tool gebouwd (een "Reasoner") die bovenop standaard database-software (zoals Apache Jena/Fuseki) zit.
Zie deze tool als een Supervisor die door de bibliotheek loopt voordat iemand anders dat doet.
- De Supervisor bekijkt elke bewering.
- Hij vraat: "Wie zei dit? Hoe zeiden ze het?"
- Hij sorteert de beweringen in de juiste "Kamers" (Realiteit, Geloof, Gok).
- Hij laat de standaard computerlogica de berekeningen uitvoeren binnen elke kamer.
- Hij controleert of er kamers met elkaar vechten (Meningsverschillen) of met de Realiteit vechten (Waanbeelden).
- Ten slotte toont hij de resultaten aan de gebruiker, waarbij duidelijk wordt aangegeven welke feiten solide zijn, wat geloofsovertuigingen zijn en wat slechts gokken zijn.
Samenvatting
Het artikel betoogt dat we moeten stoppen met alle kennis in computers te behandelen als één enkele, massieve blok van waarheid. In plaats daarvan moeten we kennis behandelen als een verzameling van verschillende perspectieven.
DEC biedt een manier om te zeggen: "Dit is een feit," "Dit is een geloof," en "Dit is een gok," en laat ze allemaal samen bestaan in dezelfde database zonder dat de computer in de war raakt of vastloopt. Het stelt ons in staat om de geschiedenis van debatten, het bestaan van foutieve theorieën en de nuance van menselijke meningen te bewaren, terwijl de "harde feiten" veilig en integer blijven.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.