Interface: LtnWitnessEntry
@kortexya/reasoninglayer / LtnWitnessEntry
Interface: LtnWitnessEntry
Section titled “Interface: LtnWitnessEntry”Defined in: src/types/ltn.ts:270
One (individual, certainty) entry of a refutation witness.
Properties
Section titled “Properties”certainty
Section titled “certainty”certainty:
number
Defined in: src/types/ltn.ts:274
The certainty value at the counter-example grounding.
individual
Section titled “individual”individual:
string
Defined in: src/types/ltn.ts:272
The KB rule’s bound individual (echoes the request KB rule).