Interface: GoalResiduationRequest

@kortexya/reasoninglayer / Reasoning / GoalResiduationRequest

Interface: GoalResiduationRequest

Defined in: src/types/reasoning.ts:202

Request for goal-level residuation analysis.

Remarks

Given a goal sort name and the sorts already available as evidence, analyses the rule base to find which antecedent sorts are missing. Returns entries sorted by information gain (most useful evidence first).

Properties

availableSorts?

optional availableSorts: string[]

Defined in: src/types/reasoning.ts:204

Sort names already available as evidence.

goalSortName

goalSortName: string

Defined in: src/types/reasoning.ts:206

The head sort name of the goal to analyse.

maxResults?

optional maxResults: number | null

Defined in: src/types/reasoning.ts:208

Maximum number of residuated entries to return (sorted by info_gain).