Interface: LtnRefuteResponse

@kortexya/reasoninglayer / LTN / LtnRefuteResponse

Interface: LtnRefuteResponse

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

The refutation verdict.

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

if (response.verdict === 'refuted') {
  console.log('counter-example:', response.witness);
}

Properties

bestKbSat?

optional bestKbSat: number | null

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

SatAgg(K) at the search’s best attempt (inconclusive).

candidateSat?

optional candidateSat: number | null

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

G_θ(φ) at the decisive grounding (holds / refuted).

candidateSatAtBest?

optional candidateSatAtBest: number | null

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

G_θ(φ) at that same best attempt (inconclusive).

kbSat?

optional kbSat: number | null

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

SatAgg(K) at the decisive grounding (holds / refuted).

verdict

verdict: string

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

"holds", "refuted", or "inconclusive".

witness?

optional witness: LtnWitnessEntry[] | null

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

The counter-example certainty assignment over the KB rules (refuted).