אבדוקציה

אַבְּדּוּקְצִיָּה (נקראת גם חשיבה אבדוקטיבית, הסקה אבדוקטיבית או רטרודוקציה, ובעברית: אִסְלוּק) היא סוג של הסקה לוגית המתחילה עם תצפית או קבוצת תצפיות ומבקשת למצוא את ההסבר הפשוט והסביר ביותר להן. תהליך זה, שלא כמו דדוקציה, מניב מסקנה סבירה, אך אינו מאמת אותה בוודאות. מסקנות אבדוקטיביות הן, אם כך, מתוארות כבעלות שריד של אי ודאות או ספק, המתבטא בהסתייגויות כגון "הטובה ביותר הזמינה" או "הסבירה ביותר". ניתן להבין את האבדוקציה כהסקה להסבר הטוב ביותר, אם כי לא כל השימושים של המונחים "אבדוקציה" ו-"הסקה להסבר הטוב ביותר" זהים.
בשנות ה-90 של המאה ה-20 כאשר כוח המחשוב גדל, תחומי המשפט, מדעי המחשב, וכן חקר בינה מלאכותית עוררו עניין מחודש באבדוקציה. מערכות המתמחות באבחון משתמשות באבדוקציה לעיתים קרובות.

חשיבה דדוקטיבית (דדוקציה)

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

חשיבה אינדוקטיבית (אינדוקציה)

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

חשיבה אבדוקטיבית (אבדוקציה)

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

אימות אבדוקטיבי

אימות אבדוקטיבי הוא התהליך של אימות היפותזה נתונה באמצעות חשיבה אבדוקטיבית. תהליך זה יכול גם להיקרא הסקה דרך רצף קירובים. תחת עקרון זה, הסבר הוא תקף אם הוא ההסבר הטוב ביותר האפשרי לקבוצה של נתונים ידועים. ההסבר הטוב ביותר האפשרי מוגדר לעיתים קרובות במונחים של פשטות ואלגנטיות (ראה תערו של אוקאם). אימות אבדוקטיבי נפוץ בבניית היפותזות במדע; יתר על כן, פרס טוען כי אימות אבדוטיבי הוא היבט נפוץ של המחשבה: 
 אני מסתכל מבעד לחלוני בבוקר אביבי מקסים זה, ואני רואה אזליה בתפרחת מלאה. לא, לא! איני רואה זאת; אם כי זוהי הדרך היחידה בה אני יכול לתאר את מה שאני רואה. זוהי טענה, משפט, עובדה; אבל הדבר בו אני מבחין אינו טענה, משפט, עובדה, אלא רק תמונה, אותה אני הופך למובנת באופן חלקי על ידי הצהרת עובדה. הצהרה זו היא מופשטת; אך מה שאני רואה הוא מוחשי. אני מבצע אבדוקציה אפילו כאשר אני מביע במשפט דבר כלשהו אותו אני רואה. האמת היא שכל מארג הידע שלנו הוא יריעת לֶבֶד ארוג של היפותזה טהורה המאומתת ומלוטשת על ידי אינדוקציה. ההתקדמות הקטנה ביותר בידע מעבר לרמת הבהייה הריקנית, לא יכולה להתרחש מבלי ביצוע אבדוקציה בכל צעד. 
 הייתה זו אמרתו של פרס עצמו ש-"עובדות לא יכולות להיות מוסברות על ידי היפותזה יותר יוצאת דופן מאותן עובדות עצמן; ומתוך מספר היפותזות, עלינו לקבל את הרגילה ביותר." לאחר השגת תוצאות מתהליך הסקה, אנו עשויים להישאר עם מספר הנחות, שחלק מהן עשויות להיות סותרות. אימות אבדוקטיבי היא שיטה לזיהוי ההנחות אשר יובילו אותך למטרה שלך.

פרגמטיזם

ב-1901 כתב פרס, "לא יהיה כל הגיון בהנחת כללים, ואמירה כי יש לשמור עליהם, עד שנעשה ברור שמטרת ההיפותזה מצריכה אותם". ב-1903 קרא פרס לפרגמטיזם "ההגיון של האבדוקציה" ואמר שהעקרון הפרגמטי נותן את הכלל הלוגי ההכרחי והמספיק לאבדוקציה באופן כללי. העקרון הפרגמטי הוא: 
 שקלו אילו השפעות, העשויות, באופן המתקבל על הדעת, להיות בעלות השלכות מעשיות, אנו חושבים שיש לאובייקט של התפיסה שלנו. לאחר מכן, תפיסתנו את ההשפעות הללו היא כל התפיסה שלנו של האובייקט. 
 זוהי שיטה להבהרה פורה של תפיסות על ידי השוואת משמעותה של תפיסה להשלכות המעשיות העולות על הדעת של השפעותיו הנתפסות של האובייקט שלה. פרס החזיק בדעה שניסוח זה מותאם בדיוק למטרת האבדוקציה בחקירה, פיתוח רעיון שייתכן שיוכל לעצב התנהלות מושכלת. בכתבים שונים בעשור הראשון של המאה ה-20, הוא אמר כי ביצוע אבדוקציה (או רטרודוקציה) מושפע משיקולים כלכליים, המשתייכים בעיקר לכלכלה של המחקר. הוא התייחס לכלכלה כאל מדע נורמטיבי, שחלקו האנליטי עשוי להיות חלק ממתודוּטיקה (methodeutic, מתודה) לוגית (כלומר, תאוריה של חקירה).

ביקורת על טיעונים

ברמה הביקורתית בחן פרס את צורות הטיעונים האבדוקטיביים (כפי שפורט לעיל), והגיע למסקנה שההיפותזה צריכה לייעל הסברים למען סבירות במונחים של המעשי והטבעי. ב-1908 תיאר פרס את הסבירות הזאת בפירוט. היא אינה מערבת דמיון בהסתמך על תצפיות (שהוא ההערכה האינדוקטיבית של היפותזה), אלא פשטות אופטימלית במובן של "הפשוט והטבעי", בדומה ל"אור הטבעי של התבונה" של גלילאו, ולהבדיל מ"פשטות לוגית" (פרס אינו מבטל את הפשטות הלוגית לחלוטין, אלא רואה את תפקידה כמשני; במקרה הקיצון שלה, היא תיתן העדפה לאי-ניתנת הסבר לתצפית כלל). אפילו שכל ערוך היטב מנחש לא נכונה לעיתים קרובות מאשר נכונה, אבל הניחושים שלנו מצליחים יותר מאשר מזל אקראי להגיע לאמת או לפחות לקדם את החקירה, ודבר זה מצביע לפרס על כך שהם מבוססים על ההתכווננות האינסטינקטיבית לטבע, זיקה בין התהליכים השכליים והתהליכים של הממשי, מה שיתן הסבר לכך שניחושים המרגישים "טבעיים" הם אלו הצולחים לעיתים הכי הקרובות (או לעיתים הכי פחות רחוקות); לכך פרס הוסיף את הטיעון כי ניחושים מעין אלה עדיפים משום שמבלי "נטייה טבעית כמו של הטבע", לאנשים לא הייתה שום תקווה להבין את הטבע.
הביטוי "הסקה להסבר הטוב ביותר" (בו פרס לא השתמש אך הוא נאמר לעיתים קרובות על הסקה היפותטית), אינו תמיד מפורש כהתייחסות להיפותזות הפשוטות והטבעיות ביותר (כגון אלו עם ההנחות המעטות ביותר). עם זאת, במובנים אחרים של "הטוב ביותר", כגון "עומד בפני בחינות באופן הטוב ביותר", קשה לדעת מהו ההסבר הטוב ביותר אותו יש לבנות, שכן הוא עדיין לא נבחן. ובכל זאת, עבור פרס, כל הצדקה שהיא להסקה אבדוקטיבית כטובה אינה מושלמת עם עיצובה של ההסקה כטיעון (בשונה מאינדוקציה ודדוקציה), ובמקום זאת תלויה גם בתפקיד וההבטחה המתודולוגית (כגון היותה ברת בחינה) שלה בקידום החקירה.

סופרים אחרים

נורווד ראסל הנסון , פילוסוף של המדע, ביקש לבנות לוגיקה המסבירה כיצד מתרחשות תגליות מדעיות. לשם כך, הוא השתמש במושג האבדוקציה של פרס.
פיתוח נוסף של המושג ניתן למצוא ב"Inference to the Best Explanation" (ליפטון, 1991) של פיטר ליפטון.

בינה מלאכותית

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

רפואה

ברפואה, אפשר לראות באבדוקציה מרכיב של שיפוט והערכה קלינית.

תכנון אוטומטי

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

ניתוח מודיעין

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

עדכון אמונות

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

פילוסופיה של המדע

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

בלשנות היסטורית

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

אנתרופולוגיה

באנתרופולוגיה, אלפרד גֶל, בספרו רב ההשפעה "אומנות וסוכנות" (Art and Agency), הגדיר אבדוקציה כ"מקרה של הסקה סינתטית 'בו אנו מוצאים כמה נסיבות מסקרנות במיוחד, שיוסברו על ידי ההנחה שהיה זה מקרה של חוק כללי כלשהו, ועל כן אנו מקבלים הנחה זו'". גל מבקר מחקרים "אנתרופולוגיים" קיימים של אומנות על כך שהם שקועים יתר על המידה בערך אסתטי ולא מתעסקים מספיק עם העניין האנתרופולגי המרכזי של חשיפת "קשרים חברתיים", ובפרט ההקשרים החברתיים בהם יצירות אומנות מיוצרות, מופצות ומתקבלות. אבדוקציה משמשת כמכניזם המוביל מאומנות לסוכנות . כלומר, אבדוקציה יכולה להסביר כיצד יצירות אומנות משרות "סֶנְסוּס קוֹמוּניס": ההשקפות הנפוצות המשותפות לאנשים המייצגים חברה מסוימת.
השאלה אותה גל שואל בספר היא: "כיצד יצירת אמנות מתחילה 'לדבר' לאנשים?" הוא עונה בכך שהוא אומר "אף אדם הגיוני לא יוכל להניח כי קשרים כמו-אומנותיים בין אנשים לעצמים לא מערבים לפחות צורה מסוימת של סמיוזה." אולם, הוא דוחה כל רמיזה לכך שאפשר לחשוב על סמיוזה כשפה משום שבכך הוא ייאלץ להודות בקיום של איזשהו "סנסוס קומוניס" מבוסס מראש, ואילו הוא מבקש לטעון כי הוא נובע רק לאחר מכן מתוך האומנות. אבדוקציה היא התשובה לבעיה הזו משום שהמשמעות של טבעו הטנטטיבי של מושג האבדוקציה (פרס השווה אותה לניחוש) היא שלא רק שאבדוקציה יכולה לתפקד מחוץ לכל מערכת קיימת מראש, אלא, היא למעשה יכולה אפילו לרמוז על קיום של מערכת. כפי שגל טוען בניתוח שלו, הקיום הפיזי של יצירת האומנות מניע את הצופה לבצע אבדוקציה המטמיעה התכוונות ביצירה. פסל של אלה למשל, הופך למעשה בשכלו של המתבונן לאלה עצמה במובנים מסוימים; ואינו מייצג את צורתה בלבד אלא גם את כוונותיה (המוסקות מתוך ההרגשה של נוכחותה הממשית). לפיכך, טוען גל, שבאמצעות אבדוקציה, אומנות יכולה להשיג את סוג הסוכנות הזורעת את הזרעים הגדלים למיתוסים תרבותיים. הכוח של סוכנות הוא הכוח להניע מעשים ולהשרות, בסופו של דבר, את ההבנה המשותפת המאפיינת כל חברה נתונה.