QuantifierWeights#

class frlearn.weights.QuantifierWeights(q: Callable[[float], float])#

Weights that encode a regular non-decreasing quantifier [1].

Parameters:
q: float -> float

Regular non-decreasing quantifier (a surjective, non-decreasing function [0, 1] -> [0, 1]).

Returns:
f: int -> np.array

Function that takes a positive integer k and returns the weight vector of length k corresponding to q.

References