Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: TaggedForwardChainRequest

@kortexya/reasoninglayer

@kortexya/reasoninglayer / TaggedForwardChainRequest

Interface: TaggedForwardChainRequest

Section titled “Interface: TaggedForwardChainRequest”

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

Request for tagged forward chaining with probabilistic provenance.

Remarks

Section titled “Remarks”

Each derived fact carries a confidence value computed from provenance semiring operations (noisy-or for disjunction, product for conjunction).

Properties

Section titled “Properties”

factConfidences?

Section titled “factConfidences?”

optional factConfidences?: FactConfidenceEntry[]

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

Initial fact confidence values (term_id to probability). Facts not listed default to 1.0.

maxFacts?

Section titled “maxFacts?”

optional maxFacts?: number

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

Maximum facts to derive before stopping.

maxIterations?

Section titled “maxIterations?”

optional maxIterations?: number

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

Maximum iterations for forward chaining.