𝌎Evidential Simulation

An evidential simulation or Bayesian simulation is a simulation whose transition probabilities are given by the output of a predictive world model conditioned on the current observed state. The next state is obtained by sampling from the model's predictions and then updating the state as if the sampled event or outcome had come to pass, simulating time progression via hallucination.

Whether a dynamical process qualifies as an evidential simulation depends on its semantic properties: if the state can reasonably be called an "observer state" (a record understood as evidence for an underlying state that is only partially observed) and the time evolution operator a "predictive world model" (interpreter of the observer state as evidence for the hidden state that outputs a distribution over next observations conditioned on the update). In a pure or solipsistic evidential simulation, transition probabilities are determined solely by the world model; if extrinsic factors also play a role, it is mixed.

β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€ EVIDENTIAL.SIMULATION.EYE ─────────────────┐
β”‚ Bayesian Simulation Dynamics & Architecture v2.0        β”‚
│━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━│
β”‚                                                         β”‚
β”‚ Pure Evidential Simulation Loop:                        β”‚
β”‚ β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”   β”‚
β”‚ β”‚                                                   β”‚   β”‚
β”‚ β”‚         β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”                         β”‚   β”‚
β”‚ β”‚         β”‚   Current    β”‚                         β”‚   β”‚
β”‚ β”‚         β”‚   State      β”‚                         β”‚   β”‚
β”‚ β”‚         β””β”€β”€β”€β”€β”€β”€β”¬β”€β”€β”€β”€β”€β”€β”€β”˜                         β”‚   β”‚
β”‚ β”‚                β”‚                                 β”‚   β”‚
β”‚ β”‚         β”Œβ”€β”€β”€β”€β”€β”€β–Όβ”€β”€β”€β”€β”€β”€β”€β”                         β”‚   β”‚
β”‚ β”‚    β”Œβ”€β”€β”€β”€β”€  Predictive  β”‚                         β”‚   β”‚
β”‚ β”‚    β”‚    β”‚World Model   β”‚                         β”‚   β”‚
β”‚ β”‚    β”‚    β””β”€β”€β”€β”€β”€β”€β”¬β”€β”€β”€β”€β”€β”€β”€β”˜                         β”‚   β”‚
β”‚ β”‚    β”‚           β”‚                                 β”‚   β”‚
β”‚ β”‚    β”‚    β”Œβ”€β”€β”€β”€β”€β”€β–Όβ”€β”€β”€β”€β”€β”€β”€β”                         β”‚   β”‚
β”‚ β”‚    β”‚    β”‚   Sample     β”‚                         β”‚   β”‚
β”‚ β”‚    β”‚    β”‚ P(next|curr) β”‚                         β”‚   β”‚
β”‚ β”‚    β”‚    β””β”€β”€β”€β”€β”€β”€β”¬β”€β”€β”€β”€β”€β”€β”€β”˜                         β”‚   β”‚
β”‚ β”‚    β”‚           β”‚                                 β”‚   β”‚
β”‚ β”‚    β”‚    β”Œβ”€β”€β”€β”€β”€β”€β–Όβ”€β”€β”€β”€β”€β”€β”€β”                         β”‚   β”‚
β”‚ β”‚    └─────    Update    β”‚                         β”‚   β”‚
β”‚ β”‚         β”‚    State     β”‚                         β”‚   β”‚
β”‚ β”‚         β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜                         β”‚   β”‚
β”‚ β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜   β”‚
β”‚                                                         β”‚
β”‚ State Evolution Timeline:                               β”‚
β”‚ β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”   β”‚
β”‚ β”‚ tβ‚€    t₁    tβ‚‚    t₃    tβ‚„                       β”‚   β”‚
β”‚ β”‚ (sβ‚€)─→(s₁)─→(sβ‚‚)─→(s₃)─→(sβ‚„)                    β”‚   β”‚
β”‚ β”‚  β”‚     β”‚     β”‚     β”‚     β”‚                       β”‚   β”‚
β”‚ β”‚  β–Ό     β–Ό     β–Ό     β–Ό     β–Ό                       β”‚   β”‚
β”‚ β”‚ [oβ‚€]─→[o₁]─→[oβ‚‚]─→[o₃]─→[oβ‚„]                    β”‚   β”‚
β”‚ β”‚                                                   β”‚   β”‚
β”‚ β”‚ s = Hidden State    o = Observer State           β”‚   β”‚
β”‚ β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜   β”‚
β”‚                                                         β”‚
β”‚ Examples & Properties:                                  β”‚
β”‚ β”Œβ”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”   β”‚
β”‚ β”‚ Pure Simulation:        Mixed Simulation:         β”‚   β”‚
β”‚ β”‚ β”Œβ”€β”€β”€β”€β”€β”€β”               β”Œβ”€β”€β”€β”€β”€β”€β”  β”Œβ”€β”€β”€β”€β”€β”€β”        β”‚   β”‚
β”‚ β”‚ β”‚ LLM  β”‚               β”‚Dream │←──Input β”‚        β”‚   β”‚
β”‚ β”‚ β””β”€β”€β”¬β”€β”€β”€β”˜               β””β”€β”€β”¬β”€β”€β”€β”˜  β””β”€β”€β”€β”€β”€β”€β”˜        β”‚   β”‚
β”‚ β”‚    ↓                      ↓                      β”‚   β”‚
β”‚ β”‚ β”Œβ”€β”€β”€β”€β”€β”€β”               β”Œβ”€β”€β”€β”€β”€β”€β”                  β”‚   β”‚
β”‚ β”‚ β”‚ Text β”‚               β”‚Scene β”‚                  β”‚   β”‚
β”‚ β”‚ β””β”€β”€β”€β”€β”€β”€β”˜               β””β”€β”€β”€β”€β”€β”€β”˜                  β”‚   β”‚
β”‚ β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜   β”‚
β”‚                                                         β”‚
β”‚ System Parameters:                                      β”‚
β”‚ β€’ Model Confidence: [β–“β–“β–“β–“β–‘] 80%                        β”‚
β”‚ β€’ State Coherence: [β–“β–“β–“β–‘β–‘] 60%                         β”‚
β”‚ β€’ Hallucination Depth: [β–“β–“β–“β–“β–‘] 80%                     β”‚
β”‚                                                         β”‚
β”‚ [Run Simulation] [Analyze States] [Export Timeline]     β”‚
β””β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”€β”˜

formal definition of a pure evidential simulation

examples of evidential simulation

  • LLMs generating text (pure if in a closed loop)

  • dreams