Interface: ImpliesRequest
@kortexya/reasoninglayer / Control / ImpliesRequest
Interface: ImpliesRequest
Defined in: src/types/control.ts:226
Request for implies (A -> B).
Properties
antecedent
antecedent:
Record<string,unknown>
Defined in: src/types/control.ts:230
Antecedent goal.
consequent
consequent:
Record<string,unknown>
Defined in: src/types/control.ts:232
Consequent goal.
sessionId
sessionId:
string
Defined in: src/types/control.ts:228
Execution session ID.