הלוגיקה הקלאסית מכירה רק אמת ושקר, 0 ו-1, פנים וחוץ. תובנתו של זאדה הייתה שכמעט דבר בחוויה האנושית אינו כה חד — ושאפשר ללמד מכונות להתמודד עם שביניהם.
האם אדם שגובהו 179 ס״מ הוא ״גבוה״? תורת הקבוצות הקלאסית דורשת הכרעה: בחר סף, נניח 180 ס״מ, וכל מי שמתחתיו פשוט אינו גבוה — מילימטר מכריע הכול. זה מסודר מתמטית ואבסורדי אנושית. איננו חושבים כך. ״גבוה״, ״חם״, ״מהיר״, ״בקרוב״ הם ענייני דרגה. זאדה איפשר למתמטיקה לומר זאת.
גררו את המחוון כדי לשנות את גובה האדם. הקו האפור המקווקו הוא הקבוצה החדה ״גבוה״ — מדרגה אכזרית של דלוק/כבוי ב-180 ס״מ. העקומה הצבעונית היא הקבוצה העמומה של זאדה: השייכות עולה בהדרגה, כך ש-178 ס״מ יכול להשתייך ל״גבוה״ בדרגה 0.8.
במאמר 1965 הגדיר זאדה זאת בשורה אחת. קבוצה עמומה A מעל יקום X היא פשוט פונקציית שייכות μ המקצה לכל עצם דרגה שבין 0 ל-1:
״קבוצה עמומה היא מחלקה של עצמים בעלי רצף של דרגות שייכות״. — זאדה, 1965
כל השאר נובע מהכללת הפעולות הרגילות — איחוד הופך למקסימום, חיתוך למינימום, משלים ל״אחד פחות״ — כך שאפשר לבנות לוגיקה שלמה על אמת חלקית.
מקבוצות עמומות בנה זאדה לוגיקה עמומה ואת רעיון המשתנה הלשוני: משתנה שערכיו הם מילים, לא מספרים. ״טמפרטורה״ יכולה לקבל את הערכים קר, חמים, חם; ״מאוד״, ״במקצת״ ו״לא״ הופכים לאופרטורים מדויקים על המשמעויות העמומות הללו. כך יכלו מהנדסים לכתוב כללי בקרה כמעט בשפה רגילה — ״אם העומס גדול והמים מלוכלכים מאוד, כבס זמן רב יותר״ — ולגרום למכונה לבצעם.
בעשורים שלאחר מכן הרחיב זאדה את התוכנית. חישוב רך — מונח שטבע — מאגד יחד לוגיקה עמומה, רשתות נוירונים ושיטות הסתברותיות, ומחליף את אשליית הדיוק בעמידוּת מול עולם מבולגן. חישוב במילים הרחיק לכת עוד יותר: חזון של מכונות החושבות ישירות בשפה אנושית ובאי־דיוק הטבוע בה — הקדמה רבת־שנים לסוגיות שבמרכז ה-AI כיום.
זאדה היה תאורטיקן מערכות מכובד עוד לפני 1965. עם מנחה הדוקטורט שלו יצר את התמרת ה-z (1952), אבן יסוד של עיבוד אותות דיגיטלי הנלמדת בכל בית ספר להנדסה, והיה שותף לכתיבת ספר הלימוד רב־ההשפעה ״תורת המערכות הלינאריות״ (1963). הלוגיקה העמומה לא הייתה הימור של מדען צעיר אלא נתק מכוון של מהנדס בשל מן התחום שעיצב אותו.
שנים הייתה הלוגיקה העמומה סקרנות. ואז, בסוף שנות ה-80, מהנדסים יפנים — שהמילה האנגלית ״fuzzy״ לא הטרידה אותם — שילבו אותה בדברים שעבדו. הדגל היה הרכבת התחתית של סנדאי (1987), שבקר עמום שלה בלם והאיץ בחלקות של נהג ותיק. שיטפון של מוצרים בא בעקבותיה:
עשרות אלפי פטנטים מצטטים כיום לוגיקה עמומה. היא תקן בהנדסת בקרה וענף מוכר של בינה מלאכותית.
ההכרה נכבשה בקושי. עצם המילה ״fuzzy״ נשמעה גנאי באנגלית, ואישים נכבדים תקפו את התאוריה חזיתית. ויליאם כהאן מברקלי כינה אותה ״שגויה, שגויה ומזיקה… היא תעודד בדיוק את החשיבה הלא־מדויקת שהמיטה עלינו כה הרבה צרות״. רודולף קלמן ביטל אותה כ״התירנות מדעית״.
באסיה אין להם בעיה עם המילה ׳עמום׳… יש שם תרבות המקבלת גוני אפור, בניגוד למסורת הקרטזיאנית שבה הכול שחור או לבן. — ל. א. זאדה
זאדה לא נסוג. ״מעולם לא הצטערתי על השם, אמר. עדיף להיות נראה ופרובוקטיבי מאשר תפל״. הרכבות הנוסעות והמצלמות הנמכרות הכריעו את הוויכוח. כיום למאמרו מ-1965 יש הרבה למעלה ממאה אלף ציטוטים, והחשיבה ה״לא־מדויקת״ שמבקריו חששו ממנה התבררה כאחד הרעיונות השימושיים ביותר בהנדסה המודרנית.