Deferred Semantic Binding Language

Abstract

Deferred Semantic Binding Language (DSBL) is a framework for context-dependent semantics. A symbol carries intent without committing to outcome. Meaning is bound only at activation, when runtime context is sufficient: who acts, when, where, and the current state of the system.

A token like ⟦VOTE:promote⟧ does not prescribe its effect. At activation, gates evaluate the surrounding context and decide what happens: the symbol binds, stays latent (its conditions not yet met), or is rejected. The same symbol, issued by different actors in different contexts, can resolve to entirely different outcomes.

Symbols can be gated, combined, nested, and chained. Binding time becomes a first-class design parameter.

Full paper [pdf]

Foundation / Symbols

DSBL symbols are carriers of dormant meaning. Each is defined with its activation conditions; until runtime context satisfies them, the symbol stays latent. When context binds it, the symbol becomes bound, its outcome computed from the situation, not prescribed in advance.

The transition from latent to bound is the core dynamic. See the latent and bound article. Closest lineage is speech-act theory (Austin, Searle); the paper traces this in detail.

Some symbols gate (decide whether activation may proceed); others act, executing when activated. Both classes appear in the table below.

bindlang implements DSBL in Python. A separate prototype explores multi-agent voting. Both are experimental.

Symbol Notation

Symbols are written as ⟦CATEGORY:name⟧. Those listed below are speculative sketches, possibly relevant; in what context remains open.