Ga naar de gids
Praktisch AI-advies voor teams en leiders
Kookaburra Advies
Menu

Interactieve AI-gids

Hoe redeneermodellen werken

Door Kai Bergin

Chat met redeneren
Zichtbare chat
Gebruiker

Leg in eenvoudige woorden uit hoe fotosynthese werkt.

Assistent

Fotosynthese is de manier waarop planten voedsel maken. Ze gebruiken zonlicht, water en koolstofdioxide om suiker te maken en geven zuurstof af als bijproduct.

De demo vergelijkt nu vier kandidaatpaden en verifieert de duidelijkste uitleg.

Werkgebied van het model
Redeneerinspanning Gemiddelde redeneerinspanning
56 redeneertokens 4 kandidaatpaden 82% kans dat minstens één pad bruikbaar is
Budget voor redeneertokens
Geselecteerde kandidaatpaden

Hoe de chat gaat redeneren

Het zichtbare antwoord ontstaat na zoeken, vergelijken en controleren

De chatprompt start het proces. In deze didactische visualisatie verkent en controleert het model meerdere mogelijke routes. De wiskunde hieronder laat zien waarom variatie kan helpen, zonder te beweren dat echte modellen onafhankelijke paden of precies deze stappen gebruiken.

Waarom meerdere oplossingsroutes kunnen helpen

Waarom meer kandidaatpaden helpen

Eén geselecteerd pad kan correct, onvolledig of misleidend zijn. Als één kandidaatpad een waarschijnlijkheid p heeft om bruikbaar te zijn, is de waarschijnlijkheid dat het mislukt 1 - p. Bij n kandidaatpaden nemen we voor deze uitleg aan dat de routes onafhankelijk zijn. Iedere route vormt dan een afzonderlijke kans op een bruikbaar resultaat.

De kans dat alle kandidaatpaden mislukken is (1 - p)n. De kans dat minstens één pad bruikbaar is, wordt dus:

1 - (1 - p)n

In echte modellen zijn routes niet volledig onafhankelijk en zijn verborgen redeneerstappen meestal niet waarneembaar. De formule is uitsluitend didactisch: variatie kan samen met goede controle nuttig zijn, maar het percentage is geen voorspelling van werkelijk modelsucces.

Verander een van beide waarden en de chatdemo hierboven wordt bijgewerkt: er verschijnen meer routes, het waarschijnlijkheidslabel verandert en de kaarten met kandidaatpaden worden opnieuw verdeeld.

Minstens één bruikbaar pad: 82% 1 - (1 - 0.35)^4 = 0.82

Verificatie blijft belangrijk: extra paden helpen alleen wanneer het systeem kan bepalen welke kandidaat nauwkeurig, relevant en duidelijk is.

Hoe redeneermodellen werken

Redeneerpaden, zoeken en verificatie

Stap 2: redeneerpaden genereren

Hoe token voor token verschillende oplossingsroutes kunnen ontstaan

1

Tokeniseer
de prompt

Prompt:

‘Leg in eenvoudige woorden uit hoe fotosynthese werkt.’

Leguithoefotosynthese werktineenvoudigewoorden.

(tokens)

2

Voorspel waarschijnlijkheden
voor het volgende token

Kandidaten voor het volgende token

3

Kies het
volgende token

Geselecteerd token

Het

Pad A begint met dit token.

4

Breid de
reeks uit

De reeks groeit token voor token

5

Maak meerdere
redeneerpaden

Verschillende tokenreeksen worden verschillende paden

  • Tokens zijn de basiseenheden van het model.
  • Ieder volgend token wordt vanuit de eerdere context voorspeld.
  • Verschillende tokenreeksen worden verschillende redeneerpaden.

Stap 3: zoeken / verkennen

Het model verkent alternatieve tokenvervolgen en oplossingsroutes

1

Begin bij de
huidige context

Vraag van de gebruiker

Leguithoefotosyntheseeenvoudigwerkt

‘Leg in eenvoudige woorden uit hoe fotosynthese werkt.’

2

Breid mogelijke
volgende tokens uit

Kandidaattokens voor de volgende stap

PlantenZonlichtWaterSuikerZuurstof

Meerdere waarschijnlijke vervolgen blijven beschikbaar in plaats van er direct één te kiezen.

3

Werk meerdere
vervolgstappen uit

Tokenpaden

Klik op een pad om te zien hoe de routebeoordelaar het evalueert.

4

Verken veelbelovende
routes

Geselecteerde route

Veelbelovende routes verkennen

Deze vertakking legt uit hoe chlorofyl zonlicht opvangt, een bruikbare route voor het antwoord over fotosynthese.

routescore 0.84
5

Behoud uiteenlopende
opties

Het vervolg blijft goed onderbouwd

Fotosynthese is de manier waarop planten voedsel maken.

Het geselecteerde pad houdt zonlicht, water, koolstofdioxide, suiker en zuurstof samen in het definitieve antwoord.

  • Zoeken test verschillende vervolgstappen.
  • Vertakkingen vertegenwoordigen verschillende redeneerroutes.
  • Diversiteit helpt voorkomen dat het model vastloopt.

Stap 4: verifiëren

Kandidaatvervolgen worden aan feiten, promptbeperkingen en tests getoetst

1

Neem een kandidaatantwoord

2

Voer controles of tests uit

Planten gebruiken zonlicht, water en koolstofdioxide om suiker te maken en geven zuurstof af.

Het te testen kandidaatvervolg.

3

Vergelijk met regels of feiten

Wetenschappelijke feitenOK
Vereiste invoerOK
Genoemde uitvoerOK
Test op misvattingenOK
Eenvoudige formuleringOK
4

Markeer geslaagd of mislukt

GESLAAGD
5

Ken een score of beloning toe

1.00 Hoog
  • Verificatie controleert de uitkomst, niet alleen de formulering.
  • Duidelijke tests maken redeneren meetbaar.
  • Scores vertellen het model welke paden werkten.

Stap 5: het beste antwoord selecteren

Het geverifieerde pad van de hoogste kwaliteit wordt voor het definitieve antwoord gekozen

1

Verzamel kandidaten

Verzamel de kandidaatvervolgen over fotosynthese.

2

Vergelijk verificatiescores

4

Kies het beste geverifieerde pad

Pad A scoort na controle het best voor de uitleg over fotosynthese.

5

Geef het definitieve antwoord

Planten gebruiken zonlicht, water en koolstofdioxide om suiker te maken en geven zuurstof af.

Gekozen uit pad A (score: 1.00)

  • Het model kan veel kandidaten genereren.
  • Verificatie helpt de sterkste kandidaat te vinden.
  • Het geselecteerde pad wordt het definitieve antwoord.

Stap 6: leren van succes

Offline post-training gebruikt feedback om toekomstige modelversies te verbeteren

Tijdens normaal gebruik: zoeken, verifiëren, selecteren: geen aanpassing van gewichten tijdens één vraag
Tijdens post-training: feedback kan een toekomstige modelversie bijwerken
1

Verzamel uitkomsten

Bewaar voorbeelden van veel taken, waaronder het antwoord over fotosynthese.

Succesvol zonlichtwaterCO2suiker
Zwak zonlicht etenvoedsel uit aardezuurstof ontbreekt
2

Scoren of verifiëren

Gebruik controlemodellen, voorkeursdata of benchmarkscores.

✓ wetenschappelijk correct ✓ eenvoudige formulering × misvatting
beloning = 1 indien bruikbaar, anders 0
3

Modelgewichten bijwerken

Offline training past het model aan. Dit gebeurt niet binnen de vraag van de gebruiker.

4

Maak een verbeterde versie

Bruikbare patronen worden waarschijnlijker, zwakke patronen worden minder waarschijnlijk.

Waarschijnlijkheid omhoog
Zwakke patronen omlaag
5

Uitrollen en toekomstig redeneren verbeteren

Latere modelversies behouden waarschijnlijker het juiste patroon voor fotosynthese.

zonlichtwaterCO2suikerzuurstof
offline lus 0

Wat er tijdens één vraag gebeurt

VraagZoekenVerifiërenAntwoord

Het huidige antwoord kan door redeneren verbeteren, maar het model leert hier niet blijvend van.

Hoe labs modellen na verloop van tijd verbeteren

Snelle lus prompts en tools Gemiddelde lus voorkeursdata en fine-tuning Langzame lus nieuwe trainingsruns voor basismodellen
  • Tijdens normaal gebruik past een redeneermodel zijn gewichten niet zelf aan.
  • Gewichten worden in offline post-trainingslussen bijgewerkt.
  • Gebruikersinteracties kunnen informatie opleveren voor latere modelupdates, maar zorgen niet voor direct leren.