General Machine Learning: Theory for Learning Under Variable Regimes
Organizations: INSA-Rouen, France
Abstract
We study learning under regime variation, where the learner, its memory state, and the evaluative conditions may evolve over time. This paper is a foundational and structural contribution: its goal is to define the core learning-theoretic objects required for such settings and to establish their first theorem-supporting consequences. The paper develops a regime-varying framework centered on admissible transport, protected-core preservation, and evaluator-aware learning evolution. It records the immediate closure consequences of admissibility, develops a structural obstruction argument for faithful fixed-ontology reduction in genuinely multi-regime settings, and introduces a protected-stability template together with explicit numerical and symbolic witnesses on controlled subclasses, including convex and deductive settings. It also establishes theorem-layer results on evaluator factorization, morphisms, composition, and partial kernel-level alignment across semantically commensurable layers. A worked two-regime example makes the admissibility certificate, protected evaluative core, and regime-variation cost explicit on a controlled subclass. The symbolic component is deliberately restricted in scope: the paper establishes a first kernel-level compatibility result together with a controlled monotonic deductive witness. The manuscript should therefore be read as introducing a structured learning-theoretic framework for regime-varying learning together with its first theorem-supporting layer, not as a complete quantitative theory of all learning systems.
Figures & tables
| Earlier symbol | Present GML object | Role in this paper |
|---|---|---|
| , regime-indexed carriers | regime carrier | |
| local learning-state space | ||
| memory carrier | ||
| , , | evaluator and protected core | |
| , | , transport grammar | update and transport |
| -certification | , protected comparison | admissibility certificate |
| Tradition | Correctly formalizes | Where GML begins | Relation to GML |
|---|---|---|---|
| Mitchell | Fixed-regime evaluative improvement | Evaluator transport; memory admissibility | Boundary degeneration |
| PAC / VC / SRM | Learnability; sample complexity | Regime-indexed risk semantics | Fixed-regime subclass |
| SLT / PAC-Bayes | Generalization; fixed risk | Guarantee transport across regimes | Regime-local subclass |
| Online / Regret | Sequential adaptation; regret | Comparator legitimacy certification | Neighborhood; overlap |
| Dataset shift | Distributional variation | Evaluator and memory semantic evolution | Statistical subclass |
| Domain adaptation | Domain-indexed distribution shift | Evaluative legitimacy transport | Partial overlap |
Statistical Learning Theory
Statistical learning theory studies when data-driven algorithms generalize, how many samples they need, and what statistical or computational limits apply.
See all 561 papers