💻 computer science

Beyond the Spell: A Dynamic Logic Analysis of Misdirection

Dit artikel introduceert een dynamisch epistemisch logisch kader dat zowel verbale als visuele misleiding formeel modelleert, geïllustreerd door de Franse drop-truc, en een klankig en volledig axiomaat systeem biedt voor de logica.

Oorspronkelijke auteurs: Benjamin Icard, Raul Fervari

Gepubliceerd 2026-07-23

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Benjamin Icard, Raul Fervari

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

Stel je voor dat je een detective bent die een mysterie probeert op te lossen, maar de verdachte verbergt niet alleen de waarheid; de verdachte schildert actief een vals beeld van de werkelijkheid recht voor je ogen. Dit is de wereld van misleiding, een concept dat zich op het snijvlak van psychologie, magie en informatica bevindt. Om te begrijpen hoe het werkt, hebben we twee basisinstrumenten nodig. Ten eerste is er geloof: wat je in je hoofd voor waar houdt. Ten tweede is er observatie: wat je ogen daadwerkelijk zien. Meestal komen deze twee perfect overeen. Als je een kat ziet, geloof je dat er een kat is. Maar wat gebeurt er als iemand je ogen bedriegt? Wat als je een kat ziet, maar het is eigenlijk een hond, of erger nog, wat als je niets ziet, maar je wordt erdoor misleid te geloven dat er een kat is?

Dit is waar Dynamische Epistemische Logica om de hoek komt kijken. Zie dit als een uiterst precieze kaart voor het bijhouden van hoe informatie verandert in de menselijke geest. Het is als een video game engine voor logica, waarbij elke keer dat iemand spreekt of een gebaar maakt, de "wereld" van overtuigingen en observaties direct wordt bijgewerkt. Terwijl wetenschappers jarenlang hebben gewijd aan het in kaart brengen van hoe mensen liegen met woorden (verbale misleiding), hebben ze nog geen kaart gebouwd voor hoe mensen liegen met hun ogen (visuele misleiding). Dit artikel stelt een simpele maar lastige vraag: kunnen we deze logische kaart gebruiken om uit te leggen hoe een illusionist je brein bedriegt om dingen te zien die er niet zijn, en waarom dat zo anders voelt dan simpelweg verteld worden dat er een leugen is?

De Magie van Logica: Het Decoderen van de French Drop

In dit artikel bouwen auteurs Benjamin Icard en Raul Fervari een nieuw logisch instrument genaamd DLM (Dynamic Logic of Misdirection). Hun doel is om een formeel systeem te creëren dat niet alleen kan bijhouden wat mensen geloven, maar ook precies wat ze zien, en hoe een illusionist beide tegelijkertijd kan manipuleren.

De Twee Manieren om een Brein te Bedriegen

De auteurs beginnen met het indelen van misleiding in twee hoofdcategorieën, waarbij ze de klassieke goocheltruc van de French Drop als hun testgeval gebruiken. Stel je voor dat een illusionist een munt vasthoudt.

Dissimulatie (De Kunst van het Verbergen): Dit is wanneer de illusionist de waarheid verbergt. Bij de French Drop verbergt de illusionist de munt stiekem in zijn linkerhand (palmen) terwijl hij het lijkt alsof hij de munt verplaatst. Hij is de werkelijke locatie van de munt aan het "dissimuleren". Hij laat je geen nepmunt zien; hij blokkeert slechts je zicht op de echte een.
Simulatie (De Kunst van het Faken): Dit is wanneer de illusionist een valse realiteit creëert. De illusionist maakt een gebaar dat er precies uitziet alsof hij de munt in zijn rechterhand laat vallen. Hij is een overdracht aan het "simuleren" die nooit heeft plaatsgevond.

Het artikel betoogt dat we wel goede logische modellen hebben voor verbale leugens (zoals een politicus die zegt "Ik ben eerlijk" terwijl dat niet zo is), maar dat we tot nu toe geen goede manier hadden om deze visuele trucs te modelleren.

De Nieuwe Logica: Zien versus Geloven

De kerninnovatie van DLM is de manier waarop het observatie behandelt. In veel oude logische systemen geldt: als je iets ziet, geloof je het automatisch. Maar de auteurs wijzen erop dat dit niet altijd waar is. Je kunt atomaire observatie hebben (een vorm zien zonder te weten wat het is) en epistemische observatie (een vorm zien en herkennen als een specifief object).

Denk hieraan als volgt:

Atomaire Observatie: Je ziet een wazige rode vlek in het water. Je ogen registreren "rood", maar je brein heeft nog niet besloten of het een vis, een speeltje of een vlek is.
Epistemische Observatie: Je kijkt opnieuw, focust, en je brein zegt: "Dat is een vis!"

De French Drop werkt door deze stadia te manipuleren. De illusionist gebruikt een nepgebaar (simulatie) om de atomaire observatie van het publiek (het zien van een bewegende hand) onmiddellijk te laten veranderen in een valse epistemische observatie (geloven dat de munt is verplaatst). Tegelijkertijd gebruikt hij een verborgen hand (dissimulatie) om de observatie van de waarheid te blokkeren.

Het Modelleren van de Truc

De auteurs gebruiken hun nieuwe logica om de French Drop stap voor stap te ontleden:

De Opzet: Het publiek ziet de munt in de linkerhand. Ze geloven dat deze daar is.
De Beweging (Simulatie): De illusionist doet alsof hij de munt naar de rechterhand verplaatst. De logica laat zien dat deze actie de "wereld" van het publiek bijwerkt. Plotseling is de munt in hun geest in de rechterhand. Hun ogen zijn bedrogen om de transfer te "zien".
De Onthulling: De illusionist opent de rechterhand (leeg) en vervolgens de linkerhand (vol). Het publiek is geschokt.

Het artikel bewijst dat deze schok, of verrassing, ontstaat door een "mismatch". Het brein van het publiek had een sterk geloof (de munt is in de rechterhand) dat volledig werd tegengesproken door het nieuwe visuele bewijs (de munt is in de linkerhand). De logica laat zien dat deze verrassing sterker is wanneer het publiek zeker was van het onjuiste, in plaats van slechts onzeker.

Wat Deze Logica Wel en Niet Kan

De auteurs zijn voorzichtig in het aangeven van de reikwijdte van hun model. Ze hebben een sound en complete systeem gecreëerd, wat betekent dat hun regels consistent zijn en alle gevallen dekken die ze beoogden te modelleren. Ze hebben succesvol aangetoond dat:

Visuele simulatie (een handeling faken) logisch gezien visuele dissimulatie impliceert (de waarheid verbergen). Als je een muntbeweging naar rechts faked, ben je automatisch de waarheid aan het verbergen dat de munt in de linkerhand is gebleven.
Je kunt onderscheid maken tussen een "echte" handeling (het tonen van de waarheid) en een "bogus" handeling (het tonen van een leugen).
Het model vangt het specifieke gevoel van verrassing in goocheltrucs op.

Het artikel merkt echter ook op wat het niet doet. Het probeert niet uit te leggen waarom mensen van nature slecht zijn in het herkennen van deze trucs (dat is een psychologische vraag). Het beweert ook niet elk type bedrog in de wereld op te lossen. Zo vermelden ze bijvoorbeeld dat als een illusionist onhandig is en faalt, de logica mogelijk moet worden aangepast. Ze geven ook toe dat hun huidige model ervan uitgaat dat de illusionist de truc altijd succesvol uitvoert, wat een vereenvoudiging is.

Het Grotere Plaatje

Door goocheltrucs om te zetten in logische vergelijkingen, proberen Icard en Fervari niet alleen illusionisten te leren hoe ze betere trucs kunnen maken. Ze leggen een fundament voor het begrijpen van hoe informatie tussen mensen stroomt. Dit kan in de toekomst helpen bij het modelleren van complexe situaties zoals militaire misleiding, waarbij soldaten camouflage (dissimulatie) en neptanks (simulatie) kunnen gebruiken om een vijand te verwarren. Het zou zelfs kunnen helpen bij AI-planning, waarbij een computeragent moet uitzoeken hoe hij een andere agent kan misleiden om een doel te bereiken.

Kortom, dit artikel haalt de "magie" uit een goocheltruc en vervangt deze door een heldere, stapsgewijze logische kaart. Het laat zien dat wanneer een illusionist je bedriegt, hij niet alleen met je ogen speelt; hij hackt het update-systeem van je brein, en nu hebben we een nieuwe taal om precies te beschrijven hoe die hack werkt.

Technische Samenvatting: Beyond the Spell: A Dynamic Logic Analysis of Misdirection

Probleemstelling
Misdirection (misleiding) wordt gedefinieerd als de intentionele handeling van het veroorzaken van een verkeerde representatie bij een agent of een groep agenten. Hoewel verbale misleiding (bijv. liegen, bluffen, halve waarheden) uitgebreid is onderzocht vanuit een formeel perspectief met behulp van epistemische logica, heeft visuele misleiding weinig aandacht gekregen. Er bestaat een kritische kloof in de formele behandeling van visuele misleiding, met name met betrekking tot het onderscheid tussen dissimulatie (het verbergen van de waarheid) en simulatie (het tonen van valse feiten), en de resulterende onnauwkeurige observaties. Bestaande kaders verwarren observatie vaak met geloof of falen om de dynamische verschuiving van niet-epistemische (atomaire) observatie naar epistemische observatie, geïnduceerd door misleidende visuele handelingen, te modelleren.

Methodologie
De auteurs introduceren DLM (Dynamic Logic of Misdirection), een dynamische epistemische logica ontworpen om zowel verbale als visuele misleiding te modelleren. De methodologie omvat:

Observationele Epistemische Modellen: De semantische basis breidt standaard Kripke-modellen uit met een specifieke waardering voor observatiesymbolen. In tegenstelling tot eerder werk over attente agenten, waarbij observatie aandacht impliceert, maakt DLM onderscheid tussen:
- Atomaire Observatie ( $o_a p$ ): Een niet-epistemische, causale perceptie waarbij een agent $p$ visueel waarneemt zonder noodzakelijkerwijs een geloof over $p$ te vormen (Dretske's "simpele zien").
- Epistemische Observatie: Een sterkere notie gedefinieerd als atomaire observatie gekoppeld aan het geloof dat men observeert ( $B_a o_a p$ ).
- Geloof ( $B_a \phi$ ): Vertegenwoordigd via een standaard doxastische modaliteit met Euclidische, transitieve en seriële toegankelijkheidsrelaties.
Actiemodellen met Postcondities: DLM past standaard Dynamic Epistemic Logic (DEL) aan door gebruik te maken van actiemodellen die postcondities bevatten. Dit stelt de logica in staat om niet alleen de overtuigingen van de agenten bij te werken, maar ook de waarheidswaarden van hun observatie-atomen.
- Verbale Acties: Gemodelleerd als aankondigingen ( $tell^+_a$ voor waarheidsgetrouw, $tell^-_a$ voor misleidend). Deze werken de toegankelijkheidsrelaties bij maar laten de observatie-atomen ongewijzigd.
- Visuele Acties: Gemodelleerd als tonen ( $show^+_a$ voor echt, $show^-_a$ voor misleidend). Deze werken zowel de toegankelijkheidsrelaties als de observatie-atomen (postcondities) bij, waardoor effectief verandert wat de agent "ziet" en vervolgens gelooft te zien.
Axiomatisering: Het artikel biedt een correct en volledig axioma-systeem (OL voor het statische fragment en DOL voor de volledige dynamische logica). Het systeem bevat reductie-axioma's om dynamische modaliteiten te elimineren door ze te transformeren naar statische formules, waarbij vertrouwd wordt op de eigenschappen van de actiemodellen.
Casestudy (De French Drop): De logica wordt toegepast om de "French Drop" goocheltruc te modelleren. De truc wordt gedecomposeerd in:
- Initiële Staat: De goochelaar houdt een munt in de linkerhand ( $l$ ); het publiek is onzeker.
- Methode (Simulatie):* De goochelaar voert een visuele actie uit $show^-_a(r \land \neg l)$ , waarbij een transfer naar de rechterhand wordt gesimuleerd. Deze actie werkt de observaties van het publiek bij naar $o_b r$ en $o_b \neg l$ , waardoor hun atomaire observatie wordt omgezet in een valse epistemische observatie.
- Dissimulatie: Tegelijkertijd verbergt de goochelaar de munt (palmen), waardoor de observatie van $l$ door het publiek wordt voorkomen.
- Onthulling: De goochelaar voert $show^+_a(l \land \neg r)$ uit, onthult de waarheid en corrigeert de observaties van het publiek.

Belangrijkste Bijdragen en Resultaten

Formeel Onderscheid van Modaliteiten: Het artikel maakt een formeel onderscheid tussen verbale en visuele modaliteiten en tussen echte en misleidende acties. Het modelleert expliciet de overgang van atomaire (niet-epistemische) observatie naar epistemische observatie via visuele acties.
Simulatie versus Dissimulatie: De auteurs definiëren Simulatie ($Sim$) als een actief proces van het presenteren van valse informatie (verbaal of visueel) om een verkeerde representatie te induceren. Dissimulatie ($Dis$) wordt gedefinieerd als het achterhouden van informatie (het verbergen van de waarheid) of het niet uitvoeren van een onthullende actie.
- Resultaat: De logica bewijst dat succesvolle simulatie van $\neg p$ een dissimulatie van $p$ impliceert (Corollary 30), mits de ontvanger de valse overtuiging/observatie succesvol adopteert.
Sterkere Noties van Geloof en Observatie: Het kader definieert "sterke epistemische observatie" en "sterk geloof" als attitudes die ondersteund worden door echte verbale of visuele acties, wat hen onderscheidt van zwakke overtuigingen die een rechtvaardiging kunnen missen.
Modelleren van Verrassing: Het artikel demonstreert dat DLM "mismatch-gebaseerde verrassing" kan vangen. Dit gebeurt wanneer de epistemische observatie van een agent (bijv. het observeren dat de munt in de rechterhand zit) plotseling wordt tegengesproken door een nieuwe visuele actie die de tegenovergestelde realiteit onthult (de munt is in de linkerhand), wat een logische inconsistentie creëert tussen verwachting en observatie.
Volledigheid: Het artikel stelt vast dat het axioma-systeem DOL sound en sterk compleet is met betrekking tot de klasse van Euclidische en transitieve relationele modellen, waarbij wordt opgemerkt dat serialiteit niet behouden blijft onder alle dynamische updates (een bekend kenmerk van DEL met postcondities).

Betekenis en Claims
De auteurs claimen dat DLM een nieuwe toepassing is van Dynamic Epistemic Logic op het specifieke domein van misdirection. De significantie van het werk ligt in:

Het Gat Vullen: Het bieden van de eerste formele behandeling van visuele misleiding en onnauwkeurige observaties, in contrast met de uitgebreide literatuur over verbale misleiding.
Concepten Verhelderen: Het gebruik van logische instrumenten om de interactie tussen niet-epistemisch en epistemisch zien, en tussen simulatie en dissimulatie, te verhelderen.
Fundamentele Stap: Het artikel positioneert zich als een startpunt voor het modelleren van verschillende vormen van misdirection. Het claimt geen uitgebreide theorie van alle bedrog te zijn, maar eerder een formalisering van gevestigde conceptuele onderscheiden.
Toekomstige Richtingen: De auteurs suggereren dat het kader kan worden uitgebreid om collectieve misleiding (medeplichtigen), intentionele aspecten van bedrog (door gebruik te maken van causale logica of STIT) en strategieën van misdirection via epistemische planning te modelleren. Ze erkennen beperkingen, zoals het verlies van serialiteit in modellen na updates, en stellen voor om alternatieve modelklassen of behoudseigenschappen in toekomstig werk te verkennen.