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 lengthk
corresponding toq
.
References