Interface: TaggedForwardChainRequest

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

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).

optional factConfidences: FactConfidenceEntry[]

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

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

optional maxFacts: number

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

Maximum facts to derive before stopping.

optional maxIterations: number

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

Maximum iterations for forward chaining.