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