Skip to content
Reasoning Layer SDK
Search
Ctrl
K
Cancel
Select theme
Dark
Light
Auto
Select language
English
Français
Getting Started
Installation
Quick Start
Configuration
Concepts
What is the Reasoning Layer?
Sorts and Hierarchy
Psi-Terms and Features
Unification
Values and Formats
Inference
Recursive Rules
Homoiconicity
Open-World Reasoning
Constraint Programming
Fuzzy Logic Fundamentals
Cognitive Agents and BDI
Oversight
Error Handling
Builders
Guides
Creating Sorts
Working with Terms
Running Inference
Querying Data
Constrained Variables
Cognitive Agents
Causal Reasoning
Fuzzy Logic
Optimization
Scheduling
Flow Networks
Workshop
Instructor Guide
Setup
Exercises
Slides (Fullscreen)
Tutorials
Clinical Trial Knowledge Graph
Loan Approval Engine
Incident Response Agent
API Reference
@kortexya/reasoninglayer
@kortexya
namespaces
ActionReviews
interfaces
Interface: ActionReviewResponse
Interface: ActionReviewSummaryDto
Interface: ApproveActionRequest
Interface: BulkActionReviewResponse
Interface: BulkApproveActionsRequest
Interface: BulkRejectActionsRequest
Interface: FailedReviewDto
Interface: ListActionReviewsResponse
Interface: ModifyActionRequest
Interface: PendingActionReviewDto
Interface: RejectActionRequest
type-aliases
Type Alias: ActionReviewReasonDto
Type Alias: ActionReviewStatusDto
ActionReviews
Admin
interfaces
Interface: ClearTenantResponse
Interface: FactoryResetResponse
Interface: ListTenantsResponse
Interface: TenantInfoDto
Admin
Analysis
interfaces
Interface: ConfirmResponse
Interface: ExplorationCompleteResponse
Interface: ExplorationProgress
Interface: ExplorationQuestion
Interface: ExplorationStatusResponse
Interface: FuzzyConceptLevel
Interface: Implication
Interface: RefuteRequest
Interface: RefuteResponse
Interface: SortDiscoveryRequest
Interface: SortDiscoveryResponse
Interface: SortRecommendation
Interface: StartExplorationRequest
Interface: StartExplorationResponse
Analysis
Causal
interfaces
Interface: AddCausalRelationRequest
Interface: AddCausalRelationResponse
Interface: CausalAncestorRequest
Interface: CausalAncestorResponse
Interface: CausalChainDto
Interface: CausalEdgeDto
Interface: CausalProofTreeDto
Interface: CausalRelationshipDto
Interface: CausesRequest
Interface: CausesResponse
Interface: CounterfactualRequest
Interface: CounterfactualResponse
Interface: CounterfactualTraceDto
Interface: DSeparatedRequest
Interface: DSeparatedResponse
Interface: GetCausalModelResponse
Interface: InterventionRequest
Interface: InterventionResponse
Interface: ProofNodeDto
Interface: ProofStatisticsDto
Interface: QueryResultDto
Interface: RootCauseAnalysisRequest
Interface: RootCauseAnalysisResponse
Interface: RootCauseDto
Interface: RootCauseWithProofResponse
Causal
CDL
interfaces
Interface: ArchitectureInfoDto
Interface: CdlComponentStatus
Interface: CdlStatusResponse
Interface: CdlVerificationDto
Interface: ClassifySafetyRequest
Interface: ClassifySafetyResponse
Interface: DerivedInferenceRequest
Interface: DerivedInferenceResponse
Interface: DerivedInferenceResultDto
Interface: DifferentiableFcRequest
Interface: DifferentiableFcResponse
Interface: DynamicAddSortRequest
Interface: DynamicAddSortResponse
Interface: FeaturePair
Interface: IterationMetricDto
Interface: MonadicFactDto
Interface: MonadicFixpointRequest
Interface: MonadicFixpointResponse
Interface: SafetyModelInfoDto
Interface: SoftUnifyRequest
Interface: SoftUnifyResponse
Interface: SymbolicResultDto
Interface: TaggedFactDto
Interface: TaggedFcRequest
Interface: TaggedFcResponse
Interface: WeightedFactDto
CDL
Cognitive
interfaces
Interface: ActivationDto
Interface: AdaptiveModifyRequest
Interface: AdaptiveModifyResponse
Interface: AddBeliefRequest
Interface: AddBeliefResponse
Interface: AddCognitiveRuleRequest
Interface: AddCognitiveRuleResponse
Interface: AddGoalRequest
Interface: AddGoalResponse
Interface: AddHtnMethodRequest
Interface: AddHtnMethodResponse
Interface: AgentBeliefDto
Interface: AgentConfigDto
Interface: AgentEventHandlers
Interface: AgentGoalDto
Interface: AgentStateDto
Interface: AgentSubscription
Interface: BeliefDto
Interface: BroadcastMessageRequest
Interface: BroadcastMessageResponse
Interface: CognitiveGoalDto
Interface: CognitiveTermInput
Interface: CreateAgentRequest
Interface: CreateAgentResponse
Interface: CreateCognitiveSortRequest
Interface: CreateCognitiveSortResponse
Interface: CuriosityTargetDto
Interface: CycleOutcomeDto
Interface: DeleteAgentResponse
Interface: DeletePlanRequest
Interface: DeletePlanResponse
Interface: DriveDeficitDto
Interface: DriveDto
Interface: EpisodeDto
Interface: EpisodeStatsResponse
Interface: ExtendedAgentStateDto
Interface: FindPlansRequest
Interface: FindPlansResponse
Interface: GetAgentDrivesRequest
Interface: GetAgentStateRequest
Interface: GetAgentStateResponse
Interface: GetEpisodeStatsRequest
Interface: GetExtendedAgentStateRequest
Interface: GetExtendedAgentStateResponse
Interface: HtnMethodDto
Interface: ImpasseDto
Interface: IntegratedCycleOutcomeDto
Interface: IntegratedEngineConfigDto
Interface: IntentionDto
Interface: LearnFromCorrectionRequest
Interface: LearnFromCorrectionResponse
Interface: MarkMessagesReadRequest
Interface: MarkMessagesReadResponse
Interface: MotivationStateDto
Interface: PlanMatchDto
Interface: PredictionErrorDto
Interface: ProvideFeedbackRequest
Interface: ProvideFeedbackResponse
Interface: RecalledEpisodeDto
Interface: RecallEpisodesRequest
Interface: RecallEpisodesResponse
Interface: RecordEpisodeRequest
Interface: RecordEpisodeResponse
Interface: ReflectionQueryRequest
Interface: ReflectionQueryResponse
Interface: RuleUtilityDto
Interface: RunCycleRequest
Interface: RunCycleResponse
Interface: RunIntegratedCycleRequest
Interface: RunIntegratedCycleResponse
Interface: SendMessageRequest
Interface: SendMessageResponse
Interface: StorePlanRequest
Interface: StorePlanResponse
Interface: SubscribeToKbRequest
Interface: SubscribeToKbResponse
Interface: UpdatePlanStatsRequest
Interface: UpdatePlanStatsResponse
type-aliases
Type Alias: AgentEvent
Type Alias: AttentionTargetDto
Type Alias: EpisodeOutcomeDto
Type Alias: KbChangeDto
Type Alias: KbChangeType
Cognitive
Collections
interfaces
Interface: CollectionDto
Interface: CreateCollectionRequest
Interface: UpdateCollectionRequest
Collections
Communities
interfaces
Interface: CommunityDetectionConfigDto
Interface: CommunityDetectionStatsDto
Interface: CommunityDto
Interface: CommunityMatchDto
Interface: CommunityReportDto
Interface: CommunityReportSummaryDto
Interface: CommunitySearchStatsDto
Interface: DetectCommunitiesRequest
Interface: DetectCommunitiesResponse
Interface: GetMembershipsRequest
Interface: GetMembershipsResponse
Interface: MembershipDto
Interface: SearchCommunitiesRequest
Interface: SearchCommunitiesResponse
type-aliases
Type Alias: CommunitySearchModeDto
Communities
Compliance
interfaces
Interface: AppendRequest
Interface: AuditRecord
Interface: CaptureSnapshotRequest
Interface: ListAuditOptions
Interface: PredictionEntry
Interface: PredictionSnapshot
Interface: SnapshotFilter
Interface: SummaryResponse
Interface: ValidationReportDto
Interface: VerifyResponse
type-aliases
Type Alias: GroundTruthStatus
Compliance
Constraints
interfaces
Interface: AddConstraintsRequest
Interface: AddConstraintsResponse
Interface: BindVariablesRequest
Interface: BindVariablesResponse
Interface: CleanupSessionsResponse
Interface: ConstraintGraphRequest
Interface: ConstraintGraphResponse
Interface: ConstraintGraphStats
Interface: ConstraintSessionStatus
Interface: CreateConstraintSessionRequest
Interface: CreateConstraintSessionResponse
Interface: CycleDto
Interface: FdDomainStateDto
Interface: SolveConstraintRequest
Interface: SolveConstraintResponse
type-aliases
Type Alias: ArithmeticConstraintDto
Type Alias: ArithmeticExprDto
Type Alias: ArithOpDto
Type Alias: GeneralConstraintDto
Type Alias: RelOpDto
Constraints
Control
interfaces
Interface: AddSymbolRequest
Interface: AddSymbolResponse
Interface: BacktrackableAssignRequest
Interface: BacktrackableAssignResponse
Interface: CallOnceRequest
Interface: CallOnceResponse
Interface: CondRequest
Interface: CondResponse
Interface: ControlNafRequest
Interface: CreateModuleRequest
Interface: CreateModuleResponse
Interface: CutRequest
Interface: CutResponse
Interface: FindallRequest
Interface: FindallResponse
Interface: ForallRequest
Interface: ForallResponse
Interface: GlobalAssignRequest
Interface: GlobalAssignResponse
Interface: GlobalGetRequest
Interface: GlobalIncrementRequest
Interface: GlobalIncrementResponse
Interface: ImpliesRequest
Interface: ImpliesResponse
Interface: ImportModuleRequest
Interface: ImportModuleResponse
Interface: ListSymbolsRequest
Interface: ListSymbolsResponse
Interface: NafResponse
Interface: ResolveSymbolRequest
Interface: SymbolDto
Interface: UndoRequest
Interface: UndoResponse
type-aliases
Type Alias: AssignValueDto
Type Alias: GlobalGetResponse
Type Alias: ResolveSymbolResponse
Type Alias: SymbolKindDto
Control
Conversation
interfaces
Interface: ClaimAnnotationDto
Interface: ConversationMessageRequest
Interface: ConversationMessageResponse
Interface: ConversationSummaryDto
Interface: ConversationTurnsResponse
Interface: DerivationSummaryDto
Interface: ListConversationsResponse
Interface: ProofTraceNodeDto
Interface: SourceExcerptDto
Interface: TurnDto
Interface: UICustomizationDto
Conversation
Discovery
interfaces
Interface: DataPointDto
Interface: DiscoverEffectsRequest
Interface: DiscoverEffectsResponse
Interface: DiscoveryConfigDto
Interface: EffectPredictionDto
Interface: HorizonDto
Interface: PredictFromDiscoveryRequest
Interface: PredictFromDiscoveryResponse
Discovery
Execution
interfaces
Interface: AppendResiduationsRequest
Interface: AppendResiduationsResponse
Interface: ApplyCurriedRequest
Interface: BacktrackResponse
Interface: BindingsResponse
Interface: BindTermRequest
Interface: BindTermResponse
Interface: ChoicePointMarkerResponse
Interface: CleanupResponse
Interface: CleanupStaleSessionsParams
Interface: CreateCurriedFunctionRequest
Interface: CreateExecutionSessionRequest
Interface: CurriedFunctionResponse
Interface: CurryingContextResponse
Interface: DetectMissingAttributesRequest
Interface: EvaluatedValueDto
Interface: ExecutionSessionResponse
Interface: ExecutionSessionStatsResponse
Interface: FeatureBindingDto
Interface: GetBindingsRequest
Interface: GetResiduationsRequest
Interface: GetResiduationsResponse
Interface: GoalEvaluationResultDto
Interface: GoalStackEntryDto
Interface: GoalStackResponse
Interface: LazyEvalRequest
Interface: MarkChoicePointRequest
Interface: MarkPendingRequest
Interface: MarkPendingResponse
Interface: PositionalArgumentDto
Interface: PushGoalRequest
Interface: PushGoalResponse
Interface: ReleaseResiduationsRequest
Interface: ReleaseResiduationsResponse
Interface: ResiduateGoalRequest
Interface: ResiduateGoalResponse
Interface: ResiduationDetailDto
Interface: ResiduationGoalDto
Interface: TermBindingDto
type-aliases
Type Alias: ApplyCurriedResponse
Type Alias: ExecutionGoalDto
Type Alias: ExecutionValueDto
Type Alias: LazyEvalResponse
Type Alias: TrailEntryDto
Execution
Extract
interfaces
Interface: ExtractedEntityDto
Interface: ExtractEntitiesRequest
Interface: ExtractEntitiesResponse
Extract
FlowNetworks
interfaces
Interface: CommitFlowNetworkRequest
Interface: CreateFlowNetworkRequest
Interface: EdgeCapacityUpdate
Interface: EdgeClassification
Interface: EdgeFlow
Interface: EdgeSpec
Interface: FlowNetworkResponse
Interface: MinCutReport
Interface: SolveFlowNetworkRequest
Interface: SolveFlowNetworkResponse
type-aliases
Type Alias: EdgeClass
Type Alias: FlowAlgorithm
FlowNetworks
Functions
interfaces
Interface: EvaluateFunctionRequest
Interface: FunctionClauseDto
Interface: RegisterFunctionRequest
Interface: RegisterFunctionResponse
type-aliases
Type Alias: BinaryOperatorDto
Type Alias: EvaluateFunctionResponse
Type Alias: ExpressionDto
Type Alias: FunctionBodyDto
Type Alias: FunctionGuardDto
Type Alias: FunctionValueDto
Type Alias: PatternDto
Functions
Fuzzy
interfaces
Interface: FuzzyMergeRequest
Interface: FuzzyMergeResponse
Interface: FuzzySearchResultItem
Interface: FuzzySearchTopKResponse
Interface: FuzzySubsumptionRequest
Interface: FuzzySubsumptionResponse
Interface: FuzzyUnifyRequest
Interface: FuzzyUnifyResponse
Interface: PredictEffectResponse
Interface: SimilarityMatch
Interface: SimilaritySearchResponse
type-aliases
Type Alias: EffectDto
Type Alias: FindSimilarRequest
Type Alias: FuzzySearchTopKRequest
Type Alias: PredictEffectRequest
Type Alias: QueryTerm
Fuzzy
Generation
interfaces
Interface: ArtifactDto
Interface: ConstraintCheckDto
Interface: DiagnosticDto
Interface: GenerateDocumentRequest
Interface: GenerateDocumentResponse
Interface: GenerationProvenanceDto
Interface: GenerationVerificationDto
Generation
Health
interfaces
Interface: BuildInfoDto
Interface: ComponentHealthDto
Interface: EnrichedHealthResponse
Health
Homoiconic
interfaces
Interface: FeatureInputConstrainedVariable
Interface: FeatureInputInlineTerm
Interface: FeatureInputInlineTermByName
Interface: FeatureInputTermRef
Interface: FeatureInputVariable
Interface: PsiTermDto
Interface: TermInputInline
Interface: TermInputInlineByName
Interface: TermInputRef
type-aliases
Type Alias: FeatureInputValueDto
Type Alias: TermInputDto
Homoiconic
ILP
interfaces
Interface: EvaluatePatternRequest
Interface: EvaluatePatternResponse
Interface: EvaluationResult
Interface: GFlowNetSampleRequest
Interface: GFlowNetSampleResponse
Interface: LearnedPatternDto
Interface: LearnPatternConfigDto
Interface: LearnPatternRequest
Interface: LearnPatternResponse
Interface: ListPatternsResponse
Interface: PatternSummaryDto
Interface: SampledHypothesisDto
Interface: SynthesizeRequest
Interface: SynthesizeResponse
Interface: TrainingExample
type-aliases
Type Alias: ArithmeticRecursionOp
ILP
ImageExtraction
interfaces
Interface: ExtractImageRequest
Interface: ExtractImageResponse
Interface: ImageExtractedEntityDto
Interface: ImageExtractedRelationDto
Interface: ImageExtractionStatsDto
Interface: ImageSuggestedSortDto
ImageExtraction
Inference
interfaces
Interface: AddFactRequest
Interface: AddFactResponse
Interface: AddRuleRequest
Interface: AddRuleResponse
Interface: BackwardChainRequest
Interface: BackwardChainResponse
Interface: BayesianPredictRequest
Interface: BayesianPredictResponse
Interface: BindingDto
Interface: BulkAddFactsRequest
Interface: BulkAddFactsResponse
Interface: BulkAddRulesRequest
Interface: BulkAddRulesResponse
Interface: BulkFuzzyProveRequest
Interface: BulkFuzzyProveResponse
Interface: ClearFactsResponse
Interface: CreateGoalRequest
Interface: CreateGoalResponse
Interface: DeleteGoalResponse
Interface: FactConfidenceEntry
Interface: ForwardChainRequest
Interface: ForwardChainResponse
Interface: FuzzyProveRequest
Interface: FuzzyProveResponse
Interface: GetFactsResponse
Interface: GoalDto
Interface: GoalSummaryDto
Interface: HomoiconicSubstitutionDto
Interface: ListGoalsResponse
Interface: LiteralInputDto
Interface: MetaSortsResponse
Interface: NafProveRequest
Interface: NafProveResponse
Interface: ProofDto
Interface: ProvenanceTagDto
Interface: SolutionDto
Interface: TaggedDerivedFact
Interface: TaggedForwardChainRequest
Interface: TaggedForwardChainResponse
type-aliases
Type Alias: AllenRelation
Type Alias: BayesianEffectDto
Type Alias: ConstraintInputDto
Type Alias: GuardOp
Inference
Ingestion
interfaces
Interface: AsyncIngestionResponse
Interface: CandidateMatchDto
Interface: ChunkFailureDto
Interface: CommunityStatsDto
Interface: DocumentBatchItem
Interface: DocumentBatchResultDto
Interface: DocumentMetadataDto
Interface: DocumentParseStatsDto
Interface: DocumentProgressDto
Interface: DocumentStatsDto
Interface: EvidenceDerivationConfigDto
Interface: ExtractionStrategyAdaptive
Interface: ExtractionStrategyHybrid
Interface: ExtractionStrategyLlm
Interface: ExtractionStrategyLocalNer
Interface: ExtractionStrategySchemaGuided
Interface: GroundingStatsDto
Interface: IncompleteDocumentDto
Interface: IngestDocumentBatchRequest
Interface: IngestDocumentBatchResponse
Interface: IngestDocumentRequest
Interface: IngestDocumentResponse
Interface: IngestionConfigDto
Interface: IngestionPollOptions
Interface: IngestionSessionResponse
Interface: IngestionStatsDto
Interface: IngestMarkdownBatchRequest
Interface: IngestMarkdownRequest
Interface: IngestMarkdownResponse
Interface: IngestRdfRequest
Interface: IngestRdfResponse
Interface: ListIncompleteDocumentsResponse
Interface: ListIngestionSessionsResponse
Interface: MarkdownDocumentDto
Interface: OcrConfigDto
Interface: ParsedDocumentMetadataDto
Interface: PendingReviewDto
Interface: PipelineQualityStatsDto
Interface: ResumeDocumentIngestionRequest
Interface: ResumeDocumentIngestionResponse
Interface: SessionProgressResponse
Interface: SessionStatsResponse
Interface: StartIngestionSessionRequest
Interface: StepLogEntryDto
Interface: TokenUsageDto
type-aliases
Type Alias: DocumentParser
Type Alias: DocumentSource
Type Alias: DocumentType
Type Alias: ExtractionStrategy
Type Alias: IngestionSessionStatusDto
Type Alias: RdfFormatDto
Ingestion
Namespaces
interfaces
Interface: AddExportRequest
Interface: AddImportRequest
Interface: CreateChildNamespaceRequest
Interface: CreateRootNamespaceRequest
Interface: NamespaceDto
Interface: NamespaceListResponse
Interface: NamespaceResponse
Interface: UpdateMetadataRequest
Interface: UpdateVisibilityRequest
type-aliases
Type Alias: VisibilityDto
Namespaces
NeuroSymbolic
interfaces
Interface: ContainmentVerificationDto
Interface: DiagnosticsResponse
Interface: E2ETrainingRequest
Interface: E2ETrainingResponse
Interface: EmbeddingVerificationResponse
Interface: GFlowNetTrainResponse
Interface: GroundTruthEntry
Interface: MeetPreservationDto
Interface: NeuroSymbolicStatusResponse
Interface: SaveWeightsResponse
Interface: SortBoxRequest
Interface: SortBoxResponse
Interface: SpecificityDto
Interface: TrainFromTracesResponse
Interface: TrainingTriggerResponse
NeuroSymbolic
Ontology
interfaces
Interface: GenerateOntologyRequest
Interface: OntologyClarificationQuestionDto
type-aliases
Type Alias: GenerateOntologyResponse
Ontology
Operations
interfaces
Interface: AntiUnifyRequest
Interface: AntiUnifyResponse
Operations
Optimize
interfaces
Interface: InfeasibleResult
Interface: KBOptimizationConfig
Interface: KBOptimizationResult
Interface: KBResourceConstraint
Interface: KBVariableSpec
Interface: LinearConstraint
Interface: LinearProgramDefinition
Interface: ObjectiveFunction
Interface: OptimalResult
Interface: SolveOptions
Interface: VariableBounds
type-aliases
Type Alias: ConstraintOperator
Type Alias: LinearExpression
Type Alias: OptimizationDirection
Type Alias: OptimizationResult
Optimize
Osfql
interfaces
Interface: OsfqlRequest
Interface: OsfqlResponse
type-aliases
Type Alias: OsfqlValue
Osfql
Oversight
interfaces
Interface: AgentSubVerdictDto
Interface: AttestationDto
Interface: CertificateDto
Interface: CreateOversightSessionRequest
Interface: CreateOversightSessionResponse
Interface: ExtractionStatsDto
Interface: FinalizeOversightSessionRequest
Interface: FixSuggestionDto
Interface: FormalJudgeRefinementResponse
Interface: FormalJudgeRequest
Interface: FormalJudgeResponse
Interface: IngestStepRequest
Interface: JudgeConfigDto
Interface: LayerResultDto
Interface: OversightAlertDto
Interface: OversightSessionStatusResponse
Interface: ProofTraceDto
Interface: StepVerificationResponse
Interface: TrajectoryStepDto
Interface: ViolationDto
Oversight
PlainValues
interfaces
Interface: ConstrainedPlainVar
Interface: PsiTermInputById
Interface: PsiTermInputByName
type-aliases
Type Alias: PlainFeatureMap
Type Alias: PlainFeatureValue
Type Alias: PsiTermInput
Type Alias: TermInputArg
PlainValues
Preferences
interfaces
Interface: ListPreferencesResponse
Interface: PredictPreferencesRequest
Interface: PredictPreferencesResponse
Interface: PreferenceDto
Interface: PreferencePrediction
Interface: RecordSelectionRequest
Interface: RecordSelectionResponse
Interface: SetPreferenceRequest
Preferences
ProofEngine
interfaces
Interface: AssertRuleRequest
Interface: AssertRuleResponse
Interface: BacktrackTermStoreRequest
Interface: BacktrackTermStoreResponse
Interface: BindVariableRequest
Interface: BindVariableResponse
Interface: CreateRuleStoreRequest
Interface: CreateStoreTermRequest
Interface: CreateTermStoreRequest
Interface: CreateVariableRequest
Interface: DereferenceRequest
Interface: DereferenceResponse
Interface: EvalBuiltinRequest
Interface: EvalFunctionInfoDto
Interface: FindRulesRequest
Interface: FindRulesResponse
Interface: GetStoreTermRequest
Interface: GetStoreTermResponse
Interface: ListEvalFunctionsRequest
Interface: ListEvalFunctionsResponse
Interface: MarkRuleStoreResponse
Interface: MarkTermStoreResponse
Interface: ProofEngineCreateTermResponse
Interface: RetractRuleRequest
Interface: RetractRuleResponse
Interface: RuleClauseDto
Interface: RuleDto
Interface: RuleStoreResponse
Interface: SetFeatureRequest
Interface: SetFeatureResponse
Interface: TermStoreSessionResponse
Interface: UndoRuleStoreRequest
Interface: UndoRuleStoreResponse
Interface: UnifyTermsRequest
Interface: UnifyTermsResponse
type-aliases
Type Alias: EvalBuiltinResponse
Type Alias: MarkRuleStoreRequest
Type Alias: MarkTermStoreRequest
Type Alias: RuleConstraintDto
ProofEngine
Query
interfaces
Interface: BySortQueryRequest
Interface: DiscoveredRelationDto
Interface: FindBySortRequest
Interface: MatchedEntityDto
Interface: MissingInfoDto
Interface: NlQueryRequest
Interface: NlQueryResponse
Interface: NlQueryResultItem
Interface: OsfSearchRequest
Interface: OsfSearchResponse
Interface: OsfSearchStatsDto
Interface: ResumptionOptionDto
Interface: SuspendedQueryDto
Interface: TermListResponse
Interface: TermPatternDto
Interface: ToolCallInfo
Interface: UnifiableQueryRequest
Interface: UnificationQueryResponse
Interface: ValidatedUnifyRequest
Interface: ValidateTermRequest
type-aliases
Type Alias: NlQueryMode
Query
RAG
interfaces
Interface: ConceptMatchDto
Interface: DependentInfoDto
Interface: FeatureConfigDto
Interface: OntologyRagRequest
Interface: OntologyRagResponse
Interface: OntologyRagStatsDto
Interface: PrerequisiteInfoDto
Interface: RelatedInfoDto
type-aliases
Type Alias: EvidenceSourceDto
Type Alias: RelationTypeDto
RAG
Reasoning
interfaces
Interface: CoordinatedResourceSet
Interface: DisentailmentRequest
Interface: DisentailmentResponse
Interface: EntailmentRequest
Interface: EntailmentResponse
Interface: EvidenceAssessmentRequest
Interface: EvidenceAssessmentResponse
Interface: EvidenceItemDto
Interface: GoalResiduationRequest
Interface: GoalResiduationResponse
Interface: ResiduatedEntryDto
Interface: ResiduationRequest
Interface: ResiduationResponse
Interface: ResourceCoordinationRequest
Interface: ResourceCoordinationResponse
Interface: ResourceSpec
Interface: TemporalPlanRequest
Interface: TemporalPlanResponse
Reasoning
Research
interfaces
Interface: ContradictionDto
Interface: CreateResearchSessionRequest
Interface: CreateResearchSessionResponse
Interface: EvidenceItemSummaryDto
Interface: IngestPaperRequest
Interface: IngestPaperResponse
Interface: KnowledgeGapDto
Interface: PaperMetadataDto
Interface: PaperSearchResultDto
Interface: ProvenanceStepDto
Interface: ReportVerificationDto
Interface: ResearchContradictionsResponse
Interface: ResearchCycleResponse
Interface: ResearchCycleResultDto
Interface: ResearchFindingDto
Interface: ResearchFindingsResponse
Interface: ResearchGapsResponse
Interface: ResearchReportResponse
Interface: ResearchSessionResponse
Interface: ResearchStatisticsDto
Interface: RunResearchCycleRequest
Interface: SearchPapersRequest
Interface: SearchPapersResponse
Interface: VerifyClaimRequest
Interface: VerifyClaimResponse
type-aliases
Type Alias: PaperSource
Type Alias: ResearchSessionStatusDto
Research
Reviews
interfaces
Interface: AddPendingReviewRequest
Interface: ApproveEntityRequest
Interface: BulkApproveRequest
Interface: BulkMergeRequest
Interface: BulkRejectRequest
Interface: CorrectEntityRequest
Interface: MergeEntityRequest
Interface: PendingReviewDto
Interface: ReExtractRequest
Interface: RejectEntityRequest
Interface: ReviewCandidateMatchDto
Interface: SortSuggestionDto
type-aliases
Type Alias: ConflictResolution
Type Alias: ReviewReason
Reviews
Row
interfaces
Interface: DynamicQueryClauseDto
Interface: DynamicQueryGroupDto
Interface: DynamicQueryRequest
Interface: DynamicQueryResponse
Interface: DynamicQueryResultDto
Interface: FeatureRequirementDto
Interface: IntegrationGroupDto
Interface: RowIntegrateRequest
Interface: RowIntegrateResponse
Interface: RowMatchDto
Interface: RowSearchRequest
Interface: RowSearchResponse
Interface: RowSimilarityRequest
Interface: RowSimilarityResponse
Interface: RowTypeDto
Interface: RowUnifyRequest
Interface: RowUnifyResponse
type-aliases
Type Alias: FeatureTypeDto
Type Alias: ValuePatternDto
Row
Scenarios
interfaces
Interface: ClarificationQuestionDto
Interface: CreateScenarioRequest
Interface: CycleOutcomeSummaryDto
Interface: FormalVerdictDto
Interface: GetScenarioResponse
Interface: LayerResultSummaryDto
Interface: ListScenariosResponse
Interface: MaterializationSummaryDto
Interface: ScenarioSummaryDto
Interface: UpdateScenarioRequest
Interface: UpdateScenarioResponse
Interface: VerificationStepDto
Interface: VerifyScenarioRequest
Interface: VerifyScenarioResponse
type-aliases
Type Alias: CreateScenarioResponse
Scenarios
Scheduling
interfaces
Interface: AgentSpec
Interface: Assignment
Interface: Pin
Interface: Preference
Interface: SchedulingFeasibilityRequest
Interface: SchedulingFeasibilityResponse
Interface: SchedulingOptimizeRequest
Interface: SchedulingOptimizeResponse
Interface: ShiftDemand
type-aliases
Type Alias: AssignmentStatus
Type Alias: SchedulingStatus
variables
Variable: ANY_ROLE
Scheduling
Sorts
interfaces
Interface: ApproveLearnedSimilarityRequest
Interface: ApproveLearnedSimilarityResponse
Interface: BoundConstraintDto
Interface: BulkCreateSortsRequest
Interface: BulkCreateSortsResponse
Interface: BulkSetSimilaritiesRequest
Interface: BulkSetSimilaritiesResponse
Interface: BulkSortDefinition
Interface: BulkSortError
Interface: CreateSortRequest
Interface: DecodeGlbResponse
Interface: EquivalenceClassDto
Interface: FeatureDescriptorDto
Interface: GetEquivalenceClassesResponse
Interface: GetPreorderDegreeRequest
Interface: GetPreorderDegreeResponse
Interface: GetSortSimilarityRequest
Interface: GetSortSimilarityResponse
Interface: GlbRequest
Interface: GlbResponse
Interface: LearnedSimilarityDto
Interface: LearnedSimilarityListResponse
Interface: LearnedSimilarityProvenanceDto
Interface: LearnSortSimilaritiesRequest
Interface: LearnSortSimilaritiesResponse
Interface: LubRequest
Interface: LubResponse
Interface: RejectLearnedSimilarityRequest
Interface: RejectLearnedSimilarityResponse
Interface: SetSortSimilarityRequest
Interface: SetSortSimilarityResponse
Interface: SimilarityEntryDto
Interface: SortCompareRequest
Interface: SortCompareResponse
Interface: SortDto
Interface: SortInfoDto
Interface: SortListResponse
Interface: SortResponse
Interface: SortSimilarityResponse
Interface: UpdateReviewStatusRequest
type-aliases
Type Alias: ComputeGlbResponse
Type Alias: ComputeLubResponse
Type Alias: ConstraintDto
Type Alias: LearnedSimilarityStatusDto
Type Alias: SortCompareOperator
Type Alias: SortOriginDto
Type Alias: SortStatusDto
Sorts
Sources
interfaces
Interface: DiscoveredFeatureDto
Interface: DiscoveredSortDto
Interface: DiscoveredSourceRelationDto
Interface: DiscoverSchemaRequest
Interface: DiscoverSchemaResponse
Interface: IngestFromSourceRequest
Interface: IngestFromSourceResponse
Interface: ListSourcesResponse
Interface: RegisterSourceRequest
Interface: RegisterSourceResponse
Interface: SourceDetailResponse
Interface: SourceSummaryDto
Interface: StructuredIngestionStatsDto
Sources
Spaces
interfaces
Interface: ChoicePointDto
Interface: ChoiceSelection
Interface: CommitRequest
Interface: CreateSpaceRequest
Interface: SearchStatsDto
Interface: SpaceResponse
Interface: SpaceSearchRequest
Interface: SpaceSolutionDto
Interface: TraceEventDto
Interface: VariableFeasibilityDto
type-aliases
Type Alias: SearchModeDto
Type Alias: SearchStrategyDto
Type Alias: SpaceConstraintDto
Type Alias: SpaceSearchResponse
Type Alias: SpaceStatusDto
Spaces
Statistical
interfaces
Interface: CausalRelationshipDto
Interface: ConditionalIndependenceRequest
Interface: ConditionalIndependenceResponse
Interface: CorrelationRequest
Interface: CorrelationResponse
Interface: DiscoverCausalRequest
Interface: DiscoverCausalResponse
Interface: DiscoveryProofNodeDto
Interface: DiscoveryProofStatsDto
Interface: DiscoveryProofTreeDto
Interface: DiscoveryStateDto
Interface: DiscoveryStatusResponse
Interface: DynamicDiscoveryRequest
Interface: DynamicDiscoveryResponse
Interface: GESResultDto
Interface: InterventionObservationRequest
Interface: InterventionObservationResponse
Interface: InterventionRecommendationDto
Interface: ObserveMultiRequest
Interface: ObserveMultiResponse
Interface: ObservePairRequest
Interface: ObservePairResponse
Interface: ObserveSingleRequest
Interface: ObserveSingleResponse
Interface: PartialCorrelationRequest
Interface: PartialCorrelationResponse
Interface: StatisticalSuccessResponse
Interface: UncertainEdgeDto
type-aliases
Type Alias: DiscoveryStrategy
Statistical
Synthetic
interfaces
Interface: AugmentationTargetDto
Interface: CalibrateRequest
Interface: CalibrationReportDto
Interface: CheckDiversityRequest
Interface: CheckDiversityResponse
Interface: DataMixingStatsDto
Interface: DatasetStatisticsDto
Interface: DiversityAnalysisDto
Interface: EntityDto
Interface: EntityVerificationDetailDto
Interface: ExportJsonlResponse
Interface: ExtractionPredictionDto
Interface: FeatureMismatchDto
Interface: GenerateNegativesRequest
Interface: GenerateNegativesResponse
Interface: GenerateSyntheticDataRequest
Interface: GenerateSyntheticDataResponse
Interface: GenerationPromptRequest
Interface: GenerationPromptResponse
Interface: GenerationReportDto
Interface: NegativeExampleDto
Interface: SortCalibrationDto
Interface: TrainingExampleDto
Interface: VerbalizationResultDto
Interface: VerbalizeTermRequest
Interface: VerbalizeTermResponse
Interface: VerifyFaithfulnessRequest
Interface: VerifyFaithfulnessResponse
Interface: VerifyRoundTripRequest
Interface: VerifyRoundTripResponse
Synthetic
Terms
interfaces
Interface: BulkAddTermsRequest
Interface: BulkAddTermsResponse
Interface: ClearTermsResponse
Interface: CreateTermRequest
Interface: ReferencedTermSummary
Interface: ResidualWitnessDto
Interface: ResiduationDto
Interface: TermDto
Interface: TermResponse
Interface: UpdateTermRequest
Interface: ValidatedTermResponse
Interface: ValidatedUnifyResponse
Interface: WitnessInstantiationDto
Interface: WitnessProofDto
type-aliases
Type Alias: TermState
Terms
Utilities
interfaces
Interface: AscRequest
Interface: BatchCopyRequest
Interface: BatchStringCompareRequest
Interface: BitwiseRequest
Interface: ChrRequest
Interface: CopyTermRequest
Interface: DeepCopyRequest
Interface: MathFunctionRequest
Interface: ModularArithRequest
Interface: NumberFormatDto
Interface: NumberToStringRequest
Interface: RelationalArithRequest
Interface: SingleCopyRequest
Interface: StringComparePredicateRequest
Interface: StringCompareRequest
Interface: StringConcatRequest
Interface: StringLengthRequest
Interface: StringOpParams
Interface: StringOpRequest
Interface: SubstringRequest
type-aliases
Type Alias: ArithValueDto
Type Alias: BitwiseOperationType
Type Alias: CopyModeDto
Type Alias: MathFunctionType
Type Alias: ModularOperationType
Type Alias: NumberValueDto
Type Alias: StringCompareOperator
Type Alias: StringOperationType
Utilities
Values
interfaces
Interface: BellShape
Interface: BooleanValue
Interface: CauchyShape
Interface: CosineShape
Interface: CyclicGaussianShape
Interface: FuzzyNumberValue
Interface: FuzzyScalarValue
Interface: GaussianProductShape
Interface: GaussianShape
Interface: IntegerValue
Interface: ListValue
Interface: PiecewiseLinearShape
Interface: PiShapeShape
Interface: RealValue
Interface: ReferenceValue
Interface: SetValue
Interface: SigmoidDifferenceShape
Interface: SigmoidProductShape
Interface: SigmoidShape
Interface: SpikeShape
Interface: SShapeShape
Interface: StringValue
Interface: TrapezoidalShape
Interface: TriangularShape
Interface: UninstantiatedValue
Interface: ZShapeShape
type-aliases
Type Alias: FeatureTargetDto
Type Alias: FeatureValueDto
Type Alias: FuzzyShapeDto
Type Alias: TaggedFeatureValueDto
Type Alias: ValueDto
Values
Visualization
interfaces
Interface: ComponentDto
Interface: DegreeDistributionDto
Interface: GlbLubComputationTrace
Interface: GlbLubTraceRequest
Interface: GlbLubTraceStep
Interface: GraphEdgeDto
Interface: GraphMetadataDto
Interface: GraphNodeDto
Interface: HyperedgeDto
Interface: HypergraphRequest
Interface: HypergraphResponse
Interface: HypergraphStats
Interface: LatticeStats
Interface: LatticeVisualizationRequest
Interface: LatticeVisualizationResponse
Interface: LayoutHintsDto
Interface: ResiduatedTermDto
Interface: ResiduationStateRequest
Interface: ResiduationStateResponse
Interface: ResiduationStats
Interface: SortSummaryDto
Interface: TriggerDependencyRequest
Interface: TriggerDependencyResponse
Interface: VisualizationGraphDto
Interface: WaitingConditionDto
type-aliases
Type Alias: EdgeTypeDto
Type Alias: GlbLubOperation
Type Alias: HyperedgeTypeDto
Type Alias: LayoutAlgorithmDto
Type Alias: LayoutDirectionDto
Type Alias: NodeTypeDto
Type Alias: ResiduationKind
Type Alias: ResiduationStateDto
Type Alias: ResiduationStateFilter
Type Alias: WaitingConditionType
Visualization
WebhookActions
interfaces
Interface: ExternalActionSummaryDto
Interface: InvokeActionRequest
Interface: InvokeActionResponse
Interface: ListExternalActionsResponse
Interface: ListPendingInvocationsResponse
Interface: PendingInvocationDto
Interface: RegisterExternalActionRequest
Interface: RegisterExternalActionResponse
Interface: WebhookCallbackRequest
Interface: WebhookCallbackResponse
WebhookActions
classes
Class: ApiError
Class: AuthenticationError
Class: BadRequestError
Class: ConstraintViolationError
Class: ForbiddenError
Class: IngestionFailedError
Class: IngestionSession
Class: InternalServerError
Class: NetworkError
Class: NotFoundError
Class: RateLimitError
Class: ReasoningLayerClient
Class: ReasoningLayerError
Class: SortBuilder
Class: TimeoutError
Class: ValidationError
Class: WebSocketClient
Class: WebSocketConnection
functions
Function: allen()
Function: constrained()
Function: discriminateFeatureValue()
Function: guard()
Function: isConstrainedPlainVar()
Function: isPsiTermInput()
Function: isTaggedValueDto()
Function: isUuid()
Function: psi()
Function: toTaggedFeatures()
Function: toTaggedValue()
Function: toTermInputDto()
Function: toUntaggedFeatures()
Function: toUntaggedValue()
interfaces
Interface: AiGroup
Interface: AnalysisGroup
Interface: ApiResponse
Interface: ClientConfig
Interface: CoreGroup
Interface: DataGroup
Interface: ErrorResponse
Interface: IngestionSyncOptions
Interface: PaginationParams
Interface: RateLimitInfo
Interface: ReasoningGroup
Interface: RequestOptions
Interface: SystemGroup
Interface: WorkflowGroup
type-aliases
Type Alias: AuthConfig
Type Alias: Interceptor()
Type Alias: JsonValue
variables
Variable: FuzzyShape
Variable: LP
Variable: SDK_VERSION
Variable: Value
Changelog
Select theme
Dark
Light
Auto
Select language
English
Français
Analysis
@kortexya/reasoninglayer
@kortexya/reasoninglayer
/ Analysis
Analysis
Interfaces
ConfirmResponse
ExplorationCompleteResponse
ExplorationProgress
ExplorationQuestion
ExplorationStatusResponse
FuzzyConceptLevel
Implication
RefuteRequest
RefuteResponse
SortDiscoveryRequest
SortDiscoveryResponse
SortRecommendation
StartExplorationRequest
StartExplorationResponse
