Interface: SolutionDto
@kortexya/reasoninglayer / Inference / SolutionDto
Interface: SolutionDto
Defined in: src/types/inference.ts:64
A solution from backward chaining.
Contains variable bindings, an optional proof tree, certainty score, and open-world inference metadata.
Properties
certainty
certainty:
number
Defined in: src/types/inference.ts:70
Certainty score (0.0 to 1.0).
evidenceMatched?
optionalevidenceMatched:number|null
Defined in: src/types/inference.ts:72
Number of matched antecedents (open-world only).
evidenceRatio?
optionalevidenceRatio:number|null
Defined in: src/types/inference.ts:74
Evidence ratio for open-world inference (matched/total antecedents). Null in closed-world mode.
proof?
optionalproof:ProofDto|null
Defined in: src/types/inference.ts:68
Proof tree showing how the solution was derived. Null if proof generation was disabled.
residuatedSorts?
optionalresiduatedSorts:string[]
Defined in: src/types/inference.ts:76
Sort names that were residuated (suspended due to missing information). Open-world only.
substitution
substitution:
HomoiconicSubstitutionDto
Defined in: src/types/inference.ts:66
Variable substitution (bindings from variables to values).