Interface: BulkFuzzyProveRequest

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / BulkFuzzyProveRequest

Interface: BulkFuzzyProveRequest

Defined in: src/types/inference.ts:1375

Request for bulk fuzzy inference with multiple goals in one request.

Remarks

Reduces latency via single HTTP round-trip, shared hierarchy, and rules across all goals.

Properties

goalIds?

optional goalIds?: string[] | null

Defined in: src/types/inference.ts:1377

Array of saved goal IDs to load and prove. Either goals or goal_ids must be provided.

---

goals?

optional goals?: TermInputDto[]

Defined in: src/types/inference.ts:1379

Array of inline goals. Either goals or goal_ids must be provided.

---

maxDepth?

optional maxDepth?: number

Defined in: src/types/inference.ts:1381

Maximum proof depth (default: 100).

---

maxSolutions?

optional maxSolutions?: number

Defined in: src/types/inference.ts:1383

Maximum number of solutions per goal (default: 10).

---

minDegree?

optional minDegree?: number

Defined in: src/types/inference.ts:1385

Minimum degree threshold (0.0 to 1.0).

---

saveGoals?

optional saveGoals?: boolean

Defined in: src/types/inference.ts:1387

Whether to persist goals for later reuse.

---

tnorm?

optional tnorm?: string

Defined in: src/types/inference.ts:1389

T-norm strategy: “Min”, “Product”, or “Lukasiewicz” (default: “Min”).