Beyond the Spell: A Dynamic Logic Analysis of Misdirection
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910902093086720 |
|---|---|
| author | Icard, Benjamin Fervari, Raul |
| author_facet | Icard, Benjamin Fervari, Raul |
| contents | Misdirection can be defined as the intentional action of causing some misrepresentation in an agent, or in a group of agents. Such misrepresentations may result from verbal actions, as in linguistic deception, or from visual actions, as in visual misdirection. Examples of visual misdirection abound (e.g. in nature, in the military), with magic tricks providing a vivid illustration. So far, various types of verbal misdirection have been investigated from a formal perspective (e.g. lying, bluffing) but little attention has been paid to the particular case of visual misdirection. In this paper, we introduce a dynamic epistemic logic to represent not only verbal misdirection on agents' beliefs but also visual misdirection on agents' observations. We illustrate the dynamics of the logic by modelling a classic magic trick known as the French Drop. We also provide a sound and complete axiom system for the logic, and discuss the expressivity and scope of the setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_14516 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Beyond the Spell: A Dynamic Logic Analysis of Misdirection Icard, Benjamin Fervari, Raul Logic in Computer Science Misdirection can be defined as the intentional action of causing some misrepresentation in an agent, or in a group of agents. Such misrepresentations may result from verbal actions, as in linguistic deception, or from visual actions, as in visual misdirection. Examples of visual misdirection abound (e.g. in nature, in the military), with magic tricks providing a vivid illustration. So far, various types of verbal misdirection have been investigated from a formal perspective (e.g. lying, bluffing) but little attention has been paid to the particular case of visual misdirection. In this paper, we introduce a dynamic epistemic logic to represent not only verbal misdirection on agents' beliefs but also visual misdirection on agents' observations. We illustrate the dynamics of the logic by modelling a classic magic trick known as the French Drop. We also provide a sound and complete axiom system for the logic, and discuss the expressivity and scope of the setting. |
| title | Beyond the Spell: A Dynamic Logic Analysis of Misdirection |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2401.14516 |