Fuzzy Logic — Beyond Crisp Boolean Rules

ml1-9 closed on a deliberate setup: k-means gives every point crisp membership — fully in exactly one cluster, never partially in two. This chapter is that setup's own payoff: a system built specifically around membership that doesn't have to be all-or-nothing.

Crisp Logic Is Everywhere in This Course So Far, Once You Look

Classical Boolean logic says a statement is fully true or fully false — an element either is or isn't in a set, 1 or 0, nothing between. This isn't just ml1-9's own clustering; ml1-7's own decision tree splits are crisp too. "Is salary below $50,000?" draws a hard line: someone earning $49,999 and someone earning $50,001 — practically identical — land in completely different branches, with zero partial credit for how close the second person actually sits to the boundary.

Fuzzy Sets — Partial, Graded Membership

A fuzzy set allows membership to be any value between 0 and 1, not just the two endpoints. Take "long tenure": crisp logic needs a hard cutoff (years_at_company ≥ 5 = long, full stop). A fuzzy set instead assigns a graded degree of membership — four years might sit at 0.6 membership in "long tenure," eight years at 0.9 — genuinely closer to how people actually reason about vague, real-world categories, where "long" isn't a single sharp line anyone actually applies mentally.

Membership Functions

A membership function is what actually assigns each possible input a degree of membership in a fuzzy set — commonly triangular, trapezoidal, or S-shaped curves, plotted against the input value.

Fuzzy Inference Systems

Fuzzy sets combine using fuzzy versions of AND/OR/NOT (typically minimum, maximum, and complement), feeding into fuzzy IF...THEN rules — IF tenure is long AND salary is low THEN attrition_risk is high — where "long," "low," and "high" are all fuzzy sets with their own membership functions, and the rule's own output is itself a graded degree, not a hard yes/no.

The Real Historical Link to ml1-1's Own Expert Systems

Fuzzy logic and historyai2-6's own expert systems emerged in the same classical-AI era, and were often combined directly into "fuzzy expert systems." The rules in a fuzzy inference system are, like MYCIN's own, still typically hand-written by a human expert — ml1-1's own learned-vs-hand-coded distinction still applies exactly as before. What fuzzy logic actually changed was narrower and more specific: ml1-1's own tip-box already named brittleness as one of the real, documented reasons expert systems declined — a crisp rule system handling a value right at a boundary badly, with no graceful middle ground. Fuzzy logic was a genuine, historical attempt to fix exactly that brittleness, letting hand-coded rules degrade gracefully near a boundary instead of snapping sharply across it.

Back to ml1-9's Own Employee Clusters

Where Fuzzy Logic Actually Lives Today

Fuzzy logic isn't a mainstream competitor to ml1-3's regression, ml1-7's trees, or nn1's eventual neural networks for prediction tasks like this course's own two case studies. Its real, ongoing home is control systems — washing machines adjusting cycle length to load size, camera autofocus, some industrial process control — genuine, still-deployed applications where reasoning gracefully over graded inputs matters more than raw predictive accuracy on a labeled dataset.

Hands-On Exercises