Perform backward chaining to prove a goal
Perform backward-chaining proof search. Required scope: write
POST
Perform backward-chaining proof search.
Required scope:
write
Request body
BackwardChainRequest
string[]
required
Arguments for the goal
string
required
The goal to prove
integer
Maximum proof depth
boolean
Route the proof through the AGM belief guard: consult entrenchment before search, expand/revise the belief base with each proof.
Response
BackwardChainResponse
string[]
Audit log of AGM belief-base mutations (present iff
use_belief_guard).ProofInfo[]
required
boolean
required
integer
required