אינטליגנציה מלאכותית סמלית מדויקת להערכה מהירה יותר, של הערכת AI הוגנת

עדכון: 6 באוגוסט 2023
אינטליגנציה מלאכותית סמלית מדויקת להערכה מהירה יותר, של הערכת AI הוגנת

מערכת המשפט, הבנקים והחברות הפרטיות משתמשות באלגוריתמים כדי לקבל החלטות בעלות השפעה עמוקה על חיי אנשים. לרוע המזל, אלגוריתמים אלה הם לפעמים מוטים-משפיעים באופן לא פרופורציונלי על אנשים בעלי צבע וגם על אנשים משכורות נמוכות יותר כאשר הם מבקשים הלוואות או משרות, או אפילו כאשר בתי המשפט מחליטים איזו ערובה יש לקבוע בזמן שאדם ממתין למשפט.

חוקרי MIT פיתחו שפת תכנות AI חדשה שיכולה להעריך את ההגינות של האלגוריתמים בצורה מדויקת יותר ומהירה יותר מאשר חלופות זמינות.

השפה ההסתברותית שלהם (SPPL) היא מערכת תכנות הסתברותית. תכנות הסתברותי הוא תחום מתפתח במפגש של שפות תכנות ובינה מלאכותית שמטרתו להפוך את מערכות ה- AI לפשוטות בהרבה, עם הצלחות מוקדמות בתחום ראיית המחשב, ניקוי נתונים בתבונה ומודלים אוטומטיים של נתונים. שפות תכנות הסתברותיות מקלות הרבה יותר על מתכנתים להגדיר מודלים הסתברותיים ולבצע הסקה הסתברותית - כלומר לעבוד לאחור כדי להסיק הסברים אפשריים לנתונים שנצפו.

ישנן מערכות קודמות שיכולות לפתור שאלות הוגנות שונות. המערכת שלנו אינה הראשונה; אך מכיוון שהמערכת שלנו מתמחה ומותאמת לסוג מסוים של דגמים, היא יכולה לספק פתרונות אלפי פעמים מהר יותר.

SPPL נותנת פתרונות מהירים ומדויקים לשאלות הסקה הסתברותיות כמו "כמה סביר המודל להמליץ ​​על הלוואה למישהו מעל גיל 40?" או "צור 1,000 מבקשי הלוואה סינתטיים, כולם מתחת לגיל 30, אשר הלוואותיהם יאושרו". תוצאות הסקה אלה מבוססות על תוכניות SPPL המקודדות מודלים הסתברותיים של סוגי המועמדים הסבירים, אפריורי, וגם כיצד לסווג אותם. שאלות ההגינות ש- SPPL יכולות לענות עליהן כוללות "האם יש הבדל בין ההסתברות להמליץ ​​על הלוואה למגיש מהגר וללא עובר בעל מעמד סוציו -אקונומי זהה?" או "מה ההסתברות של שכירה, בהתחשב בכך שהמועמד כשיר לתפקיד ומקבוצה שאינה מיוצגת?"

SPPL שונה מרוב שפות התכנות ההסתברותיות, מכיוון ש- SPPL מאפשר למשתמשים לכתוב תוכניות הסתברות בלבד שעבורן היא יכולה לספק תוצאות הסקה הסתברותיות מדויקות. SPPL גם מאפשר למשתמשים לבדוק כמה מהר תהיה מסקנה, ולכן להימנע מכתיבת תוכניות איטיות. לעומת זאת, שפות תכנות הסתברותיות אחרות כמו Gen ו- Pyro מאפשרות למשתמשים לרשום תוכניות הסתברותיות שבהן הדרכים היחידות הידועות לבצע הסקה הן משוערות - כלומר, התוצאות כוללות שגיאות שאופיין וגודלם יכול להיות קשה לאפיין.

שגיאה מהסקת הסתברות משוערת נסבלת ביישומי AI רבים. אך לא רצוי שיהיו טעויות הסקה המשחיתות תוצאות ביישומים בעלי השפעה חברתית של AI, כגון קבלת החלטות אוטומטית, ובמיוחד בניתוח הוגנות.

SPPL נמנע משגיאות על ידי הגבלה למעמד מודלים שתוכנן בקפידה שעדיין כולל סוג רחב של אלגוריתמים של AI, כולל מסווגי עץ ההחלטות הנמצאים בשימוש נרחב לקבלת החלטות אלגוריתמיות. SPPL פועלת על ידי חיבור תוכניות הסתברותיות למבנה נתונים מיוחד שנקרא "ביטוי תוצר-סכום". SPPL בונה עוד יותר על הנושא המתפתח של שימוש במעגלים הסתברותיים כייצוג המאפשר הסקת הסתברות יעילה. גישה זו מרחיבה את העבודה הקודמת ברשתות מוצר-סכום למודלים ושאילתות המתבטאות באמצעות שפת תכנות הסתברותית. עם זאת, סעד מציין כי לגישה זו יש מגבלות: "SPPL היא מהירה יותר באופן משמעותי לניתוח הוגנות של עץ החלטות, למשל, אך היא אינה יכולה לנתח מודלים כמו רשתות עצביות. מערכות אחרות יכולות לנתח רשתות עצביות ועצי החלטות כאחד, אך הן נוטות להיות איטיות יותר ולתת תשובות לא מדויקות ".

SPPL מראה שהסקת הסתברות מדויקת היא מעשית, לא רק תיאורטית, עבור סוג רחב של תוכניות הסתברותיות. במעבדה שלי, ראינו מסקנות סמליות של מהירות נהיגה ודיוק במשימות הסקה אחרות אליהן ניגשנו בעבר באמצעות מונטה קרלו משוערת ו למידה עמוקה אלגוריתמים. כמו כן, יישמנו SPPL על תוכניות הסתברות שנלמדו ממאגרי מידע מהעולם האמיתי, כדי לכמת את ההסתברות לאירועים נדירים, לייצר נתוני פרוקסי סינתטיים בהתחשב באילוצים ולסנן באופן אוטומטי נתונים עבור חריגות אפשריות.

+ פוסטים
  • electronica India ו- Productronica India יחד עם MatDispens מתוזמנות מחדש ל -16–18 בדצמבר 2021
  • הונדה משיקה קורקינט חשמלי U-GO חדש
  • סיפונים נוקו עבור חברת Assam State Electronics Development Corporation מוגבלת לקישוריות אינטרנט מהירה
  • לוויין הדמיה גיאוגרפית "EOS-03" מתוכנן להשקה ברבעון השלישי של 2021
מיינק וושישט
אתר | + פוסטים
  • פתרונות המדידה של Anritsu לתקשורת NR NR 5G באקספו האינטרנט של Anritsu Test and Measurement - אביב 2021
  • AI ו- ML יפתחו את הרמה הבאה במשחק עיצוב שבבים
  • הבינה הכללית המלאכותית (AGI) והשערת האיום הקיומי האמיתי
  • מציאות מורחבת, דהיית הקווים בין דמיון למציאות