🤖 AI

Determinization in Structure Theories: A Unified Framework via Closure, Comparability, and Joint Admissibility

Dit artikel vestigt een verenigd formeel kader voor het construeren van canonieke interpretaties vanuit pluralistische structuurtheorieën door niet-determinisme te classificeren in epistemische en structurele typen en aan te tonen hoe afsluitingsstabilisatie, globale voltooiing en canonieke selectiemechanismen determinisering kunnen bereiken onder specifieke structurele condities.

Oorspronkelijke auteurs: Hai Hai Fu

Gepubliceerd 2026-08-11

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Hai Hai Fu

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 Dilemma van de Detective: Wanneer Aanwijzingen Niet Kloppen

Stel je voor dat je een detective bent die een mysterie probeert op te lossen. Je hebt een tas met aanwijzingen (de data) en een regelboek (de theorie) dat je vertelt hoe die aanwijzingen samenkomen om een verhaal te vormen. Soms zijn de aanwijzingen zo duidelijk dat het regelboek naar slechts één enkele, perfecte oplossing wijst. Maar vaak zijn de aanwijzingen rommelig. Miss misschien kunnen twee verschillende verdachten de misdaad hebben gepleegd, of is de tijdlijn wazig. Op die momenten kan een slechte detective simpelweg een oplossing gokken en zeggen: "Het was zeker Verdachte A!", zonder enig bewijs. In de wereld van Kunstmatige Intelligentie wordt dit soort gokken een "hallucinatie" genoemd.

Dit artikel bevindt zich op het snijvlak van informatica en logica, en kijkt specifiek naar hoe AI-systemen kunnen redeneren over complexe structuren zonder dingen te verzinnen. Het kernidee is simpel: een AI zou alleen een enkel, definitief antwoord moeten geven als de regels van het spel dat antwoord ook daadwerkelijk als de enige mogelijkheid afdwingen. Als de regels ruimte laten voor meerdere geldige verhalen, moet de AI toegeven: "Ik weet nog niet welke de juiste is," in plaats van er eentje willekeurig te kiezen. De auteur bouwt een wiskundig instrumentarium om het verschil te duiden tussen "we hebben genoeg informatie om zeker te zijn" en "we zijn gewoon aan het gokken."

Het Papier: Het Bouwen van een "Waarheidsfilter" voor AI

Het artikel, getiteld "Determinization in Structure Theories" door Hai Hai Fu, is in essentie een handleiding voor het bouwen van een "Waarheidsfilter" voor AI-systemen. De auteur maakt zich zorgen over AI-systemen die handelen als overmoedige detectives, die een enkel antwoord verklaren wanneer het bewijs eigenlijk verschillende verschillende mogelijkheden ondersteunt. De auteur wil een formeel kader creëren dat een AI precies vertelt wanneer het mag stoppen met gokken en een winnaar mag uitroepen.

Om dit te doen, breekt de auteur het probleem af in twee hoofdtypen verwarring, die hij Type S en Type E noemt.

Type E (Epistemische Pluraliteit) is als een wazige foto.
Stel je voor dat je naar een foto van een auto-ongeluk kijkt, maar het is mistig. Je kunt niet zien of de auto de boom of de omheining heeft geraakt. Echter, als je wacht tot de mist optrekt (meer bewijs krijgt), wordt de foto scherp en blijft er plotseling slechts één mogelijkheid over. Het artikel laat zien dat je voor dit soort problemen een "completion"-methode kunt gebruiken. Denk hierbij aan een machine die steeds meer details aan het verhaal toevoegt totdat de mist optrekt en de foto scherp wordt. De auteur bewijst dat je voor bepaalde soorten theorieën (zoals de "ICT"-theorie die hij bestudeert) een machine kunt bouwen die betrouwbaar de mist doet optrekken, mits je genoeg bewijs hebt. Hij is echter eerlijk over een beperking: hij heeft niet volledig bewezen dat deze machine altijd tot exact dezelfde ene foto leidt, alleen dat het uiteindelijk stopt met veranderen. Hij noemt dit "closure stabilization."

Type S (Structurele Pluraliteit) is als een splitsing in de weg.
Stel je nu een ander scenario voor. Je hebt een kaart met twee verschillende paden, Pad A en Pad B. Beide paden zijn volkomen geldig volgens de regels van de kaart. Geen hoeveelheid extra bewijs zal er ooit voor zorgen dat Pad A verandert in Pad B; ze zijn fundamenteel verschillend, zoals kiezen tussen chocolade- of vanilleijs. Je kunt het verhaal niet "voltooien" om ze hetzelfde te maken. Dit is wat de auteur "Type S" noemt. Voor deze problemen is het gebruik van een "completion"-machine verspilde tijd. In plaats daarvan heb je een "selector" nodig. Dit is als een scheidsrechter die naar de twee geldige paden kijdt en er één kiest op basis van een specifieke, vooraf overeengekomen regel (zoals "kies altijd het pad met de meeste bomen"). Het artikel bewijst dat voor een specifieke, lastige versie van dit probleem (genaamd "Type S-strong", geïllustreerd door de "Wyckoff"-theorie), een selector de enige manier is om tot één antwoord te komen. Als je probeert een completion-machine op dit probleem te dwingen, zal deze falen.

De "Hallucinatie" Waarschuwing
De belangrijkste bevinding van het artikel is een waarschuwingslabel voor AI-ontwikkelaars. De auteur laat zien dat "hallucinatie" optreedt wanneer een AI probeert een enkel antwoord af te dwingen (canonicalization) wanneer de regels dat niet toestaan.

Als het probleem Type E is, hallucineert de AI als hij een antwoord kiest voordat de "mist" volledig is opgeklaard.
Als het probleem Type S is, hallucineert de AI als hij een "completion"-machine probeert te gebruiken in plaats van een "selector".

Het artikel biedt een checklist (een reeks wiskundige voorwaarden) om te zien welk instrument je nodig hebt. Als jouw systeem voldoet aan de "comparability" en "admissibility" controles, kun je een machine bouwen die een enkel, veilig antwoord geeft. Als dat niet het geval is, is het systeem niet bevoegd om een winnaar aan te wijzen, en moet het stil blijven of alle opties tonen.

Wat Ze Nog Niet Hebben Opgelost (Nog)
De auteur is zeer voorzichtig om niet te beweren dat hij alles heeft opgelost. Hij stelt expliciet dat voor de "Type E"-problemen (de wazige foto's), hij een machine heeft gebouwd die stopt met veranderen (stabiliseert), maar hij heeft niet bewezen dat deze altijd tot exact hetzelfde unieke antwoord leidt voor elke beginpositie. Hij noemt dit een "open vraag". Hij geeft ook toe dat hij voor sommige "Type S"-problemen die niet de "sterke" versie zijn, niet zeker weet of een completion-machine zou kunnen werken of dat een selector strikt vereist is.

De "Niet-Commutatieve" Wending
Ten slotte ontdekt het artikel een vreemde eigenaardigheid in hoe deze machines werken wanneer je ze op elkaar stapelt. Stel je voor dat je twee filters hebt: één die sorteert op kleur en één die sorteert op grootte. Als je eerst op kleur sorteert en dan op grootte, krijg je een ander resultaat dan wanneer je eerst op grootte sorteert en dan op kleur. De auteur bewijst dat voor zijn specifieke AI-theorieën de volgorde ertoe doet. Je kunt de stappen niet zomaar omdraaien; als je dat doet, kun je eindigen met een resultaat dat de regels volledig overtreedt. Hij ontdekte dat er slechts één specifieke volgorde is (eerst High-Timeframe, dan Low-Timeframe) die het verhaal veilig en geldig houdt.

In Samenvatting
Dit artikel zegt niet alleen "AI mag niet liegen." Het bouwt een wiskundige kaart die je precies vertelt wanneer een AI met zekerheid mag spreken. Het maakt onderscheid tussen problemen die gewoon meer data nodig hebben (Type E) en problemen die een beslissingsregel nodig hebben (Type S). Het waarschuwt dat het gebruik van het verkeerde instrument voor de taak leidt tot hallucinaties, en het bewijst dat voor sommige complexe, gelaagde problemen de volgorde waarin je je regels toepast cruciaal is. Hoewel ze niet elk puzzelstukje in het universum hebben opgelost, hebben ze het eerste rigoureuze blauwdruk geleverd voor weten wanneer een AI klaar is om een enkel, waarheidsgetrouw antwoord te geven.

Technische Samenvatting: Determinering in Structuurtheorieën

1. Probleemstelling

Het artikel behandelt het formele probleem van canonicalisering binnen plurale structuurtheorieën, specifiek gemotiveerd door falen in door LLM's (Large Language Models) ondersteunde redeneer- en beslissingssystemen. In deze systemen stelt een taalmodel kandidaat-interpretaties voor, terwijl een symbolische structuurtheorie de verzameling van toelaatbare interpretaties definieert.

Het kernprobleem is hallucinatie, hier gedefinieerd als "niet-onderbouwde canonicalisering": het systeem dat een bepaalde (determinate) uitkomst geeft terwijl de onderliggende verzameling van toelaatbare interpretaties nog niet is geëvolueerd naar een singleton. Het artikel vraagt: Onder welke structurele condities is een structuurtheorie gelicentieerd om een unieke interpretatie te produceren?

De meeste marktstructuurframeworks (en daarmee veel formele theorieën) zijn niet-deterministisch, waarbij meerdere geldige interpretaties tegelijkertijd kunnen bestaan. Het artikel zoekt naar de formalisering van voldoende structurele condities waaronder een canonieke lezing kan worden geconstrueerd en classificeert de mechanismen waarmee dit gebeurt.

2. Methodologie en Framework

2.1 Structuurtheorieën

De auteur formaliseert een Structuurtheorie als een tripel $T = (\Sigma, A, I)$ , waarbij:

$\Sigma$ een signatuur is.
$A$ een verzameling axioma's is.
$I = I_{core} \cup I_{ext}$ een inferentiebeleid is (het artikel focust op $I_{core}$ ).

De theorie opereert op inputs $(N, \Theta, \Pi)$ die marktrealisaties, parameters en structureel bewijs representeren. De admissible interpretatiefamilie $P_T$ is de verzameling van alle toewijzingen die consistent zijn met de axioma's $A$ en het inferentiebeleid.

Restricties op $I_{core}$ :
Het inferentiebeleid is beperkt tot positieve, niet-retractieve inferentie:

(R1) Positieve Regelvorm: Regels voegen alleen conclusies toe; ze verwijderen er geen.
(R2) Geen Negation-as-Failure: Premissen zijn positieve conjuncties; geen enkele regel rust op de afwezigheid van een afgeleid predicaat.
(R3) Geen Retractie: Geen enkele regel trekt eerder afgeleide conclusies in.

2.2 Taxonomie van Niet-Determinisme

Het artikel classificeert niet-determinisme in twee typen op basis van hoe pluraliteit zich gedraagt onder bewijsverfijning:

Type E (Epistemische Pluraliteit): De pluraliteit verdwijnt naarmate het bewijs wordt verfijnd. Als $|P_T| > 1$ , dan bestaat er een verfijnde bewijsverzameling $\Pi'$ waarvoor $|P_T(\Pi')| = 1$ . (Voorbeeld: ICT-theorie).
Type S (Structurele Pluraliteit): De pluraliteit persisteert zelfs bij maximaal bewijs ( $\Pi_{full}$ $Π_{f u l l}$ ).
- Type S-strong: Een subclass van Type S waar verschillende toelaatbare interpretaties bij $\Pi_{full}$ geen gemeenschappelijke bovengrens hebben onder de specificatieorde $\preceq_{spec}$ . (Voorbeeld: Wyckoff-theorie).

2.3 Sterktes van Canonicalisering

Het framework onderscheidt drie niveaus van canonicalisering:

Closure Stabilization (Eigenschap 4'): Elke toelaatbare 'seed' convergeert onder een operator naar sommige vast punt (seed-afhankelijk).
Global Completion (Eigenschap 4): Alle seeds convergeren naar één uniek vast punt.
Determinization (AC-6): Het unieke vaste punt is de enige toelaatbare interpretatie.

3. Belangrijkste Bijdragen en Resultaten

3.1 Duale Mechanismen voor Canonicalisering

Het artikel stelt vast dat canonicalisering geen monolithisch operator-theoretisch proces is, maar uiteenvalt in twee fundamenteel verschillende vormen:

Operator-gebaseerde Voltooiing (Type E):
- Toepasbaar op Type E-theorieën.
- Gebruikt een voltooibingsoperator ( $D_{comp}$ ) die iteratief conclusies toevoegt totdat een vast punt is bereikt.
- Vereist: Closure, vergelijkbaarheid (N4-comp) en compatibele extensie (C5-E).
- Resultaat: Vestigt Closure Stabilization (4'). Het bereiken van Global Completion (4) of AC-6 vereist een aanvullend globaal convergentieresultaat (Open Vraag OQ-GC-1 voor ICT).
Selector-gebaseerde Constructie (Type S-strong):
- Toepasbaar op Type S-strong theorieën.
- Gebruikt een canonieke selector ( $\phi$ ) die een uniek element kiest uit lokale verzamelingen op basis van een theorie-intrinsieke orde.
- Vereist: Theorie-intrinsieke vergelijkbaarheid (N4-sel) en globale compatibiliteit van geselecteerde keuzes (C5-S).
- Resultat: Bereikt direct AC-6.
- Onmogelijkheidsresultaat: Voor Type S-strong theorieën is Global Completion (Eigenschap 4) via een extensieve operator bewezen onmogelijk omdat de onvergelijkbare interpretaties geen gemeenschappelijke bovengrens hebben.

3.2 Constructie-lemma (Stelling 6b)

Het artikel biedt een constructie-lemma dat voldoende condities vaststelt voor het bestaan van deze mechanismen:

Completion Branch: $N0 + N3 + N4\text{-comp} + C5\text{-E} \implies D_{comp}$ bestaat op sterkte (4').
Selection Branch: $N0 + N1 + N4\text{-sel} + C5\text{-S} \implies PhaseClassify$ bestaat op AC-6.

Een cruciale bevinding is dat theorie-intrinsieke vergelijkbaarheid (N4) noodzakelijk is. Een minimaal tegenvoorbeeld ( $T_{ce}$ ) toont aan dat closure alleen (zonder vergelijkbaarheid) onvoldoende is voor canonicalisering.

3.3 Classificatie van Mechanismen (Stelling U3)

Geconditioneerd op een realisatie-dekking assumptie (OQ-Realization), classificeert het artikel elk theorie-intrinsiek mechanisme dat gerealiseerd wordt binnen een specifieke grammatica in:

Class C (Completion): Gerealiseerd via de verzadigde closure van elementaire regels (3a) of guarded saturated closure (3c). Deze voldoen aan eigenschappen (1)–(4').
Class S (Selection): Gerealiseerd via axioma-geïnduceerde selectie (3b).

Cruciaal onderscheid wat betreft Monotoniciteit:

Pure $I_{core}$ -berekenbare mechanismen (Class C, 3a) zijn monotoon onder de specificatieorde $\preceq_{spec}$ (Lemma C).
Guarded mechanismen (Class C, 3c) zijn generiek niet-monotoon. Het toevoegen van een predicaat kan een guard activeren die een derivatie onderdrukt, waardoor een conclusie die in een kleinere staat zou zijn afgevuurd, wordt geblokkeerd. Het artikel biedt een concreet getuige-voorbeeld ( $D_{comp}^{HTF}$ ) waar monotoniciteit faalt.

3.4 Multi-Timeframe en Staged Operators

Het artikel breidt het framework uit naar multi-timeframe hiërarchieën met behulp van een staged operator $D_{comp}^{HTF} = D_L \circ D_H$ .

Niet-commutativiteit: Het artikel bewijst dat staged completion structureel niet-commutatief is. Specifiek voor de ruwe twee-operator architectuur, is de ordening $D_L \circ D_H$ (eerst $D_H$ [HTF] toepassen, dan $D_L$ [LTF]) de enige toelaatbaarheid-behoudende linearisatie. De omgekeerde volgorde kan ontoelaatbare staten produceren.
Fase 2 (Multi-Operator): Het artikel vat de existentiecondities voor multi-operator canonicalisering samen, waarbij een "veiligheidsgat" $\Phi^*$ wordt gedefinieerd. Haalbaarheid is equivalent aan $\Phi^* = 0$ . Het vestigt een hiërarchie van compatibiliteitscondities: $GCC \implies RUCS \implies PLCS$ .

3.5 Categorische Structuur

Het artikel definieert Determinization als een partiële pseudofunctie ($Det$) die paren van theorieën en vergelijkbaarheidsstructuren mapt naar hun canonieke extensies. Dit biedt een categorisch sjabloon voor recursieve theorieën (bijv. Elliott Wave).

4. Betekenis en Claims

Het artikel claimt een verenigd framework te bieden voor het begrijpen van wanneer en hoe structurele theorieën deterministisch gemaakt kunnen worden, waarbij onderscheid wordt gemaakt tussen:

Epistemische onzekerheid (oplosbaar door bewijsaccumulatie via completion).
Structurele onvergelijkbaarheid (vereist een selectiemechanisme).

Bescheiden Claims en Open Vragen:

Het artikel stelt niet vast dat ICT (Type E) AC-6 determinisering bereikt; het stelt slechts Closure Stabilization (4') vast. Global completion voor ICT blijft een open vraag (OQ-GC-1).
De classificatie van mechanismen (Stelling U3) is geconditioneerd op de assumptie dat alle theorie-intrinsieke operaties binnen de (3a)/(3b)/(3c) grammatica vallen (OQ-Realization).
De "Type S $\to$ Selection" inferentie is bewezen voor Type S-strong theorieën. De generieke Type S casus blijft open (OQ-TypeS-Imp).
De niet-commutativiteit resultaat is beperkt tot de specifieke "twee-operator ruwe staged architectuur"; andere architecturen met repair operators of joint fixed-points worden niet uitgesloten.

Conclusie:
De primaire bijdrage is de formele scheiding van closure-gebaseerde en selection-gebaseerde canonicalisering, de identificatie van niet-monotoniciteit in guarded systemen, en de rigoureuze definitie van de structurele condities (N4, C5) die nodig zijn om een unieke output te licentiëren. Dit framework biedt een formele basis voor het diagnosticeren van "hallucinatie" in LLM-ondersteunde systemen als het emitteren van een bepaalde uitkomst wanneer de onderliggende admissible verzameling nog niet is geëvolueerd naar een singleton.