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

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

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

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

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

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




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

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

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

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

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

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

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

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

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

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

यह भी देखें

 * बैकट्रैकिंग
 * बैकवर्ड इंडक्शन
 * फॉरवर्ड चेनिंग
 * ओपुर्चूनिस्टिक लॉजिक

बाहरी संबंध

 * Backward chaining example