बैकवर्ड चेनिंग

बैकवर्ड चेनिंग (या बैकवर्ड रीजनिंग) एक अनुमान पद्धति है जिसे बोलचाल की भाषा में लक्ष्य से पीछे की ओर काम करने के रूप में वर्णित किया जाता है। इसका उपयोग स्वचालित प्रमेय प्रोवर्स, अनुमान इंजन, प्रमाण सहायक और अन्य कृत्रिम बुद्धिमत्ता अनुप्रयोगों में किया जाता है। खेल सिद्धांत में, शोधकर्ता  पीछे की ओर प्रेरण  नामक प्रक्रिया में गेम का समाधान खोजने के लिए इसे (सरल)  उपखेल  पर लागू करते हैं। शतरंज में, इसे प्रतिगामी विश्लेषण कहा जाता है, और इसका उपयोग कंप्यूटर शतरंज के लिए शतरंज शतरंज का अंतिम खेल के लिए टेबल बेस तैयार करने के लिए किया जाता है।

तर्क प्रोग्रामिंग में बैकवर्ड चेनिंग को SLD रेजोल्यूशन द्वारा कार्यान्वित किया जाता है। दोनों नियम  मूड सेट करना  अनुमान नियम पर आधारित हैं। यह अनुमान नियमों और तार्किक परिणाम के साथ तर्क करने के दो सबसे अधिक इस्तेमाल किए जाने वाले तरीकों में से एक है - दूसरा है  आगे की चेनिंग । बैकवर्ड चेनिंग सिस्टम आमतौर पर गहराई-पहली खोज रणनीति को नियोजित करते हैं, उदा। प्रोलॉग.

यह कैसे काम करता है
बैकवर्ड चेनिंग लक्ष्यों (या एक परिकल्पना) की एक सूची से शुरू होती है और परिणामी से पूर्ववर्ती (तर्क) तक पीछे की ओर काम करती है यह देखने के लिए कि क्या कोई आंकड़े इनमें से किसी भी परिणाम का समर्थन करता है। बैकवर्ड चेनिंग का उपयोग करने वाला एक अनुमान इंजन तब तक अनुमान नियमों की खोज करेगा जब तक कि उसे एक ऐसा परिणामी (तब खंड) न मिल जाए जो वांछित लक्ष्य से मेल खाता हो। यदि उस नियम का पूर्ववर्ती (यदि खंड) सत्य नहीं है, तो इसे लक्ष्यों की सूची में जोड़ा जाता है (किसी के लक्ष्य की पुष्टि के लिए व्यक्ति को वह डेटा भी प्रदान करना होगा जो इस नए नियम की पुष्टि करता है)।

उदाहरण के लिए, मान लीजिए कि एक नया पालतू जानवर, फ़्रिट्ज़, फ़्रिट्ज़ के बारे में दो तथ्यों के साथ एक अपारदर्शी बॉक्स में दिया गया है: लक्ष्य निम्नलिखित चार नियमों वाले नियम आधार के आधार पर यह तय करना है कि फ़्रिट्ज़ हरा है या नहीं:
 * फ़्रिट्ज़ कर्कश
 * फ़्रिट्ज़ मक्खियाँ खाता है

# यदि X टर्र-टर्र करता है और X मक्खियाँ खाता है - तो X एक मेंढक है
 * 1) यदि एक्स चहचहाता है और एक्स गाता है - तो एक्स एक कैनरी है
 * 2) यदि X एक मेंढक है - तो X हरा है
 * 3) यदि X एक कैनरी है - तो X पीला है

पिछड़े तर्क के साथ, एक अनुमान इंजन चार चरणों में यह निर्धारित कर सकता है कि फ़्रिट्ज़ हरा है या नहीं। आरंभ करने के लिए, क्वेरी को एक लक्ष्य दावे के रूप में प्रस्तुत किया गया है जिसे सिद्ध किया जाना है: फ़्रिट्ज़ हरा है।

1. यह देखने के लिए कि क्या इसका परिणाम लक्ष्य से मेल खाता है, फ़्रिट्ज़ को नियम #3 में X के स्थान पर प्रतिस्थापित किया गया है, इसलिए नियम #3 बन जाता है: यदि फ़्रिट्ज़ एक मेंढक है - तो फ़्रिट्ज़ हरा है चूँकि परिणाम लक्ष्य से मेल खाता है (फ़्रिट्ज़ हरा है), नियम इंजन को अब यह देखने की ज़रूरत है कि क्या पूर्ववर्ती (फ़्रिट्ज़ एक मेंढक है) सिद्ध किया जा सकता है। इसलिए, पूर्ववर्ती नया लक्ष्य बन जाता है: फ़्रिट्ज़ एक मेंढक है

2. फिर से X के स्थान पर फ्रिट्ज़ को प्रतिस्थापित करने पर नियम #1 बन जाता है: यदि फ़्रिट्ज़ टर्र-टर्र करता है और फ़्रिट्ज़ मक्खियाँ खाता है - तो फ़्रिट्ज़ एक मेंढक है चूँकि परिणाम वर्तमान लक्ष्य से मेल खाता है (फ़्रिट्ज़ एक मेंढक है), अनुमान इंजन को अब यह देखने की ज़रूरत है कि क्या पूर्ववर्ती (फ़्रिट्ज़ टर्र-टर्र करता है और मक्खियाँ खाता है) को सिद्ध किया जा सकता है। इसलिए, पूर्ववर्ती नया लक्ष्य बन जाता है: फ़्रिट्ज़ क्रोक करता है और फ़्रिट्ज़ मक्खियाँ खाता है

3. चूँकि यह लक्ष्य दो कथनों का संयोजन है, अनुमान इंजन इसे दो उप-लक्ष्यों में तोड़ता है, जिनमें से दोनों को सिद्ध किया जाना चाहिए: फ़्रिट्ज़ कर्कश फ़्रिट्ज़ मक्खियाँ खाता है

4. इन दोनों उप-लक्ष्यों को सिद्ध करने के लिए, अनुमान इंजन देखता है कि ये दोनों उप-लक्ष्य प्रारंभिक तथ्यों के रूप में दिए गए थे। इसलिए, संयोजन सत्य है: फ़्रिट्ज़ क्रोक करता है और फ़्रिट्ज़ मक्खियाँ खाता है इसलिए नियम #1 का पूर्ववृत्त सत्य है और परिणामी सत्य होना चाहिए: फ़्रिट्ज़ एक मेंढक है इसलिए नियम #3 का पूर्ववृत्त सत्य है और परिणामी सत्य होना चाहिए: फ़्रिट्ज़ हरा है

इसलिए, यह व्युत्पत्ति अनुमान इंजन को यह साबित करने की अनुमति देती है कि फ़्रिट्ज़ हरा है। नियम #2 और #4 का उपयोग नहीं किया गया।

ध्यान दें कि लक्ष्य हमेशा निहितार्थ के परिणामों के पुष्टि किए गए संस्करणों से मेल खाते हैं (और विधि को हटाना के रूप में नकारात्मक संस्करणों से नहीं) और फिर भी, उनके पूर्ववृत्त को नए लक्ष्य के रूप में माना जाता है (न कि परिणाम की पुष्टि करने वाले निष्कर्ष), जो अंततः ज्ञात तथ्यों से मेल खाना चाहिए (आमतौर पर उन परिणामों के रूप में परिभाषित किया जाता है जिनके पूर्ववृत्त हमेशा सत्य होते हैं); इस प्रकार, प्रयुक्त अनुमान नियम मोडस पोनेंस है।

क्योंकि लक्ष्यों की सूची यह निर्धारित करती है कि कौन से नियम चुने और उपयोग किए जाते हैं, डेटा विज्ञान | डेटा-संचालित फॉरवर्ड चेनिंग | फॉरवर्ड-चेनिंग अनुमान के विपरीत, इस विधि को लक्ष्य-उन्मुख | लक्ष्य-संचालित कहा जाता है। बैकवर्ड चेनिंग दृष्टिकोण अक्सर विशेषज्ञ प्रणालियों द्वारा नियोजित किया जाता है।

प्रोलॉग, ज्ञान मशीन और ईसीएलआईपीएसई जैसी प्रोग्रामिंग भाषाएं अपने अनुमान इंजनों के भीतर बैकवर्ड चेनिंग का समर्थन करती हैं।

यह भी देखें

 * पीछे हटना
 * पीछे की ओर प्रेरण
 * आगे की ओर जंजीर लगाना
 * अवसरवादी तर्क

बाहरी संबंध

 * Backward chaining example