Interface: EntailmentRequest
@kortexya/reasoninglayer / EntailmentRequest
Interface: EntailmentRequest
Section titled “Interface: EntailmentRequest”Defined in: src/types/reasoning.ts:13
Request for logical entailment check.
Remarks
Section titled “Remarks”Checks whether the antecedent logically entails the consequent given a set of known facts.
Properties
Section titled “Properties”antecedent
Section titled “antecedent”antecedent:
TermInputDto
Defined in: src/types/reasoning.ts:15
Antecedent clause (if this holds…).
consequent
Section titled “consequent”consequent:
TermInputDto
Defined in: src/types/reasoning.ts:17
Consequent clause (…then this must hold).
facts?
Section titled “facts?”
optionalfacts?:TermInputDto[]
Defined in: src/types/reasoning.ts:19
Known facts to use during entailment checking.