Machine-Native ReasoningReading edition

68. Static core and transfer theory

Reading tools
Reading library

Saved reading

Read side by side

Loading chapter…
Resources & source
PDF and editable source · Chapter source · About this edition

Definition SRWT.6 (Interaction graph). Let \[G=(V,E,s,t)\] be a finite directed multigraph. Parallel edges and self-loops are allowed. The vertex set indexes strata, participants, artifacts, models, instruments, or subworkspaces. An edge \(e:i\to j\) denotes an admissible directed translation or influence channel from \(i\) to \(j\).