इंडक्टिव प्रोग्रामिंग

From Vigyanwiki

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

प्रयुक्त प्रोग्रामिंग भाषा के आधार पर, इंडक्टिव प्रोग्रामिंग कई प्रकार की होती है। इस प्रकार इंडक्टिव कार्यात्मक प्रोग्रामिंग, जो लिस्प (प्रोग्रामिंग भाषा) या हास्केल (प्रोग्रामिंग भाषा) जैसी कार्यात्मक प्रोग्रामिंग भाषाओं का उपयोग करती है, और विशेष रूप से इंडक्टिव तर्क प्रोग्रामिंग, जो प्रोलॉग जैसी तर्क प्रोग्रामिंग भाषाओं और विवरण तर्क जैसे अन्य तार्किक प्रतिनिधित्व का उपयोग करती है, किन्तु अन्य (प्रोग्रामिंग) भाषा प्रतिमानों का भी उपयोग किया गया है, जैसे कांस्ट्रेन्ट प्रोग्रामिंग या संभाव्य प्रोग्रामिंग भाषा है।

परिभाषा

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

आईपी ​​सिस्टम का आउटपुट कुछ इच्छानुसार प्रोग्रामिंग भाषा में प्रोग्राम है जिसमें सशर्त और लूप या पुनरावर्ती नियंत्रण संरचनाएं, या किसी अन्य प्रकार की ट्यूरिंग पूर्णता या ट्यूरिंग-पूर्ण ज्ञान प्रतिनिधित्व और तर्क भाषा सम्मिलित है।

इस प्रकार कई अनुप्रयोगों में आउटपुट प्रोग्राम को उदाहरणों और आंशिक विनिर्देशों के संबंध में सही होना चाहिए, और इससे स्वचालित प्रोग्रामिंग या प्रोग्राम संश्लेषण के अंदर विशेष क्षेत्र के रूप में इंडक्टिव प्रोग्रामिंग पर विचार किया जाता है,[1][2] सामान्यतः 'निगमनात्मक' प्रोग्राम संश्लेषण का विरोध किया जाता है,[3][4][5] जहां विशिष्टता सामान्यतः पूर्ण होती है.

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

इंडक्टिव प्रोग्रामिंग की विविधता सामान्यतः अनुप्रयोगों और उपयोग की जाने वाली भाषाओं से आती है: इस प्रकार तर्क प्रोग्रामिंग और कार्यात्मक प्रोग्रामिंग के अतिरिक्त, अन्य प्रोग्रामिंग प्रतिमान और प्रतिनिधित्व भाषाओं का उपयोग इंडक्टिव प्रोग्रामिंग में किया गया है या सुझाया गया है, जैसे कार्यात्मक तर्क प्रोग्रामिंग, कांस्ट्रेन्ट प्रोग्रामिंग, संभाव्य प्रोग्रामिंग भाषा, अपहरणात्मक तर्क प्रोग्रामिंग, मोडल तर्क, क्रिया भाषाएँ, एजेंट भाषाएँ और कई प्रकार की अनिवार्य भाषाएँ है।

इतिहास

पुनरावर्ती कार्यात्मक प्रोग्रामो के इंडक्टिव संश्लेषण पर अनुसंधान 1970 के दशक की प्रारंभ में प्रारंभ हुआ और इस प्रकार इसे समर्स की मौलिक थीसिस सिस्टम के साथ सशक्त सैद्धांतिक नींव पर लाया गया था।[6] और बर्मन का कार्य [7] इन दृष्टिकोणों को दो चरणों में विभाजित किया गया था: पहला, इनपुट-आउटपुट उदाहरणों को मूलभूत संचालको के छोटे सेट का उपयोग करके गैर-पुनरावर्ती प्रोग्रामो (ट्रेस) में बदल दिया जाता है; दूसरा, निशानों में नियमितताओं की खोज की जाती है और उन्हें पुनरावर्ती प्रोग्राम में मोड़ने के लिए उपयोग किया जाता है। 1980 के दशक के मध्य तक मुख्य परिणामों का सर्वेक्षण स्मिथ द्वारा किया गया था।[8] संश्लेषित किए जा सकने वाले प्रोग्रामो की श्रृंखला के संबंध में सीमित प्रगति के कारण, अगले दशक में अनुसंधान गतिविधियों में अधिक कमी आई थी।

लॉजिक प्रोग्रामिंग के आगमन ने 1980 के दशक की प्रारंभ में नई उत्साह के साथ-साथ नई दिशा भी लाई थी, विशेष रूप से शापिरो की एमआईएस सिस्टम के कारण [9] अंततः इंडक्टिव तर्क प्रोग्रामिंग (आईएलपी) के नए क्षेत्र को जन्म दिया था।[10] प्लॉटकिन के प्रारंभिक कार्य,[11][12] और उनके सापेक्ष न्यूनतम सामान्यीकरण (आरएलजीजी) का इंडक्टिव तर्क प्रोग्रामिंग में भारी प्रभाव पड़ा था। इस प्रकार आईएलपी का अधिकांश कार्य समस्याओं के व्यापक वर्ग को संबोधित करता है, क्योंकि फोकस न केवल पुनरावर्ती तर्क प्रोग्रामो पर है, किन्तु तार्किक अभ्यावेदन से प्रतीकात्मक परिकल्पनाओं की मशीन सीखने पर भी है। चूँकि, पुनरावर्ती प्रोलॉग प्रोग्राम सीखने पर कुछ उत्साहजनक परिणाम मिले जैसे उदाहरण के लिए उपयुक्त पृष्ठभूमि ज्ञान के साथ उदाहरणों से त्वरित सॉर्ट, गोलेम के साथ [13] किन्तु फिर, प्रारंभिक सफलता के बाद, पुनरावर्ती प्रोग्रामो को सम्मिलित करने के बारे में सीमित प्रगति से समूह निराश हो गया था [14][15][16] इस प्रकार आईएलपी के साथ पुनरावर्ती प्रोग्रामो पर कम से कम ध्यान केंद्रित किया जा रहा है और रिलेशनल डेटा माइनिंग और ज्ञान खोज में अनुप्रयोगों के साथ मशीन लर्निंग सेटिंग की ओर अधिक से अधिक झुकाव हो रहा है।[17]

आईएलपी, कोज़ा में कार्य करने के समानांतर [18] 1990 के दशक की प्रारंभ में सीखने के प्रोग्रामो के लिए जनरेट-एंड-टेस्ट आधारित दृष्टिकोण के रूप में प्रस्तावित जेनेटिक प्रोग्रामिंग के विचार को आगे चलकर इंडक्टिव प्रोग्रामिंग सिस्टम एडेट में विकसित किया गया था [19] और इस प्रकार व्यवस्थित-खोज-आधारित सिस्टम मैजिकहास्केलर द्वारा किया जाता है।[20] यहां फिर से, कार्यात्मक प्रोग्रामो को आउटपुट मूल्यांकन (फिटनेस) फ़ंक्शन के साथ सकारात्मक उदाहरणों के सेट से सीखा जाता है जो सीखे जाने वाले प्रोग्राम के वांछित इनपुट/आउटपुट व्यवहार को निर्दिष्ट करता है।

व्याकरण प्रेरण (व्याकरणिक अनुमान के रूप में भी जाना जाता है) में प्रारंभिक कार्य इंडक्टिव प्रोग्रामिंग से संबंधित है, क्योंकि उत्पादन नियमों का प्रतिनिधित्व करने के लिए पुनर्लेखन सिस्टम या तर्क प्रोग्रामो का उपयोग किया जा सकता है। वास्तव में, इंडक्टिव अनुमान के प्रारंभी कार्यों में व्याकरण प्रेरण और लिस्प प्रोग्राम अनुमान को मूल रूप से ही समस्या माना जाता है।[21] इस प्रकार सीखने की क्षमता के संदर्भ में परिणाम मौलिक अवधारणाओं से संबंधित थे, जैसे कि सीमा में पहचान, जैसा कि गोल्ड के मौलिक कार्य में प्रस्तुत किया गया था।[22] वर्तमान में, भाषा सीखने की समस्या को इंडक्टिव प्रोग्रामिंग समूह द्वारा संबोधित किया गया था।[23][24]

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

इस प्रकार परिकल्पनाओं के प्रतिनिधित्व के लिए प्रकाशक भाषाओं का उपयोग करने की सामान्य विशेषता के साथ अन्य विचारों का भी पता लगाया गया है। उदाहरण के लिए, पुनरावर्ती डेटा प्रकार और संरचनाओं के उत्तम प्रबंधन के लिए उच्च-क्रम सुविधाओं, योजनाओं या संरचित दूरियों के उपयोग की वकालत की गई है;[25][26][27] संचयी सीखने और फ़ंक्शन आविष्कार के लिए एब्स्ट्रेक्ट को अधिक शक्तिशाली दृष्टिकोण के रूप में भी खोजा गया है।[28][29]

एक शक्तिशाली प्रतिमान जिसका उपयोग वर्तमान में इंडक्टिव प्रोग्रामिंग (सामान्यतः जनरेटिव मॉडल के रूप में) में परिकल्पनाओं के प्रतिनिधित्व के लिए किया गया है, संभाव्य प्रोग्रामिंग भाषा (और संबंधित प्रतिमान, जैसे स्टोकेस्टिक लॉजिक प्रोग्राम और बायेसियन लॉजिक प्रोग्रामिंग) है।[30][31][32][33]

अनुप्रयोग क्षेत्र

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

तब से, ये और कई अन्य क्षेत्र इंडक्टिव प्रोग्रामिंग के लिए सफल एप्लिकेशन क्षेत्र सिद्ध हुए हैं, जैसे एंड-यूज़र प्रोग्रामिंग,[34] उदाहरण के लिए प्रोग्रामिंग के संबंधित क्षेत्र [35] और प्रदर्शन द्वारा प्रोग्रामिंग,[36] और बुद्धिमान ट्यूशन सिस्टम का उपयोग किया जाता है।

इस प्रकार अन्य क्षेत्र जहां इंडक्टिव अनुमान को वर्तमान में प्रयुक्त किया गया है वे हैं ज्ञान प्राप्ति,[37] कृत्रिम सामान्य बुद्धि,[38] सुदृढीकरण सीखना और सिद्धांत मूल्यांकन,[39][40] और सामान्यतः संज्ञानात्मक विज्ञान [41][33] बुद्धिमान एजेंटों, गेम, रोबोटिक्स, वैयक्तिकरण, परिवेश बुद्धिमत्ता और मानव इंटरफेस में भी संभावित अनुप्रयोग हो सकते हैं।

यह भी देखें

संदर्भ

  1. Biermann, A.W. (1992). Shapiro, S.C. (ed.). "स्वचालित प्रोग्रामिंग". Encyclopedia of Artificial Intelligence: 18–35.
  2. Rich, C.; Waters, R.C. (1993). Yovits, M.C. (ed.). स्वचालित प्रोग्रामिंग के लिए दृष्टिकोण (PDF). pp. 1–57. doi:10.1016/S0065-2458(08)60402-7. ISBN 9780120121373. {{cite book}}: |journal= ignored (help)
  3. Lowry, M.L.; McCarthy, R.D., eds. (1991). स्वचालित सॉफ़्टवेयर डिज़ाइन.
  4. Manna, Z.; Waldinger, R. (1992). "निगमनात्मक कार्यक्रम संश्लेषण के मूल सिद्धांत". IEEE Trans Softw Eng. 18 (8): 674–704. CiteSeerX 10.1.1.51.817. doi:10.1109/32.153379.
  5. Flener, P. (2002). "Achievements and prospects of program synthesis". In Kakas, A.; Sadri, F. (eds.). Computational Logic: Logic Programming and Beyond. pp. 310–346. doi:10.1007/3-540-45628-7_13. ISBN 978-3-540-43959-2. {{cite book}}: |journal= ignored (help)
  6. Summers, P.D. (1977). "उदाहरणों से एलआईएसपी कार्यक्रम निर्माण की एक पद्धति". J ACM. 24 (1): 161–175. doi:10.1145/321992.322002. S2CID 7474210.
  7. Biermann, A.W. (1978). "उदाहरणों से नियमित एलआईएसपी कार्यक्रमों का निष्कर्ष". IEEE Trans Syst Man Cybern. 8 (8): 585–600. doi:10.1109/tsmc.1978.4310035. S2CID 15277948.
  8. Smith, D.R. (1984). Biermann, A.W.; Guiho, G. (eds.). "The synthesis of LISP programs from examples: a survey". Automatic Program Construction Techniques: 307–324.
  9. Shapiro, E.Y. (1983). एल्गोरिथम प्रोग्राम डिबगिंग. The MIT Press.
  10. Muggleton, S. (1991). "आगमनात्मक तर्क प्रोग्रामिंग". New Generation Computing. 8 (4): 295–318. CiteSeerX 10.1.1.329.5312. doi:10.1007/BF03037089. S2CID 5462416.
  11. Plotkin, Gordon D. (1970). Meltzer, B.; Michie, D. (eds.). "आगमनात्मक सामान्यीकरण पर एक नोट" (PDF). Machine Intelligence. 5: 153–163.
  12. Plotkin, Gordon D. (1971). Meltzer, B.; Michie, D. (eds.). "आगमनात्मक सामान्यीकरण पर एक और नोट". Machine Intelligence. 6: 101–124.
  13. Muggleton, S.H.; Feng, C. (1990). "तर्क कार्यक्रमों का कुशल प्रेरण". Proceedings of the Workshop on Algorithmic Learning Theory. 6: 368–381. S2CID 14992676.
  14. Quinlan, J.R.; Cameron-Jones, R.M. (1993). "Avoiding Pitfalls When Learning Recursive Theories". IJCAI: 1050–1057. S2CID 11138624.
  15. Quinlan, J.R.; Cameron-Jones, R.M. (1995). "Induction of logic programs: FOIL and related systems" (PDF). 13 (3–4). Springer: 287–312. Archived from the original (PDF) on 2017-09-07. Retrieved 2017-09-07. {{cite journal}}: Cite journal requires |journal= (help)
  16. Flener, P.; Yilmaz, S. (1999). "Inductive synthesis of recursive logic programs: Achievements and prospects". The Journal of Logic Programming. 41 (2): 141–195. doi:10.1016/s0743-1066(99)00028-x.
  17. Džeroski, Sašo (1996), "Inductive Logic Programming and Knowledge Discovery in Databases", in Fayyad, U.M.; Piatetsky-Shapiro, G.; Smith, P.; Uthurusamy, R. (eds.), Advances in Knowledge Discovery and Data Mining, MIT Press, pp. 117–152
  18. Koza, J.R. (1992). Genetic Programming: vol. 1, On the programming of computers by means of natural selection. MIT Press. ISBN 9780262111706.
  19. Olsson, J.R. (1995). "Inductive functional programming using incremental program transformation". Artificial Intelligence. 74 (1): 55–83. doi:10.1016/0004-3702(94)00042-y.
  20. Katayama, Susumu (2008). "Efficient exhaustive generation of functional programs using Monte-Carlo search with iterative deepening" (PDF). pp. 199–210. CiteSeerX 10.1.1.606.1447. doi:10.1007/978-3-540-89197-0_21. ISBN 978-3-540-89196-3. {{cite book}}: |journal= ignored (help); Missing or empty |title= (help)
  21. Angluin, D.; C.H., Smith (1983). "Inductive inference: Theory and methods". ACM Computing Surveys. 15 (3): 237–269. doi:10.1145/356914.356918. S2CID 3209224.
  22. Gold, E.M. (1967). "Language identification in the limit". Information and Control. 10 (5): 447–474. doi:10.1016/s0019-9958(67)91165-5.
  23. Muggleton, Stephen (1999). "Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic". Artificial Intelligence. 114 (1–2): 283–296. doi:10.1016/s0004-3702(99)00067-3.; here: Sect.2.1
  24. Olsson, J.R.; Powers, D.M.W. (2003). "Machine learning of human language through automatic programming". Proceedings of the International Conference on Cognitive Science: 507–512.
  25. Lloyd, J.W. (2001). "Knowledge Representation, Computation, and Learning in Higher-order Logic" (PDF). {{cite journal}}: Cite journal requires |journal= (help)
  26. Lloyd, J.W. (2003). Logic for learning: learning comprehensible theories from structured data. Springer. ISBN 9783662084069.
  27. Estruch, V.; Ferri, C.; Hernandez-Orallo, J.; Ramirez-Quintana, M.J. (2014). "Bridging the gap between distance and generalization". Computational Intelligence. 30 (3): 473–513. doi:10.1111/coin.12004. S2CID 7255690.
  28. Henderson, R.J.; Muggleton, S.H. (2012). "Automatic invention of functional abstractions" (PDF). Advances in Inductive Logic Programming.
  29. Irvin, H.; Stuhlmuller, A.; Goodman, N.D. (2011). "Inducing probabilistic programs by Bayesian program merging". arXiv:1110.5667 [cs.AI].
  30. Muggleton, S. (2000). "Learning stochastic logic programs" (PDF). Electron. Trans. Artif. Intell. 4(B): 141–153. Archived from the original (PDF) on 2017-09-07. Retrieved 2017-09-07.
  31. De Raedt, L.; Kersting, K. (2008). Probabilistic inductive logic programming. Springer.
  32. Irvin, H.; Stuhlmuller, A.; Goodman, N.D. (2011). "Inducing probabilistic programs by Bayesian program merging". arXiv:1110.5667 [cs.AI].
  33. 33.0 33.1 Stuhlmuller, A.; Goodman, N.D. (2012). "Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs". Cognitive Systems Research. 28: 80–99. doi:10.1016/j.cogsys.2013.07.003. S2CID 7602205.
  34. Lieberman, H.; Paternò, F.; Wulf, V. (2006). End user development. Springer.
  35. Lieberman, H. (2001). Your wish is my command: Programming by example. Morgan Kaufmann. ISBN 9781558606883.
  36. Cypher, E.; Halbert, D.C. (1993). Watch what I do: programming by demonstration. ISBN 9780262032131.
  37. Schmid, U.; Hofmann, M.; Kitzelmann, E. (2009). "Analytical inductive programming as a cognitive rule acquisition devise" (PDF). Proceedings of the Second Conference on Artificial General Intelligence: 162–167.
  38. Crossley, N.; Kitzelmann, E.; Hofmann, M.; Schmid, U. (2009). "Combining analytical and evolutionary inductive programming" (PDF). Proceedings of the Second Conference on Artificial General Intelligence: 19–24.
  39. Hernandez-Orallo, J. (2000). "Constructive reinforcement learning". International Journal of Intelligent Systems. 15 (3): 241–264. CiteSeerX 10.1.1.34.8877. doi:10.1002/(sici)1098-111x(200003)15:3<241::aid-int6>3.0.co;2-z. S2CID 123390956.
  40. Kemp, C.; Goodman, N.; Tenenbaum, J.B. (2007). "Learning and using relational theories" (PDF). Advances in Neural Information Processing Systems: 753–760.
  41. Schmid, U.; Kitzelmann, E. (2011). "Inductive rule learning on the knowledge level". Cognitive Systems Research. 12 (3): 237–248. doi:10.1016/j.cogsys.2010.12.002. S2CID 18613664.

अग्रिम पठन


बाहरी संबंध