चिनूक एक कंप्यूटर प्रोग्राम है जो बोर्ड गेम चेकर्स (जिसे ड्राफ्ट्स भी कहा जाता है) खेलता है। कंप्यूटर वैज्ञानिक जोनाथन शेफ़र के नेतृत्व में अल्बर्टा विश्वविद्यालय की एक टीम द्वारा विकसित, चिनूक को मानव चेकर्स के उच्चतम स्तरों पर प्रतिस्पर्धा करने के लिए डिज़ाइन किया गया था। इसने 1994 में एक ऐतिहासिक मील का पत्थर हासिल किया, जब यह मानव विश्व चैंपियन मैरियन टिन्सले को हराकर रणनीति के खेल में विश्व चैंपियनशिप जीतने वाला पहला कंप्यूटर प्रोग्राम बन गया। 2007 में, चिनूक टीम ने घोषणा की कि प्रोग्राम ने प्रभावी रूप से चेकर्स को हल कर दिया है, जिसका अर्थ है कि दोनों पक्षों से उत्तम खेल के साथ, खेल हमेशा ड्रॉ में समाप्त होता है।
चिनूक का विकास 1989 में कृत्रिम बुद्धिमत्ता और गेम थ्योरी में एक शोध परियोजना के रूप में शुरू हुआ। प्रोग्राम खोज एल्गोरिदम, मूल्यांकन फ़ंक्शन और एक व्यापक ओपनिंग बुक के संयोजन का उपयोग करता है। इसकी सफलता अल्फा-बीटा प्रूनिंग के साथ मिनिमैक्स खोज के सिद्धांतों पर आधारित थी, एक तकनीक जो प्रोग्राम को प्रति सेकंड लाखों स्थितियों का पता लगाने की अनुमति देती है। प्रोग्राम को कई वर्षों में परिष्कृत किया गया था, इसके मूल्यांकन फ़ंक्शन और खोज दक्षता में महत्वपूर्ण सुधार के साथ।
विश्व चैंपियनशिप उपलब्धियाँ
चिनूक की सबसे प्रसिद्ध उपलब्धि 1990 में आई, जब इसने यू.एस. राष्ट्रीय चेकर्स चैंपियनशिप में दूसरा स्थान हासिल करके विश्व चैंपियनशिप के लिए चुनौती देने का अधिकार अर्जित किया, और मानव विश्व खिताब के लिए क्वालीफाई करने वाला पहला कंप्यूटर बन गया। 1992 में, चिनूक ने मैरियन टिन्सले के खिलाफ एक मैच खेला, जो वर्तमान विश्व चैंपियन थे और व्यापक रूप से अब तक के सबसे महान चेकर्स खिलाड़ी माने जाते थे। मैच 40 खेलों के बाद ड्रॉ में समाप्त हुआ, जिसमें टिन्सले ने अपना खिताब बरकरार रखा। 1994 में, एक रीमैच आयोजित किया गया था, लेकिन टिन्सले ने स्वास्थ्य कारणों से छह खेलों के बाद वापस ले लिया, और चिनूक को विजेता घोषित किया गया, जिससे यह बोर्ड गेम में विश्व चैंपियनशिप रखने वाला पहला कंप्यूटर प्रोग्राम बन गया।
टिन्सले की सेवानिवृत्ति के बाद, चिनूक ने 1995 में डॉन लैफर्टी के खिलाफ अपना खिताब बचाया, मैच जीतकर। प्रोग्राम मानव टूर्नामेंटों में प्रतिस्पर्धा करता रहा, लेकिन 1996 सीज़न के बाद अंततः प्रतियोगिता से सेवानिवृत्त हो गया।
चेकर्स को हल करना
2007 में, चिनूक टीम ने पत्रिका साइंस में एक पेपर प्रकाशित किया जिसमें घोषणा की गई कि उन्होंने चेकर्स को हल कर लिया है। समाधान में एक विशाल कम्प्यूटेशनल प्रयास शामिल था जिसने यह साबित करने के लिए रेट्रोग्रेड विश्लेषण और खोज एल्गोरिदम के संयोजन का उपयोग किया कि उत्तम खेल के साथ खेल एक ड्रॉ है। टीम ने बोर्ड पर 10 टुकड़ों तक की सभी स्थितियों का एक डेटाबेस तैयार किया, जिसके लिए लगभग 10^14 गणनाओं की आवश्यकता थी और 18 वर्षों से अधिक के निरंतर कंप्यूटिंग समय (वितरित कंप्यूटिंग का उपयोग करके) लिया गया। परिणाम से पता चला कि मानक प्रारंभिक स्थिति से, चेकर्स एक सैद्धांतिक ड्रॉ है, जिसका अर्थ है कि यदि दोनों खिलाड़ी इष्टतम रूप से खेलते हैं तो कोई भी खिलाड़ी जीत को मजबूर नहीं कर सकता है।
चेकर्स का समाधान मशीन लर्निंग और गेम एआई में एक ऐतिहासिक उपलब्धि थी, क्योंकि यह उस समय हल किया गया सबसे बड़ा खेल था, जिसमें लगभग 5×10^20 संभावित स्थितियों का खोज स्थान था। इसने खोज एल्गोरिदम को बड़े पैमाने पर कंप्यूटिंग के साथ संयोजित करने की शक्ति का प्रदर्शन किया, और खेलों में मानव विशेषज्ञता की सीमाओं में अंतर्दृष्टि प्रदान की।
तकनीकी दृष्टिकोण
चिनूक की वास्तुकला एक क्लासिक गेम-प्लेइंग एआई डिज़ाइन पर आधारित थी। इसने स्थितियों का मूल्यांकन करने के लिए अल्फा-बीटा प्रूनिंग के साथ गहराई-पहली खोज का उपयोग किया, और एक परिष्कृत मूल्यांकन फ़ंक्शन नियोजित किया जो सामग्री, गतिशीलता और स्थितीय लाभों पर विचार करता था। प्रोग्राम के पास एक बड़ी ओपनिंग बुक भी थी, जिसमें विशेषज्ञ खेल से लाखों स्थितियाँ शामिल थीं, और एक एंडगेम डेटाबेस जो रेट्रोग्रेड विश्लेषण का उपयोग करके बनाया गया था। एंडगेम डेटाबेस समाधान प्रक्रिया के लिए महत्वपूर्ण था, क्योंकि इसने प्रोग्राम को खेल के अंतिम चरणों में पूरी तरह से खेलने की अनुमति दी।
समाधान प्रयास के लिए, टीम ने खोज को उन स्थितियों की ओर निर्देशित करने के लिए "प्रूफ-नंबर खोज" नामक एक तकनीक का उपयोग किया जो जीत या हार होने की सबसे अधिक संभावना थी। उन्होंने एंडगेम डेटाबेस में अरबों स्थितियों को संसाधित करने के लिए एक वितरित कंप्यूटिंग नेटवर्क का भी उपयोग किया। अंतिम समाधान एक प्रमाण था कि चेकर्स एक ड्रॉ है, लेकिन टीम ने यह भी दिखाया कि यदि कोई खिलाड़ी गलती करता है, तो दूसरा जीत को मजबूर कर सकता है।
विरासत और प्रभाव
चिनूक की सफलता का कृत्रिम बुद्धिमत्ता और गेम अनुसंधान के क्षेत्र पर महत्वपूर्ण प्रभाव पड़ा। इसने अन्य खेलों को हल करने के बाद के प्रयासों को प्रेरित किया, जैसे कनेक्ट फोर (1988 में हल किया गया) और बाद में, गो का खेल, जिसे अल्फागो जैसे प्रोग्रामों द्वारा निपटाया गया। चिनूक ने बड़े राज्य स्थानों वाले खेलों को हल करने की तकनीकों के विकास में भी योगदान दिया, और इसका दृष्टिकोण अन्य संयोजनात्मक समस्याओं पर लागू किया गया है।
अपने तकनीकी योगदान के अलावा, चिनूक ने मानव बनाम मशीन बुद्धिमत्ता की प्रकृति के बारे में दार्शनिक प्रश्न उठाए। मानव विश्व चैंपियन पर प्रोग्राम की जीत शतरंज (1997 में डीप ब्लू) और गो (2016 में अल्फागो) में बाद की उपलब्धियों का अग्रदूत थी। आज, चिनूक को एक अग्रणी प्रयास के रूप में याद किया जाता है जिसने जटिल रणनीतिक खेलों में महारत हासिल करने की कंप्यूटर की क्षमता का प्रदर्शन किया।
चिनूक परियोजना ने फ़ोरस्टोन्स बेंचमार्क के विकास को भी जन्म दिया, जो खोज एल्गोरिदम के प्रदर्शन को मापने के लिए उपयोग किया जाने वाला एक परीक्षण है। प्रोग्राम का कोड और डेटाबेस शोध उद्देश्यों के लिए उपलब्ध कराए गए हैं, और इसकी विरासत गेम-प्लेइंग एआई सिस्टम के डिज़ाइन को प्रभावित करना जारी रखती है।