تسلسل عكسي

بدايةً، التسلسل العكسي (أو الاستدلال العكسي) هو أسلوب استدلال يوصف بأنه يعمل عكسًا من الهدف. يُستعمل في مثبتات النظرية الآلية ومحركات الاستدلال ومساعدي الإثبات وتطبيقات الذكاء الاصطناعي الأخريات.

إضافةً إلى ذلك، يطبقها الباحثون في نظرية الألعاب على ألعاب فرعية (أبسط) لإيجاد حل للعبة، في عملية تسمى الحث العكسي. أما في الشطرنج فيطلق عليه التحليل الرجعي يُستعمل لإنشاء قواعد الجدول لألعاب نهاية اللعب لشطرنج الحاسوب.