discretization instrument
| Definition | Collapsing an ordered quantity to a few labels by binning it, so that values in one cell become indistinguishable. It forms a quotient. Chapter 2 section 2.5. |
|---|---|
| Example | Ages 23, 27, and 29 all become the label 20 to 29 in ten-year bins. |
| Book | Data Mining as Observation, draft 0.2, commit f3914f0; entry id discretization, kind instrument. |
| Status | no ledger row names this entry. Corrections: none recorded. |
| Defining equation | none |
| Assumptions and scope |
|
| Prior art | none recorded |
| Evidence | lean/DataMiningAsObservation/Discretization.lean |
| Reviewed | not yet reviewed; generated 2026-09-10 from records at the commits on the provenance page. |
Equation
none
Conditions
- Collapsing an ordered quantity to a few labels by binning it. The bin index is nondecreasing in the value, every value in a cell gets the cell’s index, two values in the same cell become indistinguishable, and a sample confined to m cells has at most m distinct labels.
- A discretization forms a quotient before anyone has said who reads the result, and a consumer that read the values it merged has lost them for every stage after.
Conditions are curated in entries.toml rather than read
from a record.
Ledger
none
First stated
Chapter 2 section 2.5 of Data Mining as Observation, after TSK section 2.3.
Measurements
none
Failures and corrections
none
Invariance envelope
none declared
Machine checked
lean/DataMiningAsObservation/Discretization.lean,
theorems bin_mono, bin_of_mem,
bin_eq_of_same_cell, card_bins_le, at
observation-data-mining f3914f0; what the check covers is stated in the
book’s appendix
C.
Used in
Data Mining as Observation chapters 2.
Related
quotient; standardization; attribute type; bit; quantization.
See also
Book equations stated beside the entry’s terms, not defining it: 2.1, 0.12a.
Sources-table rows that share a record with the entry without naming it: chapter 2 section 2.1, chapter 2 section 2.3.
Status
Generated 2026-09-10 by encyclopedia/generate.py; book
at observation-data-mining f3914f0; the commit of every record is listed
in the encyclopedia’s provenance.