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

في التسلسل العكسي، يقوم النظام أولاً بتحديد الأهداف التي يجب تحقيقها ثم يعمل إلى الوراء من تلك الأهداف للعثور على القواعد والحقائق التي يمكن أن تؤدي إلى تلك الأهداف. تستمر هذه العملية حتى يتم الوصول إلى حقيقة أو قاعدة معروفة، أو حتى يتم تحديد أنه لا يمكن تحقيق الهدف.

طبيعة الروابط الخلفية:

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