Interface: BulkFuzzyProveRequest

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / BulkFuzzyProveRequest

Interface: BulkFuzzyProveRequest

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

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:587

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:589

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

---

maxDepth?

optional maxDepth: number

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

Maximum proof depth (default: 100).

---

maxSolutions?

optional maxSolutions: number

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

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

---

minDegree?

optional minDegree: number

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

Minimum degree threshold (0.0 to 1.0).

---

saveGoals?

optional saveGoals: boolean

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

Whether to persist goals for later reuse.

---

tnorm?

optional tnorm: string

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

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