Skip to content

Type Alias: ReasoningOperationName

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ReasoningOperationName

ReasoningOperationName = "subsumption" | "merge" | "entailment" | "disentailment"

Defined in: src/types/reasoning.ts:457

The reasoning operation an entry of the operation log records.