Skip to content

Interface: TaggedForwardChainRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Inference / TaggedForwardChainRequest

Interface: TaggedForwardChainRequest

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

Request for tagged forward chaining with probabilistic provenance.

Remarks

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

Properties

factConfidences?

optional factConfidences: FactConfidenceEntry[]

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

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


maxFacts?

optional maxFacts: number

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

Maximum facts to derive before stopping.


maxIterations?

optional maxIterations: number

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

Maximum iterations for forward chaining.