3.17. SequentialLearning.Means
The means of the feedback distribution
Main definitions
-
Environment.means
Main results
Module LeanMachineLearning.SequentialLearning.Means contains 17 exposed declarations.
-
ProbabilityTheory.HasCondDistrib.condExp_comp_eq -
Learning.Environment.measure -
Learning.Environment.means -
Learning.means_zero -
Learning.means_of_isObliviousEnv -
Learning.means_obliviousEnv -
Learning.means_stationaryEnv -
Learning.IsAlgEnvSeq.stronglyMeasurable_means -
Learning.IsAlgEnvSeq.measurable_means -
Learning.IsAlgEnvSeq.adapted_means_filtrationAction -
Learning.IsAlgEnvSeq.stronglyAdapted_means_filtrationAction -
Learning.IsAlgEnvSeq.adapted_means -
Learning.IsAlgEnvSeq.condExp_feedback_zero_comp -
Learning.IsAlgEnvSeq.condExp_feedback_comp -
Learning.IsAlgEnvSeq.condExp_feedback -
Learning.IsAlgEnvSeq.memLp_means_action -
Learning.IsAlgEnvSeq.integrable_means_action