Symbolic Reasoning Kit
Logic-based reasoning with rules, ontologies, and formal inference.
Configuration
Symbolic Reasoning Dashboard
Rules
124
Inferences
48
Proofs
12
Load124 RULESKnowledge base ready
QueryRESOLVEDInference chain found
ProveVALIDFormal proof generated
ExplainREADABLEHuman explanation ready
Integration Code
import { createSymbolicReasoner } from 'agent-tools-kit/cognitive-arch'
const reasoner = createSymbolicReasoner({ logic: 'first-order' })
const result = await reasoner.query('isAuthorized(agent, action)')