Interface: FuzzyProveRequest

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / FuzzyProveRequest

Interface: FuzzyProveRequest

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

Request for fuzzy proof search.

Remarks

Dual input mode: Provide EITHER goal OR goal_id, same as backward chaining.

Properties

goal?

optional goal: TermInputDto | null

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

Inline goal. Mutually exclusive with goal_id.

---

goalId?

optional goalId: string | null

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

Saved goal reference. Mutually exclusive with goal.

---

maxSolutions?

optional maxSolutions: number

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

Maximum number of solutions.

---

minDegree?

optional minDegree: number

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

Minimum degree threshold (0.0 to 1.0).

---

openWorld?

optional openWorld: boolean

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

Whether to use open-world semantics.

---

saveGoal?

optional saveGoal: boolean

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

Whether to persist the goal for later reuse.

---

tnorm?

optional tnorm: string

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

T-norm strategy: “min”, “product”, or “lukasiewicz”.