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