Refinement

Navigation page for Blueprint/D5/S3/ConceptDynamics/Refinement/ at upstream snapshot c1e1716ef741bf4822ce02313bbd7922b2bfd763.

Contents

• Concept Classes and Kernel Relations
• Hume Inductive Core
• Inductive Sufficiency
• Least Common Readout Refinement
• Minimal Sufficiency for Multiple Targets
• Refinement Reflexivity
• Refinement Transitivity
• Relative Maturity as a Fixed-Point Criterion
• Resource-Asymmetric Concept Equivalence
• Resource Refinement Composition
• Semantic Sufficiency Beyond Finite Resources
• Separating Joins Eliminate Erroneous Merges
• Finite Strict Refinement Bound