Interface: RuleBaseCertificateDto
@kortexya/reasoninglayer / RuleBaseCertificateDto
Interface: RuleBaseCertificateDto
Section titled “Interface: RuleBaseCertificateDto”Defined in: src/types/analysis.ts:469
What the engine can prove about the tenant’s rule base as a whole.
Remarks
Section titled “Remarks”Two properties, both decided statically over the rules rather than by
running them: that forward reasoning terminates, and that it is
confluent — the same conclusions whatever order the rules fire in.
fullyCertified is the conjunction.
Properties
Section titled “Properties”confluence
Section titled “confluence”confluence:
ConfluenceDto
Defined in: src/types/analysis.ts:475
Does the order rules fire in change the answer?
fullyCertified
Section titled “fullyCertified”fullyCertified:
boolean
Defined in: src/types/analysis.ts:471
true iff the rule base both terminates and is order-independent.
termination
Section titled “termination”termination:
TerminationDto
Defined in: src/types/analysis.ts:473
Does forward reasoning reach a fixpoint?