संघर्ष प्रेरित क्लॉज लर्निंग बैकट्रैकिंग स्पष्टीकरण


9

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

बैकट्रैक कितनी दूर है?

जवाबों:


7

यहां मिनीसैट पेपर से संबंधित पैराग्राफ दिया गया है:

निर्णय चरण तब तक जारी रहेगा जब तक या तो सभी चर असाइन नहीं किए गए हैं, जिस स्थिति में हमारे पास एक मॉडल है, या एक संघर्ष हुआ है। संघर्षों पर, सीखने की प्रक्रिया को लागू किया जाएगा और एक संघर्ष खंड का निर्माण किया जाएगा। निशान का उपयोग पूर्ववत निर्णय के लिए किया जाएगा, एक समय में एक स्तर, जब तक कि सीखा खंड के शाब्दिक में से एक अनबाउंड नहीं हो जाता (वे संघर्ष के बिंदु पर सभी हैं )। निर्माण के द्वारा, संघर्ष खंड दो या अधिक अनबाउंड शाब्दिक के साथ संघर्ष से सीधे नहीं जा सकता है। यदि खंड कई निर्णय स्तरों के लिए इकाई बना रहता है, तो इसे [sic] निम्नतम स्तर ( बैकजंपिंग या गैर-कालानुक्रमिक बैकट्रैकिंग के रूप में संदर्भित) चुना जाना लाभप्रद हैFalse

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

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

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.