QuantifierWeights¶
-
class
frlearn.weights.
QuantifierWeights
(q: Callable[[float], float])[source]¶ 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