Interface: LtnRule

@kortexya/reasoninglayer / LTN / LtnRule

Interface: LtnRule

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

One LTN rule: a clause individual : sort carrying a starting certainty.

Remarks

The fuzzy interpretation gives individual’s membership degree in sort; the rule’s per-rule satisfaction is that membership weighted by the rule’s certainty. The sort is minted as a child of the root sort within the request’s self-contained theory — it is not resolved against the tenant’s persisted sort lattice.

Example

const rule: LtnRule = { individual: 'rex', sort: 'dog', membership: 0.9, certainty: 1.0 };

Properties

certainty?

optional certainty: number | null

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

The rule’s initial homoiconic certainty in [0, 1].

Default Value

1.0

individual

individual: string

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

The individual bound to the clause’s variable.

membership

membership: number

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

individual’s fuzzy membership degree in sort, in [0, 1].

sort?

optional sort: string | null

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

The sort the clause constrains, by name. Absent ⇒ the root sort (thing).