Skip to content

Class: ReasoningLayerClient

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ReasoningLayerClient

Class: ReasoningLayerClient

Defined in: src/client.ts:209

Main client for the Reasoning Layer API.

Provides access to all resource clients through a shared HTTP connection with configured authentication, retry, and timeout behavior.

Example

import { ReasoningLayerClient } from '@kortexya/reasoning-layer';
const client = new ReasoningLayerClient({
baseUrl: 'http://localhost:8083',
tenantId: 'my-tenant-uuid',
});
const sort = await client.sorts.createSort({ name: 'employee' });
const term = await client.terms.createTerm({ sort_id: sort.id, features: {} });

Constructors

Constructor

new ReasoningLayerClient(config): ReasoningLayerClient

Defined in: src/client.ts:501

Create a new ReasoningLayerClient.

Parameters

config

ClientConfig

Client configuration. At minimum, baseUrl and tenantId are required.

Returns

ReasoningLayerClient

Throws

If baseUrl or tenantId is missing.

Properties

actionReviews

readonly actionReviews: ActionReviewsClient

Defined in: src/client.ts:283

Action review operations (approve, reject, modify autonomous actions).


admin

readonly admin: AdminClient

Defined in: src/client.ts:322

Administrative operations (factory reset, tenant listing).


analysis

readonly analysis: AnalysisClient

Defined in: src/client.ts:301

Analysis and FCA operations (sort discovery, attribute exploration).


causal

readonly causal: CausalClient

Defined in: src/client.ts:241

Causal reasoning operations (Pearl’s hierarchy, interventions, counterfactuals).


cdl

readonly cdl: CdlClient

Defined in: src/client.ts:295

Categorical Deep Learning operations (differentiable FC, soft unification, safety).


cognitive

readonly cognitive: CognitiveClient

Defined in: src/client.ts:223

Cognitive agent operations (BDI cycle, beliefs, goals, messaging).


collections

readonly collections: CollectionsClient

Defined in: src/client.ts:235

Collection operations (CRUD, tagging).


communities

readonly communities: CommunitiesClient

Defined in: src/client.ts:274

Community detection operations (detect, memberships, search).


compliance

readonly compliance: ComplianceClient

Defined in: src/client.ts:363

Hash-chained audit ledger and prediction-snapshot validation.


constraints

readonly constraints: ConstraintsClient

Defined in: src/client.ts:229

Constraint operations (arithmetic solving, graph visualization).


context

readonly context: ContextClient

Defined in: src/client.ts:354

Knowledge graph context assembly operations (LLM prompt building).


control

readonly control: ControlClient

Defined in: src/client.ts:262

Proof control operations (cut, findall, forall, NAF, conditionals).


conversation

readonly conversation: ConversationClient

Defined in: src/client.ts:349

Conversational AI operations (NL → OSFQL with self-correction).


discovery

readonly discovery: DiscoveryClient

Defined in: src/client.ts:286

Causal discovery operations (effect discovery, prediction).


execution

readonly execution: ExecutionClient

Defined in: src/client.ts:238

Execution session operations (backtracking, goal stack).


extract

readonly extract: ExtractClient

Defined in: src/client.ts:289

Entity extraction operations.


flowNetworks

readonly flowNetworks: FlowNetworksClient

Defined in: src/client.ts:343

Generic flow-network resource: max-flow, min-cost max-flow, edge classification, min-cut over a persisted graph.


functions

readonly functions: FunctionsClient

Defined in: src/client.ts:307

LIFE-style user-defined function operations (register, evaluate).


fuzzy

readonly fuzzy: FuzzyClient

Defined in: src/client.ts:226

Fuzzy operations (unification, merge, subsumption, top-K search).


generation

readonly generation: GenerationClient

Defined in: src/client.ts:331

Evidence-grounded document generation operations.


health

readonly health: HealthClient

Defined in: src/client.ts:319

Health check operations (status, components, build info).


ilp

readonly ilp: IlpClient

Defined in: src/client.ts:253

Inductive logic programming operations (pattern learning, synthesis).


imageExtraction

readonly imageExtraction: ImageExtractionClient

Defined in: src/client.ts:325

Image-based concept extraction operations (vision LLM).


inference

readonly inference: InferenceClient

Defined in: src/client.ts:217

Inference engine operations (backward/forward chaining, fuzzy, Bayesian, NAF).


ingestion

readonly ingestion: IngestionClient

Defined in: src/client.ts:244

Data ingestion operations (documents, markdown, RDF, session management).


namespaces

readonly namespaces: NamespacesClient

Defined in: src/client.ts:232

Namespace operations (hierarchy, imports, metadata).


neuroSymbolic

readonly neuroSymbolic: NeuroSymbolicClient

Defined in: src/client.ts:298

Neuro-symbolic operations (training, embeddings, diagnostics).


ontology

readonly ontology: OntologyClient

Defined in: src/client.ts:328

Ontology generation operations (LLM-powered scenario generation).


operations

readonly operations: OperationsClient

Defined in: src/client.ts:366

Low-level term-graph operations (anti-unification / LGG).


optimize

readonly optimize: OptimizeClient

Defined in: src/client.ts:337

Linear program optimization (CLP(Q) simplex solver via backward chaining).


osfql

readonly osfql: OsfqlClient

Defined in: src/client.ts:346

OSFQL execution operations.


oversight

readonly oversight: OversightClient

Defined in: src/client.ts:292

FormalJudge oversight operations (safety verification, refinement).


preferences

readonly preferences: PreferencesClient

Defined in: src/client.ts:304

Bayesian preference learning operations (selection recording, prediction).


proofEngine

readonly proofEngine: ProofEngineClient

Defined in: src/client.ts:316

Proof engine operations (term store, rule store, built-in evaluation).


query

readonly query: QueryClient

Defined in: src/client.ts:220

Query operations (unification, structured search, validation).


rag

readonly rag: RagClient

Defined in: src/client.ts:334

Ontology RAG operations (embedding search + feature unification).


reasoning

readonly reasoning: ReasoningClient

Defined in: src/client.ts:256

Advanced reasoning operations (entailment, subsumption, resource coordination).


research

readonly research: ResearchClient

Defined in: src/client.ts:352

Verified scientific research pipeline operations.


reviews

readonly reviews: ReviewsClient

Defined in: src/client.ts:247

Human-in-the-loop review operations (approve, reject, merge, re-extract).


rlTraining

readonly rlTraining: RlTrainingClient

Defined in: src/client.ts:357

Reinforcement learning training operations (standalone and cognitive-RL).


row

readonly row: RowClient

Defined in: src/client.ts:268

Row polymorphism operations (schema-flexible search, unification, integration).


scenarios

readonly scenarios: ScenariosClient

Defined in: src/client.ts:280

Scenario operations (CRUD, verification).


scheduling

readonly scheduling: SchedulingClient

Defined in: src/client.ts:340

Scheduling feasibility via capacitated bipartite b-matching (staff rostering, assignment problems).


sorts

readonly sorts: SortsClient

Defined in: src/client.ts:211

Sort (type hierarchy) operations.


sources

readonly sources: SourcesClient

Defined in: src/client.ts:271

Data source operations (register, discover schema, ingest).


spaces

readonly spaces: SpacesClient

Defined in: src/client.ts:265

Computation space operations (create, clone, commit, search).


statistical

readonly statistical: StatisticalClient

Defined in: src/client.ts:259

Statistical analysis operations (correlation, causal discovery, independence tests).


synthetic

readonly synthetic: SyntheticClient

Defined in: src/client.ts:313

Synthetic data generation operations (generate, calibrate, verbalize, verify).


terms

readonly terms: TermsClient

Defined in: src/client.ts:214

Psi-term CRUD operations.


ui

readonly ui: UiClient

Defined in: src/client.ts:360

Sort-driven UI descriptor operations (describe, action, catalog).


utilities

readonly utilities: UtilitiesClient

Defined in: src/client.ts:277

Utility operations (strings, arithmetic, copy).


visualization

readonly visualization: VisualizationClient

Defined in: src/client.ts:250

Visualization operations (lattice, hypergraph, residuation state).


webhookActions

readonly webhookActions: WebhookActionsClient

Defined in: src/client.ts:310

Webhook-based external action operations (register, invoke, complete, list).

Accessors

agents

Get Signature

get agents(): CognitiveClient

Defined in: src/client.ts:402

Cognitive agent operations (BDI cycle, beliefs, goals, messaging). Alias for cognitive.

Returns

CognitiveClient


ai

Get Signature

get ai(): AiGroup

Defined in: src/client.ts:419

AI and machine learning operations — agents, oversight, neuro-symbolic, RAG, generation, context, RL training.

Returns

AiGroup


analysisOps

Get Signature

get analysisOps(): AnalysisGroup

Defined in: src/client.ts:449

Analysis operations — causal, statistical, fuzzy, scenarios, communities, visualization.

Returns

AnalysisGroup


core

Get Signature

get core(): CoreGroup

Defined in: src/client.ts:407

Core knowledge base operations — types, records, rules, functions, constraints, and queries.

Returns

CoreGroup


data

Get Signature

get data(): DataGroup

Defined in: src/client.ts:461

Data ingestion and extraction operations — documents, sources, collections, images.

Returns

DataGroup


reasoningOps

Get Signature

get reasoningOps(): ReasoningGroup

Defined in: src/client.ts:434

Advanced reasoning operations — optimization, ILP, CDL, execution, preferences, discovery, scheduling, flow networks.

Returns

ReasoningGroup


records

Get Signature

get records(): TermsClient

Defined in: src/client.ts:390

Record CRUD operations. Alias for terms — “term” is logic programming jargon for a data record.

Returns

TermsClient


rules

Get Signature

get rules(): InferenceClient

Defined in: src/client.ts:396

Rule and fact operations (backward/forward chaining, fuzzy, Bayesian, NAF). Alias for inference.

Returns

InferenceClient


system

Get Signature

get system(): SystemGroup

Defined in: src/client.ts:483

System administration — health, admin, spaces, namespaces, utilities, ontology, snapshots.

Returns

SystemGroup


types

Get Signature

get types(): SortsClient

Defined in: src/client.ts:384

Type hierarchy operations. Alias for sorts — “sort” is domain jargon for “type” in order-sorted algebras.

Returns

SortsClient


workflow

Get Signature

get workflow(): WorkflowGroup

Defined in: src/client.ts:473

Workflow operations — control flow, reviews, action reviews, webhooks.

Returns

WorkflowGroup