Interface: SolutionDto
@kortexya/reasoninglayer / Inference / SolutionDto
Interface: SolutionDto
Defined in: src/types/inference.ts:75
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:81
Certainty score (0.0 to 1.0).
evidenceMatched?
optionalevidenceMatched:number|null
Defined in: src/types/inference.ts:83
Number of matched antecedents (open-world only).
evidenceRatio?
optionalevidenceRatio:number|null
Defined in: src/types/inference.ts:85
Evidence ratio for open-world inference (matched/total antecedents). Null in closed-world mode.
proof?
optionalproof:ProofDto|null
Defined in: src/types/inference.ts:79
Proof tree showing how the solution was derived. Null if proof generation was disabled.
residuatedSorts?
optionalresiduatedSorts:string[]
Defined in: src/types/inference.ts:87
Sort names that were residuated (suspended due to missing information). Open-world only.
substitution
substitution:
HomoiconicSubstitutionDto
Defined in: src/types/inference.ts:77
Variable substitution (bindings from variables to values).