فہرست کا خانہ:
تعریف - پسماندہ سلسلہ بندی کا کیا مطلب ہے؟
پسماندہ زنجیروں کا استعمال مصنوعی ذہانت ، خودکار تھیوریئم پروورز اور پروف اسسٹنٹس میں وسیع پیمانے پر استعمال ہوتا ہے۔ پسماندہ زنجیروں کے طریقہ کار کو کسی مقصد سے پیچھے ہٹتے ہوئے بیان کیا جاسکتا ہے۔ بہت ساری پروگرامنگ زبانیں اپنے انجنوں میں پسماندہ زنجیروں کی حمایت کرتی ہیں۔
پچھلے زنجیروں کو بھی پسماندہ استدلال سے تعبیر کیا جاتا ہے۔
ٹیکوپیڈیا نے بیک ڈور چیننگ کی وضاحت کی ہے
منطقی پروگرامنگ میں بیک لینڈی چینائزنگ کا استعمال انتخابی لکیری قطعی شق ریزولوشن کے ذریعے کیا جاتا ہے۔ یہ مداخلت کے قواعد اور منطقی مضمرات کے ساتھ استدلال کے سب سے زیادہ استعمال شدہ طریقوں میں سے ایک ہے۔ پچھلے زنجیر اہداف کی فہرست سے پیچھے کی طرف کام کرتے ہیں اس بات کا تعین کرنے کے لئے کہ آیا ان کے تعاون کے لئے کوئی اعداد و شمار موجود ہیں یا نہیں۔ ایک انفرنس انجن جو پسماندہ زنجیروں کا استعمال کرتا ہے وہ جب تک کسی مطلوبہ مقصد سے مماثل نہیں ہوتا ہے اس کے نتیجے میں کوئی قاعدہ تلاش نہیں کرتا ہے اس وقت تک انفلس رول کو تلاش کرتا ہے۔ اگر اس اصول کی روداد سچ ثابت نہیں ہوتی ہے تو ، اس اصول کو اہداف کی فہرست میں شامل کیا جاتا ہے تاکہ اعداد و شمار کی تصدیق کے ل. ان کو تلاش کیا جاسکے۔
