جدول المحتويات:
التعريف - ماذا يعني التسلسل المتخلف؟
التسلسل المتخلف هو طريقة استدلال تستخدم على نطاق واسع في الذكاء الاصطناعي ومثبتات النظرية الآلية ومساعدي الإثبات. يمكن وصف منهجية التسلسل المتخلف بأنها تعمل من هدف. تدعم العديد من لغات البرمجة التسلسل الخلفي في محركات الاستدلال الخاصة بهم.
يشار إلى السلسلة المتأخرة أيضًا باسم المنطق الخلفي.
تيكوبيديا تشرح التسلسل المتخلف
يتم استخدام تسلسل للخلف في البرمجة المنطقية من خلال دقة جملة محددة خطية انتقائية. إنها واحدة من أكثر طرق التفكير استخدامًا مع قواعد التداخل والنتائج المنطقية. تعمل السلسلة الخلفية للوراء من قائمة الأهداف لتحديد ما إذا كان هناك أي بيانات لدعمها. يبحث محرك الاستدلال الذي يستخدم التسلسل العكسي عن قواعد الاستدلال إلى أن يجد قاعدة لها نتيجة تتوافق مع الهدف المنشود. إذا لم يكن معروفًا بسابق هذه القاعدة ، تتم إضافة القاعدة إلى قائمة الأهداف بحيث يمكن العثور على البيانات لتأكيدها.
