Skip to content

Interface: LogOddsAntecedentContributionDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / LogOddsAntecedentContributionDto

Interface: LogOddsAntecedentContributionDto

Section titled “Interface: LogOddsAntecedentContributionDto”

Defined in: src/types/inference.ts:355

What one antecedent contributed to a solution’s score.

antecedentSort: string

Defined in: src/types/inference.ts:359

Its sort name.


antecedentSortId: string

Defined in: src/types/inference.ts:361

Its sort id.


antecedentTermId: string

Defined in: src/types/inference.ts:357

The antecedent’s term.


coverageContribution: number

Defined in: src/types/inference.ts:381

What it added to the coverage term.


credited: boolean

Defined in: src/types/inference.ts:369

Whether this antecedent was credited.

An uncredited antecedent still reports its witnesses — it was matched but did not earn credit, which is a different state from unmatched.


creditedFactIds: string[]

Defined in: src/types/inference.ts:375

The fact ids that earned credit.


logLikelihoodContribution: number

Defined in: src/types/inference.ts:379

What it added to the log-likelihood sum.


logLikelihoodRatio: number

Defined in: src/types/inference.ts:377

Its log-likelihood ratio.


witnesses: LogOddsWitnessDto[]

Defined in: src/types/inference.ts:371

The facts that witnessed it.


witnessFactIds: string[]

Defined in: src/types/inference.ts:373

The witnessing fact ids.