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