Pragmatic Mode

Simulate

Execute transition rules over time to observe state evolution.

Concept

The Simulate pragmatic steps forward in time, applying Transition Rules to the Knowledge Base. Unlike Planning (which searches for a goal), Simulation is deterministic and follows the defined rules step-by-step.

Syntax

Simulate <number> steps.

Transition Rules

Transitions describe how the world changes when specific events or conditions occur.

When Light_1 is red occurs, then Light_1 is green.
When Light_1 is green occurs, then Light_1 is yellow.
  • Condition: Evaluated against the state at the start of the step.
  • Effect: Applied to the state for the next step.

Execution Model (v1)

  1. Clone current KB state.
  2. For step 1 to N:
    • Evaluate all transition rules.
    • Apply effects of fired rules.
    • Record state snapshot.
  3. Return sequence of steps and state changes.

Reference

Defined in DS20 - Simulation.