Mind · Reasoning

GraphOfThought

Graph-structured reasoning (Macro for Think(DAG))

Definition

Mechanism

The canonical implementation of graph-structured reasoning. Instantiates the Think primitive with a DAG topology so that inference steps can have multiple predecessors and multiple successors — nodes that converge from different reasoning branches can unify mid-computation without forcing a tree shape. Complements ChainOfThought (linear), TreeOfThoughts (branching without merge), and SkeletonOfThought (outline-parallel expansion). Used when distinct lines of reasoning should feed into shared intermediate conclusions — common in proof assistants, complex debugging, and multi-hypothesis analysis where evidence from branch A refines node X shared with branch B.

Invariants

  1. Acyclicity inherited from DAG: no reasoning step is its own ancestor.
  2. Fan-in permitted: a node may have multiple parent inferences, modeling evidence convergence.
  3. Each node applies Think once; repeated re-evaluation is a caller concern, not a topology property.

Risks

Failure modes

None stated.

Relationships

Builds on

Composes with

Infrastructure

DAG

Directed acyclic dependency graph

Think

Atomic cognitive step

Nothing in this library builds on this pattern yet.

Reference

Signature

  • Think(DAG)

Identity

Ref
GraphOfThought#aff0
Sema ID
sema:GraphOfThought#mh:SHA-256:aff044b7909bc26511c42ece0cf090bd4d1f82431a5728e94fedcd2ad9733160
Ring
2
Tier
2
Updated
2026-11-11
Supersedes
  • sema:GraphOfThought#mh:SHA-256:ccee7b6c5ea42d243d5921a7dfbf074ef9aba5212cff0714e4ce9019077c907d
  • sema:GraphOfThought#mh:SHA-256:d1d584dba2c12ecbe922171f0519cc97d54fd4b04ffe8d2810122480e64c38b9