Skip to content

Interface: TaggedDerivedFact

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Inference / TaggedDerivedFact

Interface: TaggedDerivedFact

Defined in: src/types/inference.ts:539

A derived fact with provenance confidence from tagged forward chaining.

Properties

confidence

confidence: number

Defined in: src/types/inference.ts:543

Provenance confidence in [0.0, 1.0].


isInitial

isInitial: boolean

Defined in: src/types/inference.ts:545

Whether this was an initial fact (axiom) or newly derived.


sortName?

optional sortName: string | null

Defined in: src/types/inference.ts:547

The sort name of the derived fact.


termId

termId: string

Defined in: src/types/inference.ts:541

The term ID of the derived fact (UUID).