Interface: TaggedDerivedFact
@kortexya/reasoninglayer / TaggedDerivedFact
Interface: TaggedDerivedFact
Section titled “Interface: TaggedDerivedFact”Defined in: src/types/inference.ts:1340
A derived fact with provenance confidence from tagged forward chaining.
Properties
Section titled “Properties”confidence
Section titled “confidence”confidence:
number
Defined in: src/types/inference.ts:1344
Provenance confidence in [0.0, 1.0].
isInitial
Section titled “isInitial”isInitial:
boolean
Defined in: src/types/inference.ts:1346
Whether this was an initial fact (axiom) or newly derived.
sortName?
Section titled “sortName?”
optionalsortName?:string|null
Defined in: src/types/inference.ts:1348
The sort name of the derived fact.
termId
Section titled “termId”termId:
string
Defined in: src/types/inference.ts:1342
The term ID of the derived fact (UUID).