Protocols

Runtime-checkable structural typing protocols for the highFIS pipeline.

All protocols are decorated with @runtime_checkable so they can be used with isinstance at runtime.

Protocols:

• MembershipFn — any callable (x: Tensor) -> Tensor that computes membership degrees. Satisfied by all classes in highfis.memberships.
• TNorm — any callable (terms: Tensor) -> Tensor that aggregates antecedent activations. Satisfied by T-norm classes in highfis.t_norms.
• Defuzzifier — any callable (w: Tensor) -> Tensor that normalizes rule firing strengths. Satisfied by all classes in highfis.defuzzifiers.
• ConsequentFn — any callable (x: Tensor, norm_w: Tensor) -> Tensor that computes the model output. Satisfied by consequent layers in highfis.layers.

57
58
59

def __call__(self, x: Tensor, norm_w: Tensor) -> Tensor:
    """Compute consequent output from *x* and *norm_w*."""
    ...

48
49
50

def __call__(self, w: Tensor) -> Tensor:
    """Normalize firing strengths *w*."""
    ...

30
31
32

def __call__(self, x: Tensor) -> Tensor:
    """Compute membership degrees for *x*."""
    ...

39
40
41

def __call__(self, terms: Tensor) -> Tensor:
    """Aggregate *terms* into a single firing strength."""
    ...