Interface: DisentailmentRequest
@kortexya/reasoninglayer / DisentailmentRequest
Interface: DisentailmentRequest
Section titled “Interface: DisentailmentRequest”Defined in: src/types/reasoning.ts:74
Request for disentailment check.
Remarks
Section titled “Remarks”Disentailment A =/=> B means: “if A holds, then B must NOT hold”. Returns whether the disentailment is violated (conflict: both A and B hold).
Properties
Section titled “Properties”antecedent
Section titled “antecedent”antecedent:
TermInputDto
Defined in: src/types/reasoning.ts:76
Antecedent clause (if this holds…).
consequent
Section titled “consequent”consequent:
TermInputDto
Defined in: src/types/reasoning.ts:78
Consequent clause (…then this must NOT hold).
facts?
Section titled “facts?”
optionalfacts?:TermInputDto[]
Defined in: src/types/reasoning.ts:80
Known facts.