Interface: DisentailmentRequest
@kortexya/reasoninglayer / Reasoning / DisentailmentRequest
Interface: DisentailmentRequest
Defined in: src/types/reasoning.ts:43
Request for disentailment check.
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
antecedent
antecedent:
TermInputDto
Defined in: src/types/reasoning.ts:45
Antecedent clause (if this holds…).
consequent
consequent:
TermInputDto
Defined in: src/types/reasoning.ts:47
Consequent clause (…then this must NOT hold).
facts?
optionalfacts:TermInputDto[]
Defined in: src/types/reasoning.ts:49
Known facts.