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