Interface: EntailmentResponse
@kortexya/reasoninglayer / EntailmentResponse
Interface: EntailmentResponse
Section titled “Interface: EntailmentResponse”Defined in: src/types/reasoning.ts:25
Response from entailment check.
Properties
Section titled “Properties”antecedentDegree
Section titled “antecedentDegree”antecedentDegree:
number
Defined in: src/types/reasoning.ts:54
How strongly the supplied facts establish the antecedent, in [0, 1].
Remarks
Section titled “Remarks”The best subsumption degree of the antecedent over any fact: a fact
witnesses the antecedent when the antecedent subsumes it, so a sparrow
fact supports animal.
computationTimeMs
Section titled “computationTimeMs”computationTimeMs:
number
Defined in: src/types/reasoning.ts:27
Computation time in milliseconds.
confidence
Section titled “confidence”confidence:
number
Defined in: src/types/reasoning.ts:34
Confidence degree (0.0 to 1.0).
Remarks
Section titled “Remarks”Equal to EntailmentResponse.degree.
consequentDegree
Section titled “consequentDegree”consequentDegree:
number
Defined in: src/types/reasoning.ts:62
How strongly the consequent is established, in [0, 1].
Remarks
Section titled “Remarks”The better of two routes: witnessed by the facts, or subsuming the antecedent it would follow from.
degree
Section titled “degree”degree:
number
Defined in: src/types/reasoning.ts:45
Graded entailment degree in [0, 1]: min(antecedentDegree, consequentDegree).
Remarks
Section titled “Remarks”A value strictly between 0 and 1 means the two are related only through a fuzzy sort relation (an explicit graded subsumption or an approved sort similarity), not through the crisp hierarchy.
entails
Section titled “entails”entails:
boolean
Defined in: src/types/reasoning.ts:36
Whether antecedent entails consequent: EntailmentResponse.degree read crisply.