Formal Tool Contracts Support Verifiable Planning
A formal tool contract specifies preconditions, postconditions, side effects, failure modes, and authority. Planners can compose tools only when one action establishes the next action's needs.
0
1
Contributors are:
Tags
AI Agent Graph Engineering
Graph Engineering for AI Agents
Related
Automated Graph Synthesis Is Constrained Program Generation
In this situation—planning publication only after fact-check and consent—which choice best applies “Planning Graphs Expose Preconditions and Effects”?
Constitutional Graph Governance Maps Principles to Enforcement
In this situation—blocking a transfer above the currently approved amount—which choice best applies “Runtime Monitors Enforce Critical Invariants”?
Neuro-Symbolic Graphs Combine Learned and Explicit Reasoning
Learn After
Related
Automated Graph Synthesis Is Constrained Program Generation
In this situation—planning publication only after fact-check and consent—which choice best applies “Planning Graphs Expose Preconditions and Effects”?
Constitutional Graph Governance Maps Principles to Enforcement
In this situation—blocking a transfer above the currently approved amount—which choice best applies “Runtime Monitors Enforce Critical Invariants”?
Neuro-Symbolic Graphs Combine Learned and Explicit Reasoning