שפת התכנות Planner, שפותחה במהלך סוף שנות ה-60, הציגה הטמעה פרוצדורלית של ידע שסיפקה חלופה לגישות לוגיות קיימות בבינה מלאכותית. פרויקט זה שימש כנדבך מרכזי בקריירה של קארל אדי יואיט (Carl Eddie Hewitt), מדען מחשב ומתמטיקאי שמחקרו המשתרע על פני למעלה משלושה עשורים השפיע על פיתוח חישוב מקבילי ותכנות לוגי.
יסודות אקדמיים ב-MIT
קארל אדי יואיט קיבל את הדוקטורט שלו במתמטיקה מהמכון הטכנולוגי של מסצ'וסטס (MIT) בשנת 1971. בין מנחי הדוקטורט שלו נמנו סימור פאפרט (Seymour Papert), מרווין מינסקי (Marvin Minsky) ומייק פטרסון (Mike Paterson). לאחר סיום לימודיו, הצטרף לסגל MIT במחלקה להנדסת חשמל ומדעי המחשב, שם לימד עד שנת הלימודים 1999–2000. עם פרישתו, הוענק לו מעמד פרופסור אמריטוס במחלקה. במהלך תקופת כהונתו, הנחה סטודנטים רבים לתואר דוקטור, בהם גול אגא (Gul Agha), הנרי בייקר (Henry Baker), ויליאם קלינגר (William Clinger), איירין גריף (Irene Greif) ואקינורי יונזאווה (Akinori Yonezawa).
פיתוח Planner
במהלך עבודתו במעבדה לבינה מלאכותית של MIT, עבד יואיט על Planner, שפה שתוכננה לתכנון אוטומטי ולהוכחת משפטים ברובוטים. בניגוד לשיטות לוגיות קודמות שהועדפו על ידי חוקרים כמו ג'ון מקארתי (John McCarthy), Planner השתמשה בהפעלה מכוונת תבניות מתוך טענות ויעדים. תת-קבוצה של השפה, Micro-Planner, מומשה על ידי ג'רי זוסמן (Gerry Sussman), דרו מקדרמוט (Drew McDermott), יוג'ין צ'רניאק (Eugene Charniak) וטרי וינוגרד (Terry Winograd), ושימשה לאחר מכן להפעלת תוכניות כגון SHRDLU וניסויים שונים בהבנת סיפורים בשפה טבעית. מאוחר יותר שיתף יואיט פעולה בפיתוח Muddle, גרסה מורחבת של Lisp שנועדה לעדן את יישום עקרונות Planner.
מודל השחקן וחישוב מקבילי
בשנת 1972, שינה יואיט את המוקד המחקרי שלו לאחר שפיתח את מודל השחקן (Actor model) של חישוב מקבילי יחד עם תלמידי המחקר שלו. המודל, שהוצג רשמית במאמר משנת 1973 שנכתב בשיתוף עם פיטר בישופ (Peter Bishop) וריצ'רד שטייגר (Richard Steiger), הציע מסגרת חדשה לתהליכים מקביליים. עבודה זו השפיעה על יצירת שפת התכנות Scheme, שבה ציינו החוקרים זוסמן וסטיל כי האופרטור שלהם ליצירת שחקנים חולק זהות עם האופרטור של חשבון למדא. מודל השחקן השפיע לאחר מכן על פיתוח שפות שונות, בהן E, SALSA ו-ActorScript, וכן על תחשיב ה-π התיאורטי (π-calculus).
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →פעילות מקצועית ומחקר מאוחר
יואיט שמר על נוכחות אקדמית בינלאומית, וכיהן כפרופסור אורח של קתדרלת IBM באוניברסיטת קיו (Keio University) ביפן מספטמבר 1989 ועד אוגוסט 1990. הוא החזיק גם במשרת פרופסור אורח באוניברסיטת סטנפורד. בעשור האחרון למחקרו, התמקד בחוסן מפני חוסר עקביות, מתוך מטרה ליצור יסודות קפדניים למערכות מידע המתמודדות עם נתונים לא עקביים באופן נרחב. תוצריו האקדמיים השתרעו על פני תחומים מגוונים כגון מערכות מידע פתוחות, לוגיקה פארא-עקבית (paraconsistent logic), מחשוב ענן ומערכות רב-סוכנים ארגוניות.
עובדות מהירות
- נולד: 1944 - נפטר: 2022, אפטוס - אזרחות: ארצות הברית - השכלה: המכון הטכנולוגי של מסצ'וסטס - תחום עיקרי: מדעי המחשב - עבודה בולטת: Planner - מנחה אקדמי: מרווין מינסקי - פרופסור אורח: אוניברסיטת קיו
שאלות נפוצות של קוראים
### מה הייתה מטרת שפת Planner?
Planner תוכננה לתכנון אוטומטי ולהוכחת משפטים, במיוחד לשימוש בתחומי הבינה המלאכותית והרובוטיקה.
### כיצד תרם יואיט לתכנות מקבילי?
הוא פיתח את מודל השחקן, מערכת פורמלית לחישוב מקבילי שהשפיעה על שפות תכנות מרובות ועל פיתוח תחשיב ה-π.