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

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

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

== परिभाषा ==

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

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

इस प्रकार कई अनुप्रयोगों में आउटपुट प्रोग्राम को उदाहरणों और आंशिक विनिर्देशों के संबंध में सही होना चाहिए, और इससे स्वचालित प्रोग्रामिंग या प्रोग्राम संश्लेषण के अंदर विशेष क्षेत्र के रूप में इंडक्टिव प्रोग्रामिंग पर विचार किया जाता है,<ref>{{cite journal|first1=A.W.|last1=Biermann|title=स्वचालित प्रोग्रामिंग|editor1-first=S.C.|editor1-last=Shapiro|journal=Encyclopedia of Artificial Intelligence|pages=18–35|year=1992}}</ref><ref>{{cite book|first1=C.|last1=Rich|first2=R.C.|last2=Waters|title=स्वचालित प्रोग्रामिंग के लिए दृष्टिकोण|editor1-first=M.C.|editor1-last=Yovits|journal=Advances in Computers|volume=37|pages=1–57|year=1993|url=http://www.merl.com/publications/docs/TR92-04.pdf|doi=10.1016/S0065-2458(08)60402-7|isbn=9780120121373}}</ref> सामान्यतः 'निगमनात्मक' प्रोग्राम संश्लेषण का विरोध किया जाता है,<ref>{{cite book|editor1-first=M.L.|editor1-last=Lowry|editor2-first=R.D.|editor2-last=McCarthy|title=स्वचालित सॉफ़्टवेयर डिज़ाइन|year=1991}}</ref><ref>{{cite journal|first1=Z.|last1=Manna|first2=R.|last2=Waldinger|title=निगमनात्मक कार्यक्रम संश्लेषण के मूल सिद्धांत|journal=IEEE Trans Softw Eng|volume=18 | issue = 8|pages=674–704|year=1992|doi=10.1109/32.153379|citeseerx=10.1.1.51.817}}</ref><ref>{{Cite book|first1=P.|last1=Flener|title=Computational Logic: Logic Programming and Beyond|chapter=Achievements and prospects of program synthesis|editor1-first=A.|editor1-last=Kakas|editor2-first=F.|editor2-last=Sadri|journal=Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. Kowalski|volume=LNAI 2407|pages=310–346|year=2002|doi=10.1007/3-540-45628-7_13|series=Lecture Notes in Computer Science|isbn=978-3-540-43959-2}}</ref> जहां विशिष्टता सामान्यतः पूर्ण होती है. 

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

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

== इतिहास ==

पुनरावर्ती कार्यात्मक प्रोग्रामो के इंडक्टिव संश्लेषण पर अनुसंधान 1970 के दशक की प्रारंभ में प्रारंभ हुआ और इस प्रकार इसे समर्स की मौलिक थीसिस सिस्टम के साथ सशक्त सैद्धांतिक नींव पर लाया गया था।<ref>{{cite journal|first1=P.D.|last1=Summers|title=उदाहरणों से एलआईएसपी कार्यक्रम निर्माण की एक पद्धति|journal=J ACM|volume=24 | issue = 1|pages=161–175|year=1977|doi=10.1145/321992.322002|s2cid=7474210|doi-access=free}}</ref> और बर्मन का कार्य <ref>{{cite journal|first1=A.W.|last1=Biermann|title=उदाहरणों से नियमित एलआईएसपी कार्यक्रमों का निष्कर्ष|journal=IEEE Trans Syst Man Cybern|volume=8 | issue = 8|pages=585–600|year=1978|doi=10.1109/tsmc.1978.4310035|s2cid=15277948}}</ref> इन दृष्टिकोणों को दो चरणों में विभाजित किया गया था: पहला, इनपुट-आउटपुट उदाहरणों को मूलभूत संचालको के छोटे सेट का उपयोग करके गैर-पुनरावर्ती प्रोग्रामो (ट्रेस) में बदल दिया जाता है; दूसरा, निशानों में नियमितताओं की खोज की जाती है और उन्हें पुनरावर्ती प्रोग्राम में मोड़ने के लिए उपयोग किया जाता है। 1980 के दशक के मध्य तक मुख्य परिणामों का सर्वेक्षण स्मिथ द्वारा किया गया था।<ref>{{cite journal|first1=D.R.|last1=Smith|title=The synthesis of LISP programs from examples: a survey|editor1-first=A.W.|editor1-last=Biermann|editor2-first=G.|editor2-last=Guiho|journal=Automatic Program Construction Techniques|pages=307–324|year=1984|url=https://www.researchgate.net/publication/239059541}}</ref> संश्लेषित किए जा सकने वाले प्रोग्रामो की श्रृंखला के संबंध में सीमित प्रगति के कारण, अगले दशक में अनुसंधान गतिविधियों में अधिक कमी आई थी।

लॉजिक प्रोग्रामिंग के आगमन ने 1980 के दशक की प्रारंभ में नई उत्साह के साथ-साथ नई दिशा भी लाई थी, विशेष रूप से शापिरो की एमआईएस सिस्टम के कारण <ref>{{cite book|first1=E.Y.|last1=Shapiro|title=एल्गोरिथम प्रोग्राम डिबगिंग|publisher=The MIT Press|year=1983}}</ref> अंततः इंडक्टिव तर्क प्रोग्रामिंग (आईएलपी) के नए क्षेत्र को जन्म दिया था।<ref>{{Cite journal | last1 = Muggleton | first1 = S. | title = आगमनात्मक तर्क प्रोग्रामिंग| doi = 10.1007/BF03037089 | journal = New Generation Computing | volume = 8 | issue = 4 | pages = 295–318 | year = 1991 | citeseerx = 10.1.1.329.5312 | s2cid = 5462416 }}</ref> प्लॉटकिन के प्रारंभिक कार्य,<ref>{{cite journal|first1=Gordon D.|last1=Plotkin|title=आगमनात्मक सामान्यीकरण पर एक नोट|editor1-first=B.|editor1-last=Meltzer|editor2-first=D.|editor2-last=Michie|journal=Machine Intelligence|volume=5|pages=153–163|year=1970|url=http://homepages.inf.ed.ac.uk/gdp/publications/MI5_note_ind_gen.pdf}}</ref><ref>{{cite journal|first1=Gordon D.|last1=Plotkin|title=आगमनात्मक सामान्यीकरण पर एक और नोट|editor1-first=B.|editor1-last=Meltzer|editor2-first=D.|editor2-last=Michie|journal=Machine Intelligence|volume=6|pages=101–124|year=1971}}</ref> और उनके सापेक्ष न्यूनतम सामान्यीकरण (आरएलजीजी) का इंडक्टिव तर्क प्रोग्रामिंग में भारी प्रभाव पड़ा था। इस प्रकार आईएलपी का अधिकांश कार्य समस्याओं के व्यापक वर्ग को संबोधित करता है, क्योंकि फोकस न केवल पुनरावर्ती तर्क प्रोग्रामो पर है, किन्तु तार्किक अभ्यावेदन से प्रतीकात्मक परिकल्पनाओं की मशीन सीखने पर भी है। चूँकि, पुनरावर्ती प्रोलॉग प्रोग्राम सीखने पर कुछ उत्साहजनक परिणाम मिले जैसे उदाहरण के लिए उपयुक्त पृष्ठभूमि ज्ञान के साथ उदाहरणों से त्वरित सॉर्ट, गोलेम के साथ <ref>{{cite journal|first1=S.H.|last1=Muggleton|first2=C.|last2=Feng|s2cid=14992676|title=तर्क कार्यक्रमों का कुशल प्रेरण|journal=Proceedings of the Workshop on Algorithmic Learning Theory|volume=6|pages=368–381|year=1990}}</ref> किन्तु फिर, प्रारंभिक सफलता के बाद, पुनरावर्ती प्रोग्रामो को सम्मिलित करने के बारे में सीमित प्रगति से समूह निराश हो गया था <ref>{{cite journal
|first1=J.R.|last1=Quinlan|first2=R.M.|last2=Cameron-Jones
|s2cid=11138624|title=Avoiding Pitfalls When Learning Recursive Theories
|journal=IJCAI
|pages=1050–1057
|year=1993
}}
</ref><ref>{{cite journal|first1=J.R.|last1=Quinlan|first2=R.M.|last2=Cameron-Jones|title=Induction of logic programs: FOIL and related systems|publisher=Springer|volume=13|issue=3–4|pages=287–312|year=1995|url=http://dottorato.di.uniba.it/dottoratoXXVI/dm/FOILvsRelatedSystems.pdf|access-date=2017-09-07|archive-date=2017-09-07|archive-url=https://web.archive.org/web/20170907080358/http://dottorato.di.uniba.it/dottoratoXXVI/dm/FOILvsRelatedSystems.pdf|url-status=dead}}</ref><ref>
{{cite journal
|first1=P.|last1=Flener|first2=S.|last2=Yilmaz
|title=Inductive synthesis of recursive logic programs: Achievements and prospects
|journal=The Journal of Logic Programming
|volume=41 | issue = 2
|pages=141–195
|year=1999|doi=10.1016/s0743-1066(99)00028-x|doi-access=free}}
</ref> इस प्रकार आईएलपी के साथ पुनरावर्ती प्रोग्रामो पर कम से कम ध्यान केंद्रित किया जा रहा है और [[संबंधपरक डेटा खनन|रिलेशनल डेटा माइनिंग]] और ज्ञान खोज में अनुप्रयोगों के साथ मशीन लर्निंग सेटिंग की ओर अधिक से अधिक झुकाव हो रहा है।<ref>{{citation|first1=Sašo|last1=Džeroski|contribution=Inductive Logic Programming and Knowledge Discovery in Databases|pages=117–152|editor1-first=U.M.|editor1-last=Fayyad|editor2-first=G.|editor2-last=Piatetsky-Shapiro|editor3-first=P.|editor3-last=Smith|editor4-first=R.|editor4-last=Uthurusamy|title=Advances in Knowledge Discovery and Data Mining|publisher=MIT Press|year=1996}}</ref> 

आईएलपी, कोज़ा में कार्य करने के समानांतर <ref>
{{cite book
|first1=J.R.|last1=Koza
|title=Genetic Programming: vol. 1, On the programming of computers by means of natural selection
|publisher=MIT Press
|year=1992
|url=https://books.google.com/books?id=Bhtxo60BV0EC|isbn=9780262111706
}}
</ref> 1990 के दशक की प्रारंभ में सीखने के प्रोग्रामो के लिए जनरेट-एंड-टेस्ट आधारित दृष्टिकोण के रूप में प्रस्तावित [[आनुवंशिक प्रोग्रामिंग|जेनेटिक प्रोग्रामिंग]] के विचार को आगे चलकर इंडक्टिव प्रोग्रामिंग सिस्टम एडेट में विकसित किया गया था <ref>
{{cite journal
|first1=J.R.|last1=Olsson
|title=Inductive functional programming using incremental program transformation
|journal=Artificial Intelligence
|volume=74 | issue = 1|pages=55–83
|year=1995|doi=10.1016/0004-3702(94)00042-y|doi-access=free}}
</ref> और इस प्रकार व्यवस्थित-खोज-आधारित सिस्टम मैजिकहास्केलर द्वारा किया जाता है।<ref>
{{cite book
|first1=Susumu|last1=Katayama
|chapter=Efficient exhaustive generation of functional programs using Monte-Carlo search with iterative deepening
|journal=PRICAI 2008: Trends in Artificial Intelligence
|volume=5351
|pages=199–210
|year=2008
|chapter-url=http://nautilus.cs.miyazaki-u.ac.jp/~skata/skatayama_pricai2008.pdf|doi=10.1007/978-3-540-89197-0_21
|citeseerx=10.1.1.606.1447
|series=Lecture Notes in Computer Science
|isbn=978-3-540-89196-3
}}
</ref> यहां फिर से, कार्यात्मक प्रोग्रामो को आउटपुट मूल्यांकन (फिटनेस) फ़ंक्शन के साथ सकारात्मक उदाहरणों के सेट से सीखा जाता है जो सीखे जाने वाले प्रोग्राम के वांछित इनपुट/आउटपुट व्यवहार को निर्दिष्ट करता है। 

[[व्याकरण प्रेरण]] (व्याकरणिक अनुमान के रूप में भी जाना जाता है) में प्रारंभिक कार्य इंडक्टिव प्रोग्रामिंग से संबंधित है, क्योंकि उत्पादन नियमों का प्रतिनिधित्व करने के लिए पुनर्लेखन सिस्टम या तर्क प्रोग्रामो का उपयोग किया जा सकता है। वास्तव में, इंडक्टिव अनुमान के प्रारंभी कार्यों में व्याकरण प्रेरण और लिस्प प्रोग्राम अनुमान को मूल रूप से ही समस्या माना जाता है।<ref>
{{cite journal
|first1=D.|last1=Angluin|first2=Smith|last2=C.H.
|title=Inductive inference: Theory and methods
|journal=ACM Computing Surveys
|volume=15|issue=3|pages=237–269
|year=1983|doi=10.1145/356914.356918|s2cid=3209224}}
</ref> इस प्रकार सीखने की क्षमता के संदर्भ में परिणाम मौलिक अवधारणाओं से संबंधित थे, जैसे कि सीमा में पहचान, जैसा कि गोल्ड के मौलिक कार्य में प्रस्तुत किया गया था।<ref>
{{cite journal
 |first1=E.M. 
 |last1=Gold 
 |title=Language identification in the limit 
 |journal=Information and Control 
 |volume=10 
 |issue=5 
 |pages=447–474 
 |year=1967 
 |doi=10.1016/s0019-9958(67)91165-5 
 |doi-access=free 
 }}
</ref> वर्तमान में, भाषा सीखने की समस्या को इंडक्टिव प्रोग्रामिंग समूह द्वारा संबोधित किया गया था।<ref>{{cite journal|first1=Stephen|last1=Muggleton|title=Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic|journal=Artificial Intelligence|volume=114|issue=1–2|pages=283–296|year=1999|doi=10.1016/s0004-3702(99)00067-3|doi-access=free}}; here: Sect.2.1</ref><ref>
{{cite journal
|first1=J.R.|last1=Olsson|first2=D.M.W.|last2=Powers
|title=Machine learning of human language through automatic programming
|journal=Proceedings of the International Conference on Cognitive Science
|pages=507–512
|year=2003}}
</ref> 

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

इस प्रकार परिकल्पनाओं के प्रतिनिधित्व के लिए प्रकाशक भाषाओं का उपयोग करने की सामान्य विशेषता के साथ अन्य विचारों का भी पता लगाया गया है। उदाहरण के लिए, [[पुनरावर्ती डेटा प्रकार]] और संरचनाओं के उत्तम प्रबंधन के लिए उच्च-क्रम सुविधाओं, योजनाओं या संरचित दूरियों के उपयोग की वकालत की गई है;<ref>
{{cite journal
|first1=J.W.|last1=Lloyd
|title=Knowledge Representation, Computation, and Learning in Higher-order Logic
|year=2001
|url=http://users.cecs.anu.edu.au/~jwl/logic.pdf}}
</ref><ref>
{{cite book
|first1=J.W.|last1=Lloyd
|title=Logic for learning: learning comprehensible theories from structured data
|publisher=Springer
|year=2003
|url=https://books.google.com/books?id=8dioCAAAQBAJ|isbn=9783662084069
}}
</ref><ref>
{{cite journal
|first1=V.|last1=Estruch|first2=C.|last2=Ferri|first3=J.|last3=Hernandez-Orallo|first4=M.J.|last4=Ramirez-Quintana
|s2cid=7255690|title=Bridging the gap between distance and generalization
|journal=Computational Intelligence
|volume=30|issue=3|pages=473–513|year=2014
|doi=10.1111/coin.12004}}
</ref> संचयी सीखने और फ़ंक्शन आविष्कार के लिए एब्स्ट्रेक्ट को अधिक शक्तिशाली दृष्टिकोण के रूप में भी खोजा गया है।<ref>
{{cite journal
|first1=R.J.|last1=Henderson|first2=S.H.|last2=Muggleton
|title=Automatic invention of functional abstractions
|journal=Advances in Inductive Logic Programming
|year=2012
|url=http://ilp11.doc.ic.ac.uk/short_papers/ilp2011_submission_62.pdf}}
</ref><ref>
{{cite arXiv
|first1=H.|last1=Irvin|first2=A.|last2=Stuhlmuller|first3=N.D.|last3=Goodman
|title=Inducing probabilistic programs by Bayesian program merging|eprint=1110.5667
|year=2011|class=cs.AI}}
</ref> 

एक शक्तिशाली प्रतिमान जिसका उपयोग वर्तमान में इंडक्टिव प्रोग्रामिंग (सामान्यतः [[जनरेटिव मॉडल]] के रूप में) में परिकल्पनाओं के प्रतिनिधित्व के लिए किया गया है, संभाव्य प्रोग्रामिंग भाषा (और संबंधित प्रतिमान, जैसे स्टोकेस्टिक लॉजिक प्रोग्राम और बायेसियन लॉजिक प्रोग्रामिंग) है।<ref>{{cite journal
|first1=S.
|last1=Muggleton
|title=Learning stochastic logic programs
|journal=Electron. Trans. Artif. Intell.
|volume=4(B)
|pages=141–153
|year=2000
|url=https://ocs.aaai.org/Papers/Workshops/2000/WS-00-06/WS00-06-006.pdf
|access-date=2017-09-07
|archive-date=2017-09-07
|archive-url=https://web.archive.org/web/20170907080041/https://ocs.aaai.org/Papers/Workshops/2000/WS-00-06/WS00-06-006.pdf
|url-status=dead
}}</ref><ref>
{{cite book
|first1=L.|last1=De Raedt|first2=K.|last2=Kersting
|title=Probabilistic inductive logic programming
|publisher=Springer
|year=2008}}
</ref><ref>
{{cite arXiv
|first1=H.|last1=Irvin|first2=A.|last2=Stuhlmuller|first3=N.D.|last3=Goodman
|title=Inducing probabilistic programs by Bayesian program merging|eprint=1110.5667
|year=2011|class=cs.AI}}
</ref><ref name="Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs">
{{cite journal
|first1=A.|last1=Stuhlmuller|first2=N.D.|last2=Goodman
|s2cid=7602205|title=Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs
|journal=Cognitive Systems Research
|year=2012
|volume=28|pages=80–99|doi=10.1016/j.cogsys.2013.07.003}}
</ref> 
== अनुप्रयोग क्षेत्र ==

[[ आईसी एमएल | आईसी एमएल]] 2005 के संयोजन में आयोजित [http://www.cogsys.wiai.uni-bamberg.de/aaip05/objectives.html इंडक्टिव प्रोग्रामिंग (एएआईपी) के दृष्टिकोण और अनुप्रयोगों पर पहली कार्यशाला] ने उन सभी अनुप्रयोगों की पहचान की जहां प्रोग्रामो को सीखना या पुनरावर्ती नियमों की आवश्यकता होती है, इस प्रकार सबसे पहले सॉफ्टवेयर इंजीनियरिंग के क्षेत्र में जहां संरचनात्मक शिक्षण, सॉफ्टवेयर सहायक और सॉफ्टवेयर एजेंट प्रोग्रामर को नियमित कार्यों से आराम देने में सहायता कर सकते हैं, अंतिम उपयोगकर्ताओं के लिए प्रोग्रामिंग सहायता दे सकते हैं, या इस प्रकार प्राथमिक प्रोग्रामर और प्रोग्रामिंग का समर्थन कर सकते हैं ट्यूटर सिस्टम. अनुप्रयोग के अन्य क्षेत्र हैं इस प्रकार भाषा सीखना, एआई-योजना के लिए पुनरावर्ती नियंत्रण नियम सीखना, वेब-माइनिंग में पुनरावर्ती अवधारणाओं को सीखना या डेटा-प्रारूप परिवर्तनों के लिए किया जाता है। 

तब से, ये और कई अन्य क्षेत्र इंडक्टिव प्रोग्रामिंग के लिए सफल एप्लिकेशन क्षेत्र सिद्ध हुए हैं, जैसे एंड-यूज़र प्रोग्रामिंग,<ref>
{{cite book
|first1=H.|last1=Lieberman|first2=F.|last2=Paternò|first3=V.|last3=Wulf
|title=End user development
|publisher=Springer
|year=2006}}
</ref> उदाहरण के लिए प्रोग्रामिंग के संबंधित क्षेत्र <ref>
{{cite book
|first1=H.|last1=Lieberman
|title=Your wish is my command: Programming by example
|publisher=Morgan Kaufmann
|year=2001
|url=https://books.google.com/books?id=wM2JYafw11gC|isbn=9781558606883
}}
</ref> और [[प्रदर्शन द्वारा प्रोग्रामिंग]],<ref>
{{Cite book
|first1=E.|last1=Cypher|first2=D.C.|last2=Halbert
|title=Watch what I do: programming by demonstration 
|year=1993
|url=https://books.google.com/books?id=Ggzjo0-W1y0C|isbn=9780262032131}}
</ref> और [[बुद्धिमान शिक्षण प्रणाली|बुद्धिमान ट्यूशन सिस्टम]] का उपयोग किया जाता है। 

इस प्रकार अन्य क्षेत्र जहां इंडक्टिव अनुमान को वर्तमान में प्रयुक्त किया गया है वे हैं [[ज्ञान अर्जन|ज्ञान प्राप्ति]],<ref>
{{cite journal
|first1=U.|last1=Schmid|first2=M.|last2=Hofmann|first3=E.|last3=Kitzelmann
|title=Analytical inductive programming as a cognitive rule acquisition devise
|journal=Proceedings of the Second Conference on Artificial General Intelligence
|pages=162–167
|year=2009
|url=http://www.cogsys.wiai.uni-bamberg.de/publications/cognigor-final.pdf}}
</ref> [[कृत्रिम सामान्य बुद्धि]],<ref>
{{cite journal
|first1=N.|last1=Crossley|first2=E.|last2=Kitzelmann|first3=M.|last3=Hofmann|first4=U.|last4=Schmid
|title=Combining analytical and evolutionary inductive programming
|journal=Proceedings of the Second Conference on Artificial General Intelligence
|pages=19–24
|year=2009
|url=https://download.atlantis-press.com/article/1824.pdf}}
</ref> [[सुदृढीकरण सीखना]] और सिद्धांत मूल्यांकन,<ref>
{{cite journal
|first1=J.|last1=Hernandez-Orallo
|title=Constructive reinforcement learning
|journal=International Journal of Intelligent Systems
|volume=15 | issue = 3|pages=241–264
|year=2000
|doi=10.1002/(sici)1098-111x(200003)15:3<241::aid-int6>3.0.co;2-z|citeseerx=10.1.1.34.8877
|s2cid=123390956
}}
</ref><ref>
{{cite journal
|first1=C.|last1=Kemp|first2=N.|last2=Goodman|first3=J.B.|last3=Tenenbaum
|title=Learning and using relational theories
|journal=Advances in Neural Information Processing Systems
|pages=753–760
|year=2007
|url=http://papers.nips.cc/paper/3332-learning-and-using-relational-theories.pdf}}
</ref> और सामान्यतः संज्ञानात्मक विज्ञान <ref>
{{cite journal
|first1=U.|last1=Schmid|first2=E.|last2=Kitzelmann
|title=Inductive rule learning on the knowledge level
|journal=Cognitive Systems Research
|volume=12 | issue = 3
|pages=237–248
|year=2011|doi=10.1016/j.cogsys.2010.12.002|s2cid=18613664}}
</ref><ref name="Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs"/> बुद्धिमान एजेंटों, गेम, रोबोटिक्स, वैयक्तिकरण, परिवेश बुद्धिमत्ता और मानव इंटरफेस में भी संभावित अनुप्रयोग हो सकते हैं। 

== यह भी देखें ==
* [[विकासवादी प्रोग्रामिंग]] 
* [[विवेचनात्मक तार्किकता]] 
* [[परीक्षण संचालित विकास]] 
== संदर्भ ==
{{reflist}}
== अग्रिम पठन ==
{{Refbegin}}

* {{cite journal|first1=P.|last1=Flener|first2=U.|last2=Schmid|title=An introduction to inductive programming|journal=Artificial Intelligence Review|volume=29 | issue = 1|pages=45–62|year=2008|doi=10.1007/s10462-009-9108-7|s2cid=26314997}}
* {{cite book|first1=E.|last1=Kitzelmann|chapter=Inductive programming: A survey of program synthesis techniques|journal=Approaches and Applications of Inductive Programming|volume=5812|pages=50–73|year=2010|chapter-url=http://emanuel.kitzelmann.org/documents/publications/Kitzelmann2010.pdf|doi=10.1007/978-3-642-11931-6_3|citeseerx=10.1.1.180.1237|series=Lecture Notes in Computer Science|isbn=978-3-642-11930-9}}
* {{cite journal|first1=D.|last1=Partridge|title=The case for inductive programming|journal=Computer|volume=30 | issue = 1|pages=36–41|year=1997|doi=10.1109/2.562924}}
* {{cite journal|first1=P.|last1=Flener|first2=D.|last2=Partridge|title=Inductive Programming|journal=Automated Software Engineering|volume=8 | issue = 2|pages=131–137|year=2001|doi=10.1023/a:1008797606116|s2cid=6675212}}
* {{cite journal|first1=M.|last1=Hofmann|first2=E.|last2=Kitzelmann|title=A unifying framework for analysis and evaluation of inductive programming systems|journal=Proceedings of the Second Conference on Artificial General Intelligence|pages=55–60|year=2009|url=http://www.atlantis-press.com/php/download_paper.php?id=1839}}
* {{Cite journal | last1 = Muggleton | first1 = S. | last2 = De Raedt | doi = 10.1016/0743-1066(94)90035-3 | first2 = L. | title = Inductive Logic Programming: Theory and methods | journal = The Journal of Logic Programming | volume = 19-20 | pages = 629–679 | year = 1994 | url = https://lirias.kuleuven.be/handle/123456789/125406 | doi-access = free }}
* {{cite book | first1 = N. | last1 = Lavrac | first2 = S. | last2 = Dzeroski | title = Inductive Logic Programming: Techniques and Applications | publisher = Ellis Horwood | location = New York | year = 1994 | isbn = 978-0-13-457870-5  }} https://web.archive.org/web/20040906084947/http://www-ai.ijs.si/SasoDzeroski/ILPBook/
* {{cite journal|first1=S.|last1=Muggleton|first2=Luc.|last2=De Raedt|first3=D.|last3=Poole|first4=I.|last4=Bratko|first5=P.|last5=Flach|first6=K.|last6=Inoue|first7=A.|last7=Srinivasan|title=ILP turns 20|journal=Machine Learning|volume=86 | issue = 1|pages=3–23|year=2012|doi=10.1007/s10994-011-5259-2|doi-access=free}}
* {{cite journal|first1=S.|last1=Gulwani|first2=J.|last2=Hernandez-Orallo|first3=E.|last3=Kitzelmann|first4=S.H.|last4=Muggleton|first5=U.|last5=Schmid|first6=B.|last6=Zorn|title=Inductive Programming Meets the Real World|journal=Communications of the ACM|volume=58 | issue = 11|pages=90–99|year=2015|doi=10.1145/2736282|url=http://cacm.acm.org/magazines/2015/11/193326-inductive-programming-meets-the-real-world/abstract|citeseerx=10.1.1.696.3800|hdl=10251/64984|s2cid=425881}}


== बाहरी संबंध ==
* [http://www.inductive-programming.org/ Inductive Programming community page], hosted by the University of Bamberg.
[[Category: प्रोग्रामिंग प्रतिमान]] [[Category: यंत्र अधिगम]] [[Category: तर्क प्रोग्रामिंग]] 



[[Category: Machine Translated Page]]
[[Category:Created On 07/07/2023]]
[[Category:Vigyan Ready]]