🤖 AI

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses

Dit artikel introduceert een nieuwe familie van cognitieve modale logische systemen, genaamd KC en KDC, die hypothetisch redeneren formaliseren door het axioma C te combineren met niet-bivalente semantiek om modale ineenstorting te voorkomen en een dynamische overgang van conjectuur naar werkelijkheid te modelleren.

Oorspronkelijke auteurs: Fabio Vitali

Gepubliceerd 2026-03-24

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Fabio Vitali

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

Van Feiten naar Gissingen: Een Nieuwe Manier om te Redeneren

Stel je voor dat je een enorme, maar onvolledige puzzel hebt. Je hebt de randstukjes gelegd en een paar stukjes in het midden, maar er zijn nog grote gaten. In de wereld van de logica (de wetenschap van het correcte redeneren) hebben we tot nu toe twee hoofdmanieren gehad om met zo'n puzzel om te gaan:

Weten (Epistemic): "Ik weet alleen wat er zeker op de puzzel staat." Als een stukje er niet staat, weet ik het niet.
Geloven (Doxastic): "Ik denk dat dit stukje erbij hoort, maar ik kan me vergissen." Ik kan alles bedenken, zelfs dingen die onmogelijk zijn.

Maar wat als je een derde optie nodig hebt? Een manier om te zeggen: "Oké, laten we aannemen dat dit ontbrekende stukje erbij hoort, en kijken wat er dan gebeurt, zonder dat we het als een feit beschouwen."

Dat is precies wat dit paper introduceert: Conjecturale Logica (Logica van de Gissing).

De Grootte van het Probleem: De "Modale Ineenstorting"

In de oude logica was er een groot gevaar bij het toevoegen van gissingen. Het heette de "Modale Ineenstorting" (Modal Collapse).
Stel je voor dat je zegt: "Alles wat waar is, is ook noodzakelijk waar."
Als je dat zegt in een systeem waar alles ofwel 100% waar of 100% onwaar is, dan stort je hele logica in. Er is dan geen ruimte meer voor "misschien" of "wat als". Alles wordt vastgezet. Het is alsof je zegt: "Omdat het regent, kon het nooit anders dan regenen." Dat voelt niet goed aan voor onze manier van denken.

De auteurs van dit paper zeggen: "Nee, dat hoeft niet zo te zijn!"
Ze tonen aan dat je gissingen kunt maken zonder dat je logica instort, mits je één belangrijke regel verandert: Je mag dingen "onbepaald" laten.

De Creatieve Analogie: De Bouwplaats

Laten we dit uitleggen met een analogie van een bouwplaats.

De Feitelijke Basis (De Fundering): Dit is wat we zeker weten. De fundering van het huis is gegoten. De muren staan. Dit is de "onbepaalde" logica. We weten dat de fundering er is.
De Gissing (Het Ontwerp): Nu wil je een tweede verdieping bouwen. Je weet nog niet of je een plat dak of een schuin dak wilt. In de oude logica moest je kiezen: of het is er (feit), of het is er niet (feit). Maar hier zeggen we: "Het dak is nog onbepaald." Het is niet waar, en het is niet onwaar. Het is gewoon nog niet beslist.
De Gissing als Verkenning: Je zegt: "Laten we even doen alsof we een schuin dak hebben." Je bouwt een virtueel schuin dak op je computer. Je kijkt wat de gevolgen zijn: "Ah, dan moet ik de nokbalk anders plaatsen."
De Regel (Axioma C): De enige regel is: "Wat al vaststaat (de fundering), mag je niet veranderen." Je mag het schuine dak uitdenken, maar je mag de fundering niet weghalen.

Het geheim: Omdat het dak nog "onbepaald" is (het is nog niet waar of onwaar), kun je het als een gissing toevoegen zonder dat het hele systeem instort. Je creëert een nieuwe, tijdelijke realiteit die gebaseerd is op de feiten, maar verder gaat.

Wat is er nieuw aan?

Het "Onbepaalde" is een kracht: In plaats van te zeggen "Ik weet het niet" (wat vaak betekent: "Ik heb geen informatie"), zeggen we: "Het is intrinsiek onbepaald." Het is een lege ruimte die we kunnen vullen met een hypothese.
Geen "Waarheidscollapse": Omdat we toestaan dat zinnen noch waar noch onwaar zijn, kunnen we zeggen: "Als het waar is, dan is het noodzakelijk waar" (zonder dat dit betekent dat alles al vaststaat). Het werkt alleen omdat er ruimte is voor "misschien".
De Inclusie-stelling: De auteurs tonen aan dat deze drie werelden (Feit, Kennis, Gissing) eigenlijk op elkaar lijken, net als Russische poppen.
- Een Gissing is een uitbreiding van de feiten.
- Kennis is een subset van de feiten (wat we zeker weten).
- Geloof is wat we denken (wat soms fout kan zijn).
  Ze passen allemaal in één groot, logisch raamwerk.

De Dynamische Knop: "Settelen" (Beslissen)

Het paper introduceert ook een dynamisch element: de knop "Settelen".
Stel je voor dat je met je team een gissing hebt gedaan: "Laten we aannemen dat we morgen winnen." Je plannen maakt je op basis daarvan.
Dan komt de wedstrijd. Jullie winnen!
Nu verandert de gissing in een feit. De knop "Settelen" wordt ingedrukt.

De gissing verdwijnt niet; hij wordt de nieuwe basis.
Alles wat je eerder als "misschien" zag, is nu "vaststaand".
Je kunt nu weer nieuwe gissingen maken op basis van dit nieuwe feit.

Dit is heel belangrijk voor de toekomst. Het helpt computers en AI-systemen om om te gaan met onzekerheid zonder vast te lopen.

Waarom is dit belangrijk voor de echte wereld?

Stel je voor dat je een wetenschapper bent die twijfelt over een experiment, of een historicus die twijfelt over wie een schilderij heeft gemaakt.

Oude logica: "Of het is waar, of het is niet. Als we het niet weten, kunnen we niets zeggen."
Nieuwe logica (Conjecturale Logica): "We weten het niet zeker. Laten we twee scenario's maken: één waar het waar is, en één waar het niet waar is. Laten we kijken wat de gevolgen zijn in beide gevallen, zonder dat we de feiten veranderen."

Dit helpt bij:

Medische diagnoses: "Als deze ziekte aanwezig is, wat zijn dan de symptomen?" (Zelfs als we het nog niet zeker weten).
Recht: "Wat als deze getuige liegt? Wat gebeurt er dan met het verhaal?"
AI: Robots die kunnen redeneren met onvolledige informatie, zonder dat ze "dwaas" worden of vastlopen.

Samenvatting in één zin

Dit paper introduceert een slimme manier om te denken over "wat als", waarbij we toestaan dat sommige dingen nog niet beslist zijn, zodat we veilig kunnen fantaseren en plannen maken zonder dat onze logica instort of alles als "vaststaand" gaat behandelen. Het is de kunst van het redeneren met een open geest, maar een stevige basis.

Probleemstelling

Traditionele cognitieve modale logica's (zoals doxastische logica voor geloof en epistemische logica voor kennis) zijn onvoldoende om conjecturaal redeneren (hypothetisch redeneren op basis van onvolledige feitelijke informatie) formeel te modelleren.

Doxastische logica behandelt geloof dat foutief kan zijn, maar vereist vaak geen interne consistentie en is te losjes gekoppeld aan feiten.
Epistemische logica vereist waarheid (kennis = geloof + waarheid), wat geen ruimte laat voor onzekerheid of open hypotheses.
Het centrale probleem is het modelleren van een cognitieve staat waarin een agent alle bekende feiten behoudt, maar één of meer onbevestigde aannames toevoegt om de gevolgen te verkennen, zonder de feitelijke basis te herzien of te ontkennen.

Een historisch obstakel voor het gebruik van het axioma $\varphi \to \square\varphi$ (Axioma C) in dit verband is het fenomeen van modale ineenstorting (modal collapse). In klassieke, bivalente logica (waar elke zin waar of onwaar is) leidt Axioma C in combinatie met Axioma T ( $\square\varphi \to \varphi$ ) tot de equivalentie $\varphi \leftrightarrow \square\varphi$ . Dit betekent dat alle feiten noodzakelijk worden, waardoor het onderscheid tussen feitelijke en modale waarheid verdwijnt en het concept van contingentie verloren gaat.

Methodologie

De auteur introduceert een nieuw familie van cognitieve modale logica's gebaseerd op een niet-bivalente semantiek. De kernmethodologische keuzes zijn:

Axioma C ( $\varphi \to \square\varphi$ ): Dit axioma stelt dat alle gevestigde feiten behouden blijven binnen hypothetische scenario's. In plaats van dit axioma te verwerpen vanwege de dreiging van modale ineenstorting, wordt het herinterpreteerd als een principe van behoud van waarheid over toegankelijke werelden.
Afwijzing van Axioma T: Om modale ineenstorting te voorkomen, wordt Axioma T (reflexiviteit) expliciet vermeden.
Niet-bivalente Basis: De logica's worden gebouwd op een semantisch raamwerk waar zinnen onbepaald (undefined) kunnen zijn. Dit wordt gerealiseerd via:
- Supervaluatie-semantiek.
- Weak Kleene logica (waar onbepaaldheid zich verspreidt).
- Beschrijvingslogica (onder Open World Assumption).
  In deze systemen kan een formule $\varphi$ onbepaald zijn in de basiswereld, terwijl $\square\varphi$ wel bepaald is (als het in alle toegankelijke werelden geldt). Hierdoor geldt $\varphi \leftrightarrow \square\varphi$ niet noodzakelijk, en blijft modale ineenstorting uit.
Kripke-structuren met gedeeltelijke waarderingen: Werelden worden geassocieerd met gedeeltelijke waarderingen ( $V_w$ ) van atomaire formules. Toegankelijkheid ( $R$ ) behoudt de "gedefinieerdheid": als een wereld $w$ een waarde heeft voor een formule, moet deze waarde behouden blijven in alle toegankelijke werelden $w'$ .

Belangrijkste Bijdragen

1. Definitie van de Logica's KC en KDC

De auteur definieert twee nieuwe systemen:

KC: De minimale modale logica gebaseerd op K plus Axioma C.
KDC: KC uitgebreid met Axioma D ( $\square\varphi \to \neg\square\neg\varphi$ ), wat serialiteit garandeert (elke wereld heeft minstens één toegankelijke wereld).
In deze systemen impliceert Axioma C direct de axioma's 4 ( $\square\varphi \to \square\square\varphi$ ) en 5 ( $\neg\square\varphi \to \square\neg\square\varphi$ ) door uniforme substitutie.

2. Oplossing voor Modale Ineenstorting

Het artikel bewijst dat modale ineenstorting niet inherent is aan Axioma C, maar ontstaat door de combinatie van C met Axioma T of een strikt bivalente basis.

Stelling 4.27: In een toelaatbaar model (zonder T, met serialiteit en gedeeltelijke waarderingen) is het systeem niet-instortend dan en slechts dan als het concreet niet-bivalent is (d.w.z. er bestaat minstens één wereld en formule die onbepaald is).
Dit biedt een formele garantie dat Axioma C kan worden gebruikt zonder de logica triviaal te maken, zolang er ruimte blijft voor onbepaalde proposities.

3. De Inbegripsstelling (Inclusion Theorem)

Een fundamenteel resultaat is een set-theoretische karakterisering van cognitieve logica's. Werelden worden gezien als verzamelingen van atomaire waarheidswaarden. Er wordt een hiërarchie opgezet rondom een gedeelde kennisbasis ( $s$ ) en een gedefinieerde realiteit ( $r$ ):

Doxastische wereld ( $w$ ): $s \subseteq w$ (bevat de basis, maar kan meer bevatten).
Epistemische wereld ( $w$ ): $s \subseteq w \subseteq r$ (bevat alleen wat in de realiteit waar is).
Conjecturale wereld ( $w$ ): $r \subseteq w$ (bevat de realiteit plus extra hypothetische uitbreidingen).
Delusionele wereld: $w$ die in tegenspraak is met $r$ .
Deze stelling toont aan dat verschillende cognitieve modi (geloof, kennis, conjectuur) niet aparte syntactische systemen zijn, maar verschillende posities in een set-theoretische inclusiehiërarchie.

4. Dynamische Uitbreiding: Conjectural Dynamic Logic (CDL)

De auteur introduceert de operator settle(p).

Functie: Deze operator transformeert een conjecturale uitbreiding (waar een atoom $p$ onbepaald was) naar de nieuwe gedefinieerde realiteit.
Semantiek: $(M, r) \xrightarrow{settle(p)} (M, r_p)$ , waarbij $r_p$ de minst gedefinieerdheid-behoudende uitbreiding is waarin $p$ waar is.
Eigenschappen: Settlements zijn iteratief en commuteren (als $p$ en $q$ compatibel zijn, maakt de volgorde van vastlegging niet uit). Dit stelt een dynamische logica (CDL) in staat om de overgang van onzekerheid naar vastgestelde feiten te modelleren.

Resultaten

Formele Eigenschappen: De systemen KC en KDC zijn bewezen niet-triviaal, sound (geluid) en compleet ten opzichte van hun semantiek.
Unificatie: De theorie biedt een unificerend raamwerk dat doxastische, epistemische en conjecturale redenering onder één deelt, gekenmerkt door de relatie tussen gedeeltelijke waarderingen.
Dynamiek: CDL biedt een mechanisme om te modelleren hoe hypothetische scenario's (zoals toekomstige contingenten of historische attributies) kunnen "vastleggen" tot feitelijke realiteit binnen een cognitieve ruimte.

Significantie

Deze paper is significant voor de volgende redenen:

Nieuwe Logische Categorie: Het introduceert "conjecturale logica" als een derde pijler naast geloof en kennis, specifiek ontworpen voor redeneren met onvolledige informatie.
Oplossing van een Historisch Probleem: Het toont aan dat Axioma C, vaak gezien als problematisch vanwege modale ineenstorting, een krachtig hulpmiddel kan zijn in niet-bivalente contexten.
Praktische Toepassingen: Het raamwerk is direct toepasbaar in:
- Semantisch Web en Provenance: Om conflicterende claims en hun bronnen te modelleren zonder de basisfeiten te verwerpen.
- Neuro-symbolische AI: Voor hybride systemen waar neurale netwerken onzekerheid genereren die door symbolische logica als conjectuur wordt verwerkt en dynamisch wordt vastgelegd naarmate meer data beschikbaar komt.
- Juridische en Historische Analyse: Om redeneren onder onzekerheid (bijv. auteurschapsclaims) formeel te modelleren zonder in tegenstrijdigheden te vervallen.

Kortom, het artikel levert een robuust, formeel onderbouwd raamwerk voor het modelleren van onzekerheid, meningsverschil en hypothetisch redeneren, waarbij het onderscheid tussen wat vaststaat en wat nog open is, logisch behouden blijft.