Interface: GoalResiduationRequest
@kortexya/reasoninglayer / GoalResiduationRequest
Interface: GoalResiduationRequest
Section titled “Interface: GoalResiduationRequest”Defined in: src/types/reasoning.ts:270
Request for goal-level residuation analysis.
Remarks
Section titled “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
Section titled “Properties”availableSorts?
Section titled “availableSorts?”
optionalavailableSorts?:string[]
Defined in: src/types/reasoning.ts:272
Sort names already available as evidence.
goalSortName
Section titled “goalSortName”goalSortName:
string
Defined in: src/types/reasoning.ts:274
The head sort name of the goal to analyse.
maxResults?
Section titled “maxResults?”
optionalmaxResults?:number|null
Defined in: src/types/reasoning.ts:276
Maximum number of residuated entries to return (sorted by info_gain).