Skip to content

Interface: RuleEntryDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Inference / RuleEntryDto

Interface: RuleEntryDto

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

A single stored rule (clause with antecedents).

Remarks

Both head and body are homoiconic PsiTermDto values (untagged feature-value representation).

Properties

body

body: PsiTermDto[]

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

The body (antecedents) of the rule.


certainty?

optional certainty: number | null

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

Optional certainty/confidence for the rule.


head: PsiTermDto

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

The head (consequent) of the rule.


ruleId

ruleId: string

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

Rule term ID (UUID).