Interface: LtnRefuteResponse
@kortexya/reasoninglayer / LtnRefuteResponse
Interface: LtnRefuteResponse
Section titled “Interface: LtnRefuteResponse”Defined in: src/types/ltn.ts:293
The refutation verdict.
Remarks
Section titled “Remarks”verdict is one of "holds" (φ is a logical consequence of K at threshold q),
"refuted" (a counter-example grounding exists — see witness), or
"inconclusive" (the search found no decisive grounding). It is typed as
string because the backend does not publish it as a closed enum.
Example
Section titled “Example”if (response.verdict === 'refuted') { console.log('counter-example:', response.witness);}Properties
Section titled “Properties”bestKbSat?
Section titled “bestKbSat?”
optionalbestKbSat?:number|null
Defined in: src/types/ltn.ts:297
SatAgg(K) at the search’s best attempt (inconclusive).
candidateSat?
Section titled “candidateSat?”
optionalcandidateSat?:number|null
Defined in: src/types/ltn.ts:299
G_θ(φ) at the decisive grounding (holds / refuted).
candidateSatAtBest?
Section titled “candidateSatAtBest?”
optionalcandidateSatAtBest?:number|null
Defined in: src/types/ltn.ts:301
G_θ(φ) at that same best attempt (inconclusive).
kbSat?
Section titled “kbSat?”
optionalkbSat?:number|null
Defined in: src/types/ltn.ts:303
SatAgg(K) at the decisive grounding (holds / refuted).
verdict
Section titled “verdict”verdict:
string
Defined in: src/types/ltn.ts:295
"holds", "refuted", or "inconclusive".
witness?
Section titled “witness?”
optionalwitness?:LtnWitnessEntry[] |null
Defined in: src/types/ltn.ts:305
The counter-example certainty assignment over the KB rules (refuted).