Type Alias: LtnAggregatorKind
@kortexya/reasoninglayer / LTN / LtnAggregatorKind
Type Alias: LtnAggregatorKind
LtnAggregatorKind =
"p_mean_error"|"p_mean"|"min"|"max"
Defined in: src/types/ltn.ts:32
The LTN quantifier aggregator kind.
Remarks
Selects how per-rule satisfaction values combine into the KB-level SatAgg:
p_mean_error— the universal quantifier (∀); the paper’s recommended default.p_mean— the existential quantifier (∃).min— Gödel ∀ (the weakest rule decides).max— Gödel ∃ (the strongest rule decides).
Wire values are these snake_case strings verbatim.