Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: LtnQueryKind

@kortexya/reasoninglayer

@kortexya/reasoninglayer / LtnQueryKind

Type Alias: LtnQueryKind

Section titled “Type Alias: LtnQueryKind”

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

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

The LTN query kind.

Remarks

Section titled “Remarks”
  • ground — neural predicate grounding of one individual.
  • truth — G_θ(φ), 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.