Skip to content

Type Alias: LtnQueryKind

@kortexya/reasoninglayer


@kortexya/reasoninglayer / LTN / LtnQueryKind

Type Alias: LtnQueryKind

LtnQueryKind = "ground" | "truth" | "value" | "generalisation"

Defined in: src/types/ltn.ts:134

The LTN query kind.

Remarks

  • ground — neural predicate grounding of one individual.
  • truthG_θ(φ), the truth degree of the formula given by rules.
  • value — the per-rule learned certainties of rules.
  • generalisation — score the formula (sort + certainty) on unseen instances.