विवेचनात्मक तर्क प्रोग्रामिंग (इंडक्टिव लॉजिक प्रोग्रामिंग): Difference between revisions

Revision as of 15:12, 21 May 2023

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

स्कीमा: सकारात्मक उदाहरण + नकारात्मक उदाहरण + पृष्ठभूमि ज्ञान ⇒ परिकल्पना

आगमनात्मक तर्क प्रोग्रामिंग जैव सूचना विज्ञान और प्राकृतिक भाषा प्रसंस्करण में विशेष रूप से उपयोगी है। गॉर्डन प्लॉटकिन और एहुद शापिरो ने तार्किक सेटिंग में आगमनात्मक मशीन सीखने के लिए प्रारंभिक सैद्धांतिक नींव रखी थी।^[1]^[2]^[3] शापिरो ने 1981 में अपना पहला कार्यान्वयन (मॉडल अनुमान प्रणाली) बनाया था।^[4] प्रोलॉग प्रोग्राम जो सकारात्मक और नकारात्मक उदाहरणों से तर्क प्रोग्रामिंग का आगमनात्मक रूप से अनुमान लगाता है। 1986 में आगमनात्मक तर्क प्रोग्रामिंग का पहला पूर्ण प्रथम-क्रम कार्यान्वयन थिओरिस्ट था।^[5]^[6] इंडक्टिव तर्क प्रोग्रामिंग शब्द पहली बार^[7] 1991 में स्टीफन मुगलटन द्वारा एक पेपर में पेश किया गया था।^[8] मैगलटन ने इंडक्टिव तर्क प्रोग्रामिंग पर वार्षिक अंतर्राष्ट्रीय सम्मेलन की भी स्थापना की, प्रेडिकेट इन्वेंशन, इनवर्स रेजोल्यूशन,^[9] और इनवर्स एंटेलमेंट के सैद्धांतिक विचारों को पेश किया था।^[10] मैगलटन ने सबसे पहले पीआरओजीओएल प्रणाली में उलटा प्रवेश लागू किया था। यहाँ "आगमनात्मक" शब्द गणितीय प्रेरण (अर्थात एक सुव्यवस्थित अर्थात के सभी सदस्यों के लिए एक संपत्ति साबित करना) के अतिरिक्त दार्शनिक (अर्थात देखे गए तथ्यों को समझाने के लिए एक सिद्धांत का सुझाव देना) को संदर्भित करता है।

औपचारिक परिभाषा

पृष्ठभूमि ज्ञान तर्क सिद्धांत $B$ के रूप में दिया जाता है, सामान्यतः तर्क प्रोग्रामिंग में उपयोग किए जाने वाले हॉर्न क्लॉज के रूप में सकारात्मक और नकारात्मक उदाहरण संयोजन के रूप में दिए गए हैं $E^{+}$ और $E^{-}$ क्रमशः शाब्दिक (गणितीय तर्क) और नकारात्मक जमीनी अभिव्यक्ति एक सही परिकल्पना $h$ एक तार्किक प्रस्ताव है जो निम्नलिखित आवश्यकताओं को पूरा करता है।^[11]

${\begin{array}{llll}{\text{Necessity:}}&B&\not \models &E^{+}\\{\text{Sufficiency:}}&B\land h&\color {blue}{\models }&E^{+}\\{\text{Weak consistency:}}&B\land h&\not \models &{\textit {false}}\\{\text{Strong consistency:}}&B\land h\land E^{-}&\not \models &{\textit {false}}\end{array}}$

"आवश्यकता" $h$ पर प्रतिबंध नहीं लगाती है, लेकिन जब तक सकारात्मक तथ्यों को इसके बिना समझा जा सकता है, तब तक परिकल्पना की किसी भी पीढ़ी को मना कर दिया जाता है। "पर्याप्तता" के लिए सभी सकारात्मक उदाहरणों $E^{+}$ की व्याख्या करने के लिए किसी उत्पन्न परिकल्पना $h$ की आवश्यकता होती है। "कमजोर स्थिरता" किसी भी परिकल्पना एच के निर्माण को मना करती है जो पृष्ठभूमि ज्ञान बी के विपरीत है। "मजबूत संगति" किसी भी परिकल्पना $h$ के निर्माण को भी मना करती है जो कि नकारात्मक उदाहरणों के साथ असंगत है $E^{-}$ पृष्ठभूमि ज्ञान बी दिया गया है; इसका अर्थ है "कमजोर संगति"; यदि कोई नकारात्मक उदाहरण नहीं दिया जाता है, तो दोनों आवश्यकताएँ मेल खाती हैं। जेरोस्की^[12] को केवल "पर्याप्तता" (वहाँ "पूर्णता" कहा जाता है) और "मजबूत स्थिरता" की आवश्यकता होती है।

उदाहरण

अनुभाग उदाहरण में अनुमानित पारिवारिक संबंध

पारिवारिक संबंधों की परिभाषाएँ सीखने के बारे में निम्नलिखित सुप्रसिद्ध उदाहरण संक्षिप्त रूपों का उपयोग करता है।

par : parent

,

fem : female

,

dau : daughter

,

g : George

,

h : Helen

,

m : Mary

,

t : Tom

,

n : Nancy

, और

e : Eve

.

यह पृष्ठभूमि ज्ञान से (cf. चित्र) शुरू होता है।

{\textit {par}}(h,m)\land {\textit {par}}(h,t)\land {\textit {par}}(g,m)\land {\textit {par}}(t,e)\land {\textit {par}}(n,e)\land {\textit {fem}}(h)\land {\textit {fem}}(m)\land {\textit {fem}}(n)\land {\textit {fem}}(e)

,

सकारात्मक उदाहरण

${\textit {dau}}(m,h)\land {\textit {dau}}(e,t)$ ,

और नकारात्मक उदाहरणों की अनुपस्थिति को निरूपित करने के लिए तुच्छ प्रस्ताव सही है।

प्लॉटकिन के^[13]^[14] आगमनात्मक तर्क प्रोग्रामिंग के लिए "सापेक्ष कम से कम सामान्यीकरण (आरएलजीजी)" दृष्टिकोण का उपयोग बेटी संबंध $dau$ को औपचारिक रूप से परिभाषित करने के तरीके के बारे में एक सुझाव प्राप्त करने के लिए किया जाता है।

यह दृष्टिकोण निम्न चरणों का उपयोग करता है।

पूर्ण पृष्ठभूमि ज्ञान के साथ शाब्दिक रूप से प्रत्येक सकारात्मक उदाहरण को सापेक्ष करें:
${\begin{aligned}{\textit {dau}}(m,h)\leftarrow {\textit {par}}(h,m)\land {\textit {par}}(h,t)\land {\textit {par}}(g,m)\land {\textit {par}}(t,e)\land {\textit {par}}(n,e)\land {\textit {fem}}(h)\land {\textit {fem}}(m)\land {\textit {fem}}(n)\land {\textit {fem}}(e)\\{\textit {dau}}(e,t)\leftarrow {\textit {par}}(h,m)\land {\textit {par}}(h,t)\land {\textit {par}}(g,m)\land {\textit {par}}(t,e)\land {\textit {par}}(n,e)\land {\textit {fem}}(h)\land {\textit {fem}}(m)\land {\textit {fem}}(n)\land {\textit {fem}}(e)\end{aligned}}$ ,
खंड सामान्य रूप में परिवर्तित करें:
${\begin{aligned}{\textit {dau}}(m,h)\lor \lnot {\textit {par}}(h,m)\lor \lnot {\textit {par}}(h,t)\lor \lnot {\textit {par}}(g,m)\lor \lnot {\textit {par}}(t,e)\lor \lnot {\textit {par}}(n,e)\lor \lnot {\textit {fem}}(h)\lor \lnot {\textit {fem}}(m)\lor \lnot {\textit {fem}}(n)\lor \lnot {\textit {fem}}(e)\\{\textit {dau}}(e,t)\lor \lnot {\textit {par}}(h,m)\lor \lnot {\textit {par}}(h,t)\lor \lnot {\textit {par}}(g,m)\lor \lnot {\textit {par}}(t,e)\lor \lnot {\textit {par}}(n,e)\lor \lnot {\textit {fem}}(h)\lor \lnot {\textit {fem}}(m)\lor \lnot {\textit {fem}}(n)\lor \lnot {\textit {fem}}(e)\end{aligned}}$ ,
प्रत्येक संगत^[15] जोड़ी^[16] को शाब्दिक रूप से एकीकृत करें:
- ${\textit {dau}}(x_{me},x_{ht})$ से ${\textit {dau}}(m,h)$ और ${\textit {dau}}(e,t)$ ,
- $\lnot {\textit {par}}(x_{ht},x_{me})$ से $\lnot {\textit {par}}(h,m)$ और $\lnot {\textit {par}}(t,e)$ ,
- $\lnot {\textit {fem}}(x_{me})$ से $\lnot {\textit {fem}}(m)$ और $\lnot {\textit {fem}}(e)$ ,
- $\lnot {\textit {par}}(g,m)$ से $\lnot {\textit {par}}(g,m)$ और $\lnot {\textit {par}}(g,m)$ , अन्य सभी पृष्ठभूमि-ज्ञान शाब्दिकों के समान
- $\lnot {\textit {par}}(x_{gt},x_{me})$ से $\lnot {\textit {par}}(g,m)$ और $\lnot {\textit {par}}(t,e)$ , और कई अन्य नकारात्मक अक्षर
सकारात्मक शाब्दिक में नहीं होने वाले चर वाले सभी अस्वीकृत शाब्दिक हटाएं:
- $x_{me},x_{ht}$ की तुलना में अन्य चर वाले सभी अस्वीकृत शाब्दिकों को हटाने के पश्चात, मात्र ${\textit {dau}}(x_{me},x_{ht})\lor \lnot {\textit {par}}(x_{ht},x_{me})\lor \lnot {\textit {fem}}(x_{me})$ पृष्ठभूमि ज्ञान से सभी जमीनी शाब्दिकों के साथ रहता है।
क्लॉज को वापस हॉर्न फॉर्म में बदलें:
- ${\textit {dau}}(x_{me},x_{ht})\leftarrow {\textit {par}}(x_{ht},x_{me})\land {\textit {fem}}(x_{me})\land ({\text{all background knowledge facts}})$

परिणामी हॉर्न क्लॉज आरएलजीजी दृष्टिकोण द्वारा प्राप्त परिकल्पना $h$ है। पृष्ठभूमि ज्ञान तथ्यों को अनदेखा करते हुए, खंड अनौपचारिक रूप से पढ़ता है " $x_{me}$ को $x_{ht}$ की बेटी कहा जाता है यदि का जनक है $x_{ht}$ और $x_{me}$ महिला है", जो आमतौर पर स्वीकृत परिभाषा है।

उपरोक्त आवश्यकताओं के संबंध में, "आवश्यकता" संतुष्ट थी क्योंकि विधेय $dau$ पृष्ठभूमि ज्ञान में प्रकट नहीं होता है, इसलिए इस विधेय वाली किसी भी संपत्ति को लागू नहीं किया जा सकता है, जैसे कि सकारात्मक उदाहरण हैं। "पर्याप्तता" संगणित परिकल्पना $h$ से संतुष्ट है, क्योंकि पृष्ठभूमि ज्ञान से ${\textit {par}}(h,m)\land {\textit {fem}}(m)$ के साथ मिलकर, पहले सकारात्मक का अर्थ है उदाहरण ${\textit {dau}}(m,h)$ , और इसी प्रकार $h$ और ${\textit {par}}(t,e)\land {\textit {fem}}(e)$ पृष्ठभूमि ज्ञान से तात्पर्य है दूसरा सकारात्मक उदाहरण ${\textit {dau}}(e,t)$ "कमजोर स्थिरता" $h$ से संतुष्ट है, क्योंकि $h$ पृष्ठभूमि ज्ञान द्वारा वर्णित (परिमित) हरब्रांड संरचना में है; जो "मजबूत स्थिरता" के समान है।

दादी के संबंध की सामान्य परिभाषा, अर्थात ${\textit {gra}}(x,z)\leftarrow {\textit {fem}}(x)\land {\textit {par}}(x,y)\land {\textit {par}}(y,z)$ उपरोक्त दृष्टिकोण का उपयोग करके नहीं सीखा जा सकता है, क्योंकि चर $y$ केवल क्लॉज बॉडी में होता है; संबंधित शाब्दिक दृष्टिकोण के चौथे चरण में हटा दिए गए होंगे, इस दोष को दूर करने के लिए, उस कदम को इस तरह संशोधित करना होगा कि इसे अलग-अलग शाब्दिक पोस्ट-चयन हेरिस्टिक्स के साथ पैरामीट्रिज किया जा सके, ऐतिहासिक रूप से, गोलेम कार्यान्वयन आरएलजीजी दृष्टिकोण पर आधारित है।

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

इंडक्टिव लॉजिक प्रोग्रामिंग सिस्टम एक ऐसा प्रोग्राम है जो इनपुट लॉजिक थ्योरी $B,E^{+},E^{-}$ के रूप में लेता है और एक सही परिकल्पना H के आधार पर थ्योरी $B,E^{+},E^{-}$ को आउटपुट करता है। आईएलपी प्रणाली के एक एल्गोरिथ्म में दो भाग होते हैं: परिकल्पना खोज और परिकल्पना चयन, पहले एक आगमनात्मक तर्क प्रोग्रामिंग प्रक्रिया के साथ एक परिकल्पना की खोज की जाती है, फिर मिली परिकल्पनाओं का एक सबसेट (अधिकांश प्रणालियों में एक परिकल्पना) एक चयन एल्गोरिथ्म द्वारा चुना जाता है। एक चयन एल्गोरिथम प्रत्येक पाई गई परिकल्पना को स्कोर करता है और उच्चतम स्कोर वाले को लौटाता है। स्कोर फ़ंक्शन के एक उदाहरण में न्यूनतम संपीड़न लंबाई शामिल है जहां सबसे कम कोलमोगोरोव जटिलता वाली परिकल्पना में उच्चतम स्कोर होता है और वापस आ जाता है। एक आईएलपी प्रणाली पूर्ण है अगर किसी भी इनपुट लॉजिक सिद्धांतों के लिए $B,E^{+},E^{-}$ इन इनपुट सिद्धांतों के संबंध में कोई भी सही परिकल्पना $H$ इसकी परिकल्पना खोज प्रक्रिया के साथ मिल सकती है।

परिकल्पना खोज

प्रोगोल,^[8] हेल^[17] और इम्पारो^[18] जैसी आधुनिक आईएलपी प्रणालियां $B$ , $E$ , $H$ : $B\land H\models E\iff B\land \neg E\models \neg H$ के लिए व्युत्क्रम प्रवेश^[8] के सिद्धांत का उपयोग करके एक परिकल्पना $H$ खोजती हैं। सबसे पहले वे एक मध्यवर्ती सिद्धांत $F$ का निर्माण करते हैं जिसे ब्रिज थ्योरी कहा जाता है जो स्थितियों $B\land \neg E\models F$ और $F\models \neg H$ को संतुष्ट करता है, फिर $H\models \neg F$ के रूप में, वे एंटी-एंटेलमेंट के साथ पुल सिद्धांत एफ की उपेक्षा को सामान्य करते हैं।^[19] हालांकि, अत्यधिक गैर-नियतात्मक होने के बाद से एंटी-एंटेलमेंट का संचालन कम्प्यूटेशनल रूप से अधिक महंगा है। इसलिए, उलटा सबसम्प्शन (एंटी-सबजम्पशन) के संचालन का उपयोग करके एक वैकल्पिक परिकल्पना खोज की जा सकती है, जो कि एंटी-एंटेलमेंट की तुलना में कम गैर-नियतात्मक है।

विशिष्ट आईएलपी प्रणाली की परिकल्पना खोज प्रक्रिया की पूर्णता के प्रश्न उठते हैं। उदाहरण के लिए, प्रोगोल की परिकल्पना खोज प्रक्रिया व्युत्क्रम प्रवेश अनुमान नियम पर आधारित यामामोटो के उदाहरण से पूरी नहीं हुई है।^[20] दूसरी ओर, इम्पारो एंटी-एंटेलमेंट प्रक्रिया^[21] और इसकी विस्तारित उलटा सबसम्प्शन^[22] प्रक्रिया दोनों द्वारा पूर्ण है।

कार्यान्वयन

1बीसी और 1बीसी2: प्रथम क्रम के भोले बायेसियन क्लासिफायर:
एसीइ (एक संयुक्त इंजन)
Aleph
एटम Archived 2014-03-26 at the Wayback Machine
क्लॉडियन^{[permanent dead link]}
डीएल-लर्नर
डीमैक्स
फास्टलास (उत्तर सेट से तेजी से सीखना)
फर्स्ट ऑर्डर इंडक्टिव लर्नर | एफओआईएल (फर्स्ट ऑर्डर इंडक्टिव लर्नर)
गोलेम (आईएलपी)
आईएलएएसपी (उत्तर सेट प्रोग्रामिंगों की आगमनात्मक शिक्षा)
इम्पारो^[21]
इंथेलेक्स (उदाहरणों से इंक्रीमेंटल थ्योरी लर्नर) Archived 2011-11-28 at the Wayback Machine
लाइम
मेटागोल
Mio
एमआईएस (मॉडल अनुमान प्रणाली) एहुद शापिरो द्वारा
प्रोगोल
आरएसडी
वार्मर (अब एसीई में शामिल)
प्रोगोलेम ^[23]^[24]

यह भी देखें

संदर्भ

↑ Plotkin, G.D. (1970). आगमनात्मक अनुमान के स्वचालित तरीके (PDF) (PhD). University of Edinburgh. hdl:1842/6656.
↑ Shapiro, Ehud Y. (1981). तथ्यों से सिद्धांतों का आगमनात्मक निष्कर्ष (PDF) (Technical report). Department of Computer Science, Yale University. 192. Reprinted in Lassez, J.-L.; Plotkin, G., eds. (1991). Computational logic : essays in honor of Alan Robinson. MIT Press. pp. 199–254. ISBN 978-0-262-12156-9.
↑ Shapiro, Ehud Y. (1983). एल्गोरिथम प्रोग्राम डिबगिंग. MIT Press. ISBN 0-262-19218-7.
↑ Shapiro, Ehud Y. (1981). "The model inference system" (PDF). Proceedings of the 7th international joint conference on Artificial intelligence. Vol. 2. Morgan Kaufmann. p. 1064.
↑ Poole, David; Goebel, Randy; Aleliunas, Romas (Feb 1986). Theorist: A Logical Reasoning System for Defaults and Diagnosis (PDF) (Research Report). Univ. Waterloo.
↑ Poole, David; Goebel, Randy; Aleliunas, Romas (1987). "Theorist: A Logical Reasoning System for Defaults and Diagnosis". In Nick J. Cercone; Gordon McCalla (eds.). The Knowledge Frontier – Essays in the Representation of Knowledge. Symbolic Computation (1st ed.). New York, NY: Springer. pp. 331–352. doi:10.1007/978-1-4612-4792-0. ISBN 978-1-4612-9158-9. S2CID 38209923.
↑ De Raedt, Luc (2012) [1999]. "A Perspective on Inductive Logic Programming". The Logic Programming Paradigm: A 25-Year Perspective. Springer. pp. 335–346. CiteSeerX 10.1.1.56.1790. ISBN 978-3-642-60085-2.
↑ ^8.0 ^8.1 ^8.2 Muggleton, S.H. (1991). "आगमनात्मक तर्क प्रोग्रामिंग". New Generation Computing. 8 (4): 295–318. CiteSeerX 10.1.1.329.5312. doi:10.1007/BF03037089. S2CID 5462416.
↑ Muggleton, S.H.; Buntine, W. (1988). "Machine invention of first-order predicate by inverting resolution". Proceedings of the 5th International Conference on Machine Learning. pp. 339–352. doi:10.1016/B978-0-934613-64-4.50040-2. ISBN 978-0-934613-64-4.
↑ Muggleton, S.H. (1995). "उलटा प्रवेश और प्रोगोल". New Generation Computing. 13 (3–4): 245–286. CiteSeerX 10.1.1.31.1630. doi:10.1007/bf03037227. S2CID 12643399.
↑ 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
↑ Džeroski, Sašo (1996). "Inductive Logic Programming and Knowledge Discovery in Databases" (PDF). In Fayyad, U.M.; Piatetsky-Shapiro, G.; Smith, P.; Uthurusamy, R. (eds.). नॉलेज डिस्कवरी और डेटा माइनिंग में उन्नति. MIT Press. pp. 117–152 See §5.2.4. Archived from the original (PDF) on 2021-09-27. Retrieved 2021-09-27.
↑ Plotkin, Gordon D. (1970). Meltzer, B.; Michie, D. (eds.). "आगमनात्मक सामान्यीकरण पर एक नोट". Machine Intelligence. 5: 153–163. ISBN 978-0-444-19688-0.
↑ Plotkin, Gordon D. (1971). Meltzer, B.; Michie, D. (eds.). "आगमनात्मक सामान्यीकरण पर एक और नोट". Machine Intelligence. Edinburgh University Press. 6: 101–124. ISBN 978-0-85224-195-0.
↑ i.e. sharing the same predicate symbol and negated/unnegated status
↑ in general: $n$ -tuple when $n$ positive example literals are given
↑ Ray, O.; Broda, K.; Russo, A.M. (2003). "Hybrid abductive inductive learning". Proceedings of the 13th international conference on inductive logic programming. LNCS. Vol. 2835. Springer. pp. 311–328. CiteSeerX 10.1.1.212.6602. doi:10.1007/978-3-540-39917-9_21. ISBN 978-3-540-39917-9.
↑ Kimber, T.; Broda, K.; Russo, A. (2009). "Induction on failure: learning connected Horn theories". लॉजिक प्रोग्रामिंग और नॉनमोनोटोनिक रीजनिंग पर 10वें अंतर्राष्ट्रीय सम्मेलन की कार्यवाही. LNCS. Vol. 575. Springer. pp. 169–181. doi:10.1007/978-3-642-04238-6_16. ISBN 978-3-642-04238-6.
↑ Yamamoto, Yoshitaka; Inoue, Katsumi; Iwanuma, Koji (2012). "पूर्ण व्याख्यात्मक प्रेरण के लिए व्युत्क्रम उपधारणा" (PDF). Machine Learning. 86: 115–139. doi:10.1007/s10994-011-5250-y. S2CID 11347607.
↑ Yamamoto, Akihiro (1997). "Which hypotheses can be found with inverse entailment?". आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन. Lecture Notes in Computer Science. Vol. 1297. Springer. pp. 296–308. CiteSeerX 10.1.1.54.2975. doi:10.1007/3540635149_58. ISBN 978-3-540-69587-5.
↑ ^21.0 ^21.1 Kimber, Timothy (2012). असफलता पर प्रेरण द्वारा निश्चित और सामान्य तर्क कार्यक्रम सीखना (PhD). Imperial College London. ethos 560694.
↑ Toth, David (2014). "इम्पारो व्युत्क्रम अवधारण द्वारा पूर्ण होता है". arXiv:1407.3836 [cs.AI].
↑ Muggleton, Stephen; Santos, Jose; Tamaddoni-Nezhad, Alireza (2009). "ProGolem: a system based on relative minimal generalization". आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन. Springer. pp. 131–148. CiteSeerX 10.1.1.297.7992. doi:10.1007/978-3-642-13840-9_13. ISBN 978-3-642-13840-9.
↑ Santos, Jose; Nassif, Houssam; Page, David; Muggleton, Stephen; Sternberg, Mike (2012). "Automated identification of features of protein-ligand interactions using Inductive Logic Programming: a hexose binding case study". BMC Bioinformatics. 13: 162. doi:10.1186/1471-2105-13-162. PMC 3458898. PMID 22783946.

अग्रिम पठन

Muggleton, S.; De Raedt, L. (1994). "Inductive Logic Programming: Theory and methods". The Journal of Logic Programming. 19–20: 629–679. doi:10.1016/0743-1066(94)90035-3.
Lavrac, N.; Dzeroski, S. (1994). Inductive Logic Programming: Techniques and Applications. New York: Ellis Horwood. ISBN 978-0-13-457870-5. Archived from the original on 2004-09-06. Retrieved 2004-09-22.
Visual example of inducing the grandparenthood relation by the Atom system. http://john-ahlgren.blogspot.com/2014/03/inductive-reasoning-visualized.html Archived 2014-03-26 at the Wayback Machine

[1] Plotkin, G.D. (1970). आगमनात्मक अनुमान के स्वचालित तरीके (PDF) (PhD). University of Edinburgh. hdl:1842/6656.

[2] Shapiro, Ehud Y. (1981). तथ्यों से सिद्धांतों का आगमनात्मक निष्कर्ष (PDF) (Technical report). Department of Computer Science, Yale University. 192. Reprinted in Lassez, J.-L.; Plotkin, G., eds. (1991). Computational logic : essays in honor of Alan Robinson. MIT Press. pp. 199–254. ISBN 978-0-262-12156-9.

[3] Shapiro, Ehud Y. (1983). एल्गोरिथम प्रोग्राम डिबगिंग. MIT Press. ISBN 0-262-19218-7.

[4] Shapiro, Ehud Y. (1981). "The model inference system" (PDF). Proceedings of the 7th international joint conference on Artificial intelligence. Vol. 2. Morgan Kaufmann. p. 1064.

[5] Poole, David; Goebel, Randy; Aleliunas, Romas (Feb 1986). Theorist: A Logical Reasoning System for Defaults and Diagnosis (PDF) (Research Report). Univ. Waterloo.

[6] Poole, David; Goebel, Randy; Aleliunas, Romas (1987). "Theorist: A Logical Reasoning System for Defaults and Diagnosis". In Nick J. Cercone; Gordon McCalla (eds.). The Knowledge Frontier – Essays in the Representation of Knowledge. Symbolic Computation (1st ed.). New York, NY: Springer. pp. 331–352. doi:10.1007/978-1-4612-4792-0. ISBN 978-1-4612-9158-9. S2CID 38209923.

[7] De Raedt, Luc (2012) [1999]. "A Perspective on Inductive Logic Programming". The Logic Programming Paradigm: A 25-Year Perspective. Springer. pp. 335–346. CiteSeerX 10.1.1.56.1790. ISBN 978-3-642-60085-2.

[muggleton1995inverse-8] 8.0 ^8.1 ^8.2 Muggleton, S.H. (1991). "आगमनात्मक तर्क प्रोग्रामिंग". New Generation Computing. 8 (4): 295–318. CiteSeerX 10.1.1.329.5312. doi:10.1007/BF03037089. S2CID 5462416.

[9] Muggleton, S.H.; Buntine, W. (1988). "Machine invention of first-order predicate by inverting resolution". Proceedings of the 5th International Conference on Machine Learning. pp. 339–352. doi:10.1016/B978-0-934613-64-4.50040-2. ISBN 978-0-934613-64-4.

[10] Muggleton, S.H. (1995). "उलटा प्रवेश और प्रोगोल". New Generation Computing. 13 (3–4): 245–286. CiteSeerX 10.1.1.31.1630. doi:10.1007/bf03037227. S2CID 12643399.

[11] 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

[12] Džeroski, Sašo (1996). "Inductive Logic Programming and Knowledge Discovery in Databases" (PDF). In Fayyad, U.M.; Piatetsky-Shapiro, G.; Smith, P.; Uthurusamy, R. (eds.). नॉलेज डिस्कवरी और डेटा माइनिंग में उन्नति. MIT Press. pp. 117–152 See §5.2.4. Archived from the original (PDF) on 2021-09-27. Retrieved 2021-09-27.

[13] Plotkin, Gordon D. (1970). Meltzer, B.; Michie, D. (eds.). "आगमनात्मक सामान्यीकरण पर एक नोट". Machine Intelligence. 5: 153–163. ISBN 978-0-444-19688-0.

[14] Plotkin, Gordon D. (1971). Meltzer, B.; Michie, D. (eds.). "आगमनात्मक सामान्यीकरण पर एक और नोट". Machine Intelligence. Edinburgh University Press. 6: 101–124. ISBN 978-0-85224-195-0.

[15] .e. sharing the same predicate symbol and negated/unnegated status

[16] ral: $n$ -tuple when $n$ positive example literals are given

[17] Ray, O.; Broda, K.; Russo, A.M. (2003). "Hybrid abductive inductive learning". Proceedings of the 13th international conference on inductive logic programming. LNCS. Vol. 2835. Springer. pp. 311–328. CiteSeerX 10.1.1.212.6602. doi:10.1007/978-3-540-39917-9_21. ISBN 978-3-540-39917-9.

[18] Kimber, T.; Broda, K.; Russo, A. (2009). "Induction on failure: learning connected Horn theories". लॉजिक प्रोग्रामिंग और नॉनमोनोटोनिक रीजनिंग पर 10वें अंतर्राष्ट्रीय सम्मेलन की कार्यवाही. LNCS. Vol. 575. Springer. pp. 169–181. doi:10.1007/978-3-642-04238-6_16. ISBN 978-3-642-04238-6.

[19] Yamamoto, Yoshitaka; Inoue, Katsumi; Iwanuma, Koji (2012). "पूर्ण व्याख्यात्मक प्रेरण के लिए व्युत्क्रम उपधारणा" (PDF). Machine Learning. 86: 115–139. doi:10.1007/s10994-011-5250-y. S2CID 11347607.

[20] Yamamoto, Akihiro (1997). "Which hypotheses can be found with inverse entailment?". आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन. Lecture Notes in Computer Science. Vol. 1297. Springer. pp. 296–308. CiteSeerX 10.1.1.54.2975. doi:10.1007/3540635149_58. ISBN 978-3-540-69587-5.

[kimber2009induction-21] 21.0 ^21.1 Kimber, Timothy (2012). असफलता पर प्रेरण द्वारा निश्चित और सामान्य तर्क कार्यक्रम सीखना (PhD). Imperial College London. ethos 560694.

[22] Toth, David (2014). "इम्पारो व्युत्क्रम अवधारण द्वारा पूर्ण होता है". arXiv:1407.3836 [cs.AI].

[23] Muggleton, Stephen; Santos, Jose; Tamaddoni-Nezhad, Alireza (2009). "ProGolem: a system based on relative minimal generalization". आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन. Springer. pp. 131–148. CiteSeerX 10.1.1.297.7992. doi:10.1007/978-3-642-13840-9_13. ISBN 978-3-642-13840-9.

[24] Santos, Jose; Nassif, Houssam; Page, David; Muggleton, Stephen; Sternberg, Mike (2012). "Automated identification of features of protein-ligand interactions using Inductive Logic Programming: a hexose binding case study". BMC Bioinformatics. 13: 162. doi:10.1186/1471-2105-13-162. PMC 3458898. PMID 22783946.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

@@ Line 9: / Line 9: @@
 == औपचारिक परिभाषा ==
-पृष्ठभूमि ज्ञान तर्क सिद्धांत के रूप में दिया जाता है {{mvar|B}}, सामान्यतः तर्क प्रोग्रामिंग में उपयोग किए जाने वाले [[हॉर्न क्लॉज]] के रूप में।
+पृष्ठभूमि ज्ञान तर्क सिद्धांत {{mvar|B}} के रूप में दिया जाता है, सामान्यतः तर्क प्रोग्रामिंग में उपयोग किए जाने वाले [[हॉर्न क्लॉज]] के रूप में सकारात्मक और नकारात्मक उदाहरण संयोजन के रूप में दिए गए हैं <math>E^+</math> और <math>E^-</math> क्रमशः [[शाब्दिक (गणितीय तर्क)]] और नकारात्मक [[जमीनी अभिव्यक्ति]] एक सही परिकल्पना {{mvar|h}} एक तार्किक प्रस्ताव है जो निम्नलिखित आवश्यकताओं को पूरा करता है।<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>
-सकारात्मक और नकारात्मक उदाहरण संयोजन के रूप में दिए गए हैं <math>E^+</math> और <math>E^-</math> अप्रतिबंधित और नकारात्मक [[जमीनी अभिव्यक्ति]] की क्रमशः [[शाब्दिक (गणितीय तर्क)]]।
-एक सही परिकल्पना {{mvar|h}} तार्किक प्रस्ताव है जो निम्नलिखित आवश्यकताओं को पूरा करता है।<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>
-:एंटेलमेंट सिमेंटिक परिणाम
 <math>\begin{array}{llll}
 \text{Necessity:}
@@ Line 34: / Line 31: @@
 & \not\models
 & \textit{false}
-\end{array}</math>आवश्यकता किसी पर प्रतिबंध नहीं लगाती {{mvar|h}}, लेकिन परिकल्पना के किसी भी निर्माण को तब तक प्रतिबंधित करता है जब तक कि इसके बिना सकारात्मक तथ्यों की व्याख्या की जा सकती है।
+\end{array}</math>
- पर्याप्तता के लिए किसी उत्पन्न परिकल्पना की आवश्यकता होती है {{mvar|h}} सभी सकारात्मक उदाहरणों की व्याख्या करने के लिए <math>E^+</math>.
- कमजोर स्थिरता किसी भी परिकल्पना के निर्माण को मना करती है {{mvar|h}} जो पृष्ठभूमि ज्ञान के विपरीत है {{mvar|B}}.
- मजबूत स्थिरता भी किसी भी परिकल्पना के निर्माण को मना करती है {{mvar|h}} जो नकारात्मक उदाहरणों के साथ असंगत है <math>E^-</math>, पृष्ठभूमि ज्ञान दिया {{mvar|B}}; इसका अर्थ है कमजोर संगति; यदि कोई नकारात्मक उदाहरण नहीं दिया जाता है, तो दोनों आवश्यकताएँ मेल खाती हैं। जेरोस्की <ref>{{cite book|first1=Sašo|last1=Džeroski|chapter=Inductive Logic Programming and Knowledge Discovery in Databases|pages=117–152 See §5.2.4|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=नॉलेज डिस्कवरी और डेटा माइनिंग में उन्नति|publisher=MIT Press|year=1996|chapter-url=http://kt.ijs.si/SasoDzeroski/pdfs/1996/Chapters/1996_InductiveLogicProgramming.pdf|access-date=2021-09-27|archive-date=2021-09-27|archive-url=https://web.archive.org/web/20210927141157/http://kt.ijs.si/SasoDzeroski/pdfs/1996/Chapters/1996_InductiveLogicProgramming.pdf|url-status=dead}}</ref> मात्र पर्याप्तता (वहां पूर्णता कहा जाता है) और मजबूत स्थिरता की आवश्यकता होती है।
+"आवश्यकता" {{mvar|h}} पर प्रतिबंध नहीं लगाती है, लेकिन जब तक सकारात्मक तथ्यों को इसके बिना समझा जा सकता है, तब तक परिकल्पना की किसी भी पीढ़ी को मना कर दिया जाता है। "पर्याप्तता" के लिए सभी सकारात्मक उदाहरणों <math>E^+</math> की व्याख्या करने के लिए किसी उत्पन्न परिकल्पना {{mvar|h}} की आवश्यकता होती है। "कमजोर स्थिरता" किसी भी परिकल्पना एच के निर्माण को मना करती है जो पृष्ठभूमि ज्ञान बी के विपरीत है। "मजबूत संगति" किसी भी परिकल्पना {{mvar|h}} के निर्माण को भी मना करती है जो कि नकारात्मक उदाहरणों के साथ असंगत है <math>E^-</math> पृष्ठभूमि ज्ञान बी दिया गया है; इसका अर्थ है "कमजोर संगति"; यदि कोई नकारात्मक उदाहरण नहीं दिया जाता है, तो दोनों आवश्यकताएँ मेल खाती हैं। जेरोस्की<ref>{{cite book|first1=Sašo|last1=Džeroski|chapter=Inductive Logic Programming and Knowledge Discovery in Databases|pages=117–152 See §5.2.4|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=नॉलेज डिस्कवरी और डेटा माइनिंग में उन्नति|publisher=MIT Press|year=1996|chapter-url=http://kt.ijs.si/SasoDzeroski/pdfs/1996/Chapters/1996_InductiveLogicProgramming.pdf|access-date=2021-09-27|archive-date=2021-09-27|archive-url=https://web.archive.org/web/20210927141157/http://kt.ijs.si/SasoDzeroski/pdfs/1996/Chapters/1996_InductiveLogicProgramming.pdf|url-status=dead}}</ref> को केवल "पर्याप्तता" (वहाँ "पूर्णता" कहा जाता है) और "मजबूत स्थिरता" की आवश्यकता होती है।
 == उदाहरण ==
-[[File:Family relations example for inductive logic programming article.gif|thumb|left|अनुभाग उदाहरण में अनुमानित पारिवारिक संबंध]]पारिवारिक संबंधों की परिभाषाएँ सीखने के बारे में निम्नलिखित सुप्रसिद्ध उदाहरण संक्षिप्त रूपों का उपयोग करता है
+[[File:Family relations example for inductive logic programming article.gif|thumb|left|अनुभाग उदाहरण में अनुमानित पारिवारिक संबंध]]पारिवारिक संबंधों की परिभाषाएँ सीखने के बारे में निम्नलिखित सुप्रसिद्ध उदाहरण संक्षिप्त रूपों का उपयोग करता है।
 :{{math|''par'': ''parent''}}, {{math|''fem'': ''female''}}, {{math|''dau'': ''daughter''}}, {{math|''g'': ''George''}}, {{math|''h'': ''Helen''}}, {{math|''m'': ''Mary''}}, {{math|''t'': ''Tom''}}, {{math|''n'': ''Nancy''}}, और {{math|''e'': ''Eve''}}.
-यह पृष्ठभूमि ज्ञान से शुरू होता है (cf. चित्र)
+यह पृष्ठभूमि ज्ञान से (cf. चित्र) शुरू होता है।
 :<math>\textit{par}(h,m) \land \textit{par}(h,t) \land \textit{par}(g,m) \land \textit{par}(t,e) \land \textit{par}(n,e) \land \textit{fem}(h) \land \textit{fem}(m) \land \textit{fem}(n) \land \textit{fem}(e)</math>,
 सकारात्मक उदाहरण
-:<math>\textit{dau}(m,h) \land \textit{dau}(e,t)</math>,
-और तुच्छ प्रस्ताव
-{{mvar|true}}
-नकारात्मक उदाहरणों की अनुपस्थिति को निरूपित करने के लिए।
-प्लॉटकिन का <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 |isbn= 978-0-444-19688-0}}</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 |publisher=Edinburgh University Press |isbn=978-0-85224-195-0}}</ref> प्रारंभिक तर्क प्रोग्रामिंग के सापेक्ष कम से कम सामान्यीकरण (आरएलजीजी) दृष्टिकोण का उपयोग बेटी संबंध को औपचारिक रूप से परिभाषित करने के विधिे के बारे में सुझाव प्राप्त करने के लिए किया जाएगा। {{mvar|dau}}.
+<math>\textit{dau}(m,h) \land \textit{dau}(e,t)</math>,
+और नकारात्मक उदाहरणों की अनुपस्थिति को निरूपित करने के लिए तुच्छ प्रस्ताव सही है।
+प्लॉटकिन के<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 |isbn= 978-0-444-19688-0}}</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 |publisher=Edinburgh University Press |isbn=978-0-85224-195-0}}</ref> आगमनात्मक तर्क प्रोग्रामिंग के लिए "सापेक्ष कम से कम सामान्यीकरण (आरएलजीजी)" दृष्टिकोण का उपयोग बेटी संबंध {{mvar|dau}} को औपचारिक रूप से परिभाषित करने के तरीके के बारे में एक सुझाव प्राप्त करने के लिए किया जाता है।
 यह दृष्टिकोण निम्न चरणों का उपयोग करता है।
@@ Line 64: / Line 59: @@
 \textit{dau}(e,t) \lor \lnot \textit{par}(h,m) \lor \lnot \textit{par}(h,t) \lor \lnot \textit{par}(g,m) \lor \lnot \textit{par}(t,e) \lor \lnot \textit{par}(n,e) \lor \lnot \textit{fem}(h) \lor \lnot \textit{fem}(m) \lor \lnot \textit{fem}(n) \lor \lnot \textit{fem}(e)
 \end{align}</math>,
-* एंटी-यूनिफिकेशन (कंप्यूटर साइंस) | एंटी-यूनिफाई प्रत्येक संगत <ref>i.e. sharing the same predicate symbol and negated/unnegated status</ref> जोड़ा <ref>in general: {{mvar|n}}-tuple when {{mvar|n}} positive example literals are given</ref> शाब्दिक का:
+*प्रत्येक संगत<ref>i.e. sharing the same predicate symbol and negated/unnegated status</ref> जोड़ी<ref>in general: {{mvar|n}}-tuple when {{mvar|n}} positive example literals are given</ref> को शाब्दिक रूप से एकीकृत करें:
 **<math>\textit{dau}(x_{me},x_{ht})</math> से <math>\textit{dau}(m,h)</math> और <math>\textit{dau}(e,t)</math>,
 **<math>\lnot \textit{par}(x_{ht},x_{me})</math> से <math>\lnot \textit{par}(h,m)</math> और <math>\lnot \textit{par}(t,e)</math>,
@@ Line 71: / Line 66: @@
 **<math>\lnot \textit{par}(x_{gt},x_{me})</math> से <math>\lnot \textit{par}(g,m)</math> और <math>\lnot \textit{par}(t,e)</math>, और कई अन्य नकारात्मक अक्षर
 * सकारात्मक शाब्दिक में नहीं होने वाले चर वाले सभी अस्वीकृत शाब्दिक हटाएं:
-**की तुलना में अन्य चर वाले सभी अस्वीकृत शाब्दिकों को हटाने के पश्चात <math>x_{me},x_{ht}</math>, मात्र <math>\textit{dau}(x_{me},x_{ht}) \lor \lnot \textit{par}(x_{ht},x_{me}) \lor \lnot \textit{fem}(x_{me})</math> पृष्ठभूमि ज्ञान से सभी जमीनी शाब्दिकों के साथ रहता है
+**<math>x_{me},x_{ht}</math> की तुलना में अन्य चर वाले सभी अस्वीकृत शाब्दिकों को हटाने के पश्चात, मात्र <math>\textit{dau}(x_{me},x_{ht}) \lor \lnot \textit{par}(x_{ht},x_{me}) \lor \lnot \textit{fem}(x_{me})</math> पृष्ठभूमि ज्ञान से सभी जमीनी शाब्दिकों के साथ रहता है।
 * क्लॉज को वापस हॉर्न फॉर्म में बदलें:
 ** <math>\textit{dau}(x_{me},x_{ht}) \leftarrow \textit{par}(x_{ht},x_{me}) \land \textit{fem}(x_{me}) \land (\text{all background knowledge facts})</math>
-परिणामी हॉर्न खंड परिकल्पना है {{mvar|h}} आरएलजीजी दृष्टिकोण द्वारा प्राप्त किया गया। पृष्ठभूमि ज्ञान तथ्यों की उपेक्षा करते हुए, खंड अनौपचारिक रूप से पढ़ता है<math>x_{me}</math> की पुत्री कहलाती है <math>x_{ht}</math> अगर <math>x_{ht}</math> का जनक है <math>x_{me}</math> और <math>x_{me}</math> महिला है, जो सामान्य रूप से स्वीकृत परिभाषा है।
+परिणामी हॉर्न क्लॉज आरएलजीजी दृष्टिकोण द्वारा प्राप्त परिकल्पना {{mvar|h}} है। पृष्ठभूमि ज्ञान तथ्यों को अनदेखा करते हुए, खंड अनौपचारिक रूप से पढ़ता है "<math>x_{me}</math> को <math>x_{ht}</math> की बेटी कहा जाता है यदि का जनक है <math>x_{ht}</math> और <math>x_{me}</math> महिला है", जो आमतौर पर स्वीकृत परिभाषा है।
-#औपचारिक परिभाषा आवश्यकताओं के संबंध में, आवश्यकता विधेय के कारण संतुष्ट थी {{mvar|dau}} पृष्ठभूमि ज्ञान में प्रकट नहीं होता है, इसलिए इस विधेय वाली किसी भी संपत्ति को लागू नहीं किया जा सकता है, जैसे कि सकारात्मक उदाहरण हैं।
+उपरोक्त आवश्यकताओं के संबंध में, "आवश्यकता" संतुष्ट थी क्योंकि विधेय <math>dau</math> पृष्ठभूमि ज्ञान में प्रकट नहीं होता है, इसलिए इस विधेय वाली किसी भी संपत्ति को लागू नहीं किया जा सकता है, जैसे कि सकारात्मक उदाहरण हैं। "पर्याप्तता" संगणित परिकल्पना {{mvar|h}} से संतुष्ट है, क्योंकि पृष्ठभूमि ज्ञान से <math>\textit{par}(h,m) \land \textit{fem}(m)</math> के साथ मिलकर, पहले सकारात्मक का अर्थ है उदाहरण <math>\textit{dau}(m,h)</math>, और इसी प्रकार {{mvar|h}} और <math>\textit{par}(t,e) \land \textit{fem}(e)</math> पृष्ठभूमि ज्ञान से तात्पर्य है दूसरा सकारात्मक उदाहरण <math>\textit{dau}(e,t)</math> "कमजोर स्थिरता" {{mvar|h}} से संतुष्ट है, क्योंकि {{mvar|h}} पृष्ठभूमि ज्ञान द्वारा वर्णित (परिमित) हरब्रांड संरचना में है; जो "मजबूत स्थिरता" के समान है।
- परिकलित परिकल्पना से पर्याप्तता संतुष्ट होती है {{mvar|h}}, इसके पश्चात से, साथ में <math>\textit{par}(h,m) \land \textit{fem}(m)</math> पृष्ठभूमि ज्ञान से, पहला सकारात्मक उदाहरण निकलता है <math>\textit{dau}(m,h)</math>, और इसी प्रकार  {{mvar|h}} और <math>\textit{par}(t,e) \land \textit{fem}(e)</math> पृष्ठभूमि ज्ञान से दूसरे सकारात्मक उदाहरण का तात्पर्य है <math>\textit{dau}(e,t)</math>. कमजोर संगति से संतुष्ट होता है {{mvar|h}}, तब से {{mvar|h}} पृष्ठभूमि ज्ञान द्वारा वर्णित (परिमित) [[हरब्रांड संरचना]] में है; मजबूत स्थिरता के लिए समान।
-दादी के संबंध की सामान्य परिभाषा, अर्थात। <math>\textit{gra}(x,z) \leftarrow \textit{fem}(x) \land \textit{par}(x,y) \land \textit{par}(y,z)</math>, उपरोक्त दृष्टिकोण का उपयोग करके नहीं सीखा जा सकता है, क्योंकि चर {{mvar|y}} क्लॉज बॉडी में ही होता है; संबंधित शाब्दिक दृष्टिकोण के चौथे चरण में हटा दिए गए होंगे। इस दोष को दूर करने के लिए, उस कदम को इस प्रकार संशोधित करना होगा कि इसे अलग-अलग शाब्दिक पोस्ट-चयन हेरिस्टिक्स के साथ पैरामीट्रिज किया जा सके। ऐतिहासिक रूप से, गोलेम कार्यान्वयन आरएलजीजी दृष्टिकोण पर आधारित है।
+दादी के संबंध की सामान्य परिभाषा, अर्थात <math>\textit{gra}(x,z) \leftarrow \textit{fem}(x) \land \textit{par}(x,y) \land \textit{par}(y,z)</math> उपरोक्त दृष्टिकोण का उपयोग करके नहीं सीखा जा सकता है, क्योंकि चर {{mvar|y}} केवल क्लॉज बॉडी में होता है; संबंधित शाब्दिक दृष्टिकोण के चौथे चरण में हटा दिए गए होंगे, इस दोष को दूर करने के लिए, उस कदम को इस तरह संशोधित करना होगा कि इसे अलग-अलग शाब्दिक पोस्ट-चयन हेरिस्टिक्स के साथ पैरामीट्रिज किया जा सके, ऐतिहासिक रूप से, गोलेम कार्यान्वयन आरएलजीजी दृष्टिकोण पर आधारित है।
 == इंडक्टिव तर्क प्रोग्रामिंग सिस्टम ==
-इंडक्टिव तर्क प्रोग्रामिंग सिस्टम प्रोग्राम है जो इनपुट तर्क सिद्धांतों के रूप में लेता है <math>B, E^+, E^-</math> और सही परिकल्पना का उत्पादन करता है {{mvar|H}} wrt सिद्धांत <math>B, E^+, E^-</math> आईएलपी प्रणाली के एल्गोरिथ्म में दो भाग होते हैं: परिकल्पना खोज और परिकल्पना चयन। पहले आगमनात्मक तर्क प्रोग्रामिंग प्रक्रिया के साथ परिकल्पना की खोज की जाती है, फिर मिली परिकल्पनाओं का उपसमुच्चय (अधिकांश प्रणालियों में परिकल्पना) चयन एल्गोरिथ्म द्वारा चुना जाता है। चयन एल्गोरिथम प्रत्येक पाई गई परिकल्पना को स्कोर करता है और उच्चतम स्कोर वाले को लौटाता है। स्कोर फ़ंक्शन के उदाहरण में न्यूनतम संपीड़न लंबाई शामिल है जहां सबसे कम [[कोलमोगोरोव जटिलता]] वाली परिकल्पना में उच्चतम स्कोर होता है और वापस आ जाता है। किसी भी इनपुट तर्क सिद्धांतों के लिए आईएलपी सिस्टम पूर्ण है <math>B, E^+, E^-</math> कोई सही परिकल्पना {{mvar|H}} इन इनपुट सिद्धांतों के संबंध में इसकी परिकल्पना खोज प्रक्रिया के साथ पाया जा सकता है।
+इंडक्टिव लॉजिक प्रोग्रामिंग सिस्टम एक ऐसा प्रोग्राम है जो इनपुट लॉजिक थ्योरी <math>B, E^+, E^-</math> के रूप में लेता है और एक सही परिकल्पना H के आधार पर थ्योरी <math>B, E^+, E^-</math> को आउटपुट करता है। आईएलपी प्रणाली के एक एल्गोरिथ्म में दो भाग होते हैं: परिकल्पना खोज और परिकल्पना चयन, पहले एक आगमनात्मक तर्क प्रोग्रामिंग प्रक्रिया के साथ एक परिकल्पना की खोज की जाती है, फिर मिली परिकल्पनाओं का एक सबसेट (अधिकांश प्रणालियों में एक परिकल्पना) एक चयन एल्गोरिथ्म द्वारा चुना जाता है। एक चयन एल्गोरिथम प्रत्येक पाई गई परिकल्पना को स्कोर करता है और उच्चतम स्कोर वाले को लौटाता है। स्कोर फ़ंक्शन के एक उदाहरण में न्यूनतम संपीड़न लंबाई शामिल है जहां सबसे कम कोलमोगोरोव जटिलता वाली परिकल्पना में उच्चतम स्कोर होता है और वापस आ जाता है। एक आईएलपी प्रणाली पूर्ण है अगर किसी भी इनपुट लॉजिक सिद्धांतों के लिए <math>B, E^+, E^-</math> इन इनपुट सिद्धांतों के संबंध में कोई भी सही परिकल्पना {{mvar|H}} इसकी परिकल्पना खोज प्रक्रिया के साथ मिल सकती है।
 === परिकल्पना खोज ===
-प्रोगोल जैसे आधुनिक आईएलपी सिस्टम,<ref name="muggleton1995inverse" />जयकार करना <ref>{{cite book |last1=Ray |first1=O. |last2=Broda |first2=K. |last3=Russo |first3=A.M. |chapter=Hybrid abductive inductive learning |chapter-url=https://link.springer.com/chapter/10.1007/978-3-540-39917-9_21 |title=Proceedings of the 13th international conference on inductive logic programming |publisher=Springer |series=LNCS |volume=2835 |date=2003 |isbn=978-3-540-39917-9 |pages=311–328 |doi=10.1007/978-3-540-39917-9_21 |url= |citeseerx=10.1.1.212.6602}}</ref> और मैं सीखता हूँ <ref>{{cite book |last1=Kimber |first1=T. |last2=Broda |first2=K. |last3=Russo |first3=A. |chapter=Induction on failure: learning connected Horn theories |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-04238-6_16  |title=लॉजिक प्रोग्रामिंग और नॉनमोनोटोनिक रीजनिंग पर 10वें अंतर्राष्ट्रीय सम्मेलन की कार्यवाही|publisher=Springer |series=LNCS |volume=575 |date=2009 |isbn=978-3-642-04238-6 |pages=169–181 |doi=10.1007/978-3-642-04238-6_16 }}</ref> परिकल्पना खोजें {{mvar|H}} उलटा प्रवेश के सिद्धांत का उपयोग करना<ref name="muggleton1995inverse" />सिद्धांतों के लिए {{mvar|B}}, {{mvar|E}}, {{mvar|H}}: <math>B \land H \models E \iff B \land \neg E \models \neg H</math>. पहले वे मध्यवर्ती सिद्धांत का निर्माण करते हैं {{mvar|F}} शर्तों को संतुष्ट करने वाला ब्रिज थ्योरी कहलाता है <math>B \land \neg E \models F</math> और <math>F \models \neg H</math>. फिर ऐसे <math>H \models \neg F</math>, वे सेतु सिद्धांत के निषेध का सामान्यीकरण करते हैं {{mvar|F}} विरोधी प्रवेश के साथ।<ref>{{cite journal | url=https://link.springer.com/content/pdf/10.1007/s10994-011-5250-y.pdf | doi=10.1007/s10994-011-5250-y | title=पूर्ण व्याख्यात्मक प्रेरण के लिए व्युत्क्रम उपधारणा| year=2012 | last1=Yamamoto | first1=Yoshitaka | last2=Inoue | first2=Katsumi | last3=Iwanuma | first3=Koji | journal=Machine Learning | volume=86 | pages=115–139 | s2cid=11347607 }}</ref> चूंकि, अत्यधिक गैर-नियतात्मक होने के पश्चात से एंटी-एंटेलमेंट का संचालन कम्प्यूटेशनल रूप से अधिक महंगा है। इसलिए, वैकल्पिक परिकल्पना खोज को इसके अतिरिक्त व्युत्क्रम सबसम्प्शन (एंटी-सबजम्पशन) के संचालन का उपयोग करके आयोजित किया जा सकता है, जो एंटी-एंटेलमेंट की तुलना में कम गैर-नियतात्मक है।
+प्रोगोल,<ref name="muggleton1995inverse" /> हेल<ref>{{cite book |last1=Ray |first1=O. |last2=Broda |first2=K. |last3=Russo |first3=A.M. |chapter=Hybrid abductive inductive learning |chapter-url=https://link.springer.com/chapter/10.1007/978-3-540-39917-9_21 |title=Proceedings of the 13th international conference on inductive logic programming |publisher=Springer |series=LNCS |volume=2835 |date=2003 |isbn=978-3-540-39917-9 |pages=311–328 |doi=10.1007/978-3-540-39917-9_21 |url= |citeseerx=10.1.1.212.6602}}</ref> और इम्पारो<ref>{{cite book |last1=Kimber |first1=T. |last2=Broda |first2=K. |last3=Russo |first3=A. |chapter=Induction on failure: learning connected Horn theories |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-04238-6_16  |title=लॉजिक प्रोग्रामिंग और नॉनमोनोटोनिक रीजनिंग पर 10वें अंतर्राष्ट्रीय सम्मेलन की कार्यवाही|publisher=Springer |series=LNCS |volume=575 |date=2009 |isbn=978-3-642-04238-6 |pages=169–181 |doi=10.1007/978-3-642-04238-6_16 }}</ref> जैसी आधुनिक आईएलपी प्रणालियां {{mvar|B}}, {{mvar|E}}, {{mvar|H}}: <math>B \land H \models E \iff B \land \neg E \models \neg H</math> के लिए व्युत्क्रम प्रवेश<ref name="muggleton1995inverse" /> के सिद्धांत का उपयोग करके एक परिकल्पना {{mvar|H}} खोजती हैं। सबसे पहले वे एक मध्यवर्ती सिद्धांत {{mvar|F}} का निर्माण करते हैं जिसे ब्रिज थ्योरी कहा जाता है जो स्थितियों <math>B \land \neg E \models F</math> और <math>F \models \neg H</math> को संतुष्ट करता है, फिर <math>H \models \neg F</math> के रूप में, वे एंटी-एंटेलमेंट के साथ पुल सिद्धांत एफ की उपेक्षा को सामान्य करते हैं।<ref>{{cite journal | url=https://link.springer.com/content/pdf/10.1007/s10994-011-5250-y.pdf | doi=10.1007/s10994-011-5250-y | title=पूर्ण व्याख्यात्मक प्रेरण के लिए व्युत्क्रम उपधारणा| year=2012 | last1=Yamamoto | first1=Yoshitaka | last2=Inoue | first2=Katsumi | last3=Iwanuma | first3=Koji | journal=Machine Learning | volume=86 | pages=115–139 | s2cid=11347607 }}</ref> हालांकि, अत्यधिक गैर-नियतात्मक होने के बाद से एंटी-एंटेलमेंट का संचालन कम्प्यूटेशनल रूप से अधिक महंगा है। इसलिए, उलटा सबसम्प्शन (एंटी-सबजम्पशन) के संचालन का उपयोग करके एक वैकल्पिक परिकल्पना खोज की जा सकती है, जो कि एंटी-एंटेलमेंट की तुलना में कम गैर-नियतात्मक है।
-विशिष्ट आईएलपी प्रणाली की परिकल्पना खोज प्रक्रिया की पूर्णता के प्रश्न उठते हैं। उदाहरण के लिए, प्रोगोल की परिकल्पना खोज प्रक्रिया व्युत्क्रम प्रवेश अनुमान नियम पर आधारित यामामोटो के उदाहरण से पूरी नहीं हुई है।<ref>{{cite book |first=Akihiro |last=Yamamoto |chapter=Which hypotheses can be found with inverse entailment? |chapter-url=https://link.springer.com/chapter/10.1007/3540635149_58 |title=आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन|series=Lecture Notes in Computer Science |publisher=Springer  |location= |date=1997 |volume=1297 |isbn=978-3-540-69587-5 |pages=296–308 |doi=10.1007/3540635149_58 |url= |citeseerx=10.1.1.54.2975}}</ref> दूसरी ओर, इम्पारो दोनों एंटी-एंटेलमेंट प्रक्रिया द्वारा पूर्ण है <ref name="kimber2009induction">{{cite thesis |first=Timothy |last=Kimber |title=असफलता पर प्रेरण द्वारा निश्चित और सामान्य तर्क कार्यक्रम सीखना|date=2012 |type=PhD |publisher=Imperial College London |url=https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560694 |id=ethos 560694}}</ref> और इसकी विस्तारित उलटा सबमिशन <ref>{{cite arXiv |first=David |last=Toth |title=इम्पारो व्युत्क्रम अवधारण द्वारा पूर्ण होता है|date=2014 |class=cs.AI |eprint=1407.3836}}</ref> प्रक्रिया।
+विशिष्ट आईएलपी प्रणाली की परिकल्पना खोज प्रक्रिया की पूर्णता के प्रश्न उठते हैं। उदाहरण के लिए, प्रोगोल की परिकल्पना खोज प्रक्रिया व्युत्क्रम प्रवेश अनुमान नियम पर आधारित यामामोटो के उदाहरण से पूरी नहीं हुई है।<ref>{{cite book |first=Akihiro |last=Yamamoto |chapter=Which hypotheses can be found with inverse entailment? |chapter-url=https://link.springer.com/chapter/10.1007/3540635149_58 |title=आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन|series=Lecture Notes in Computer Science |publisher=Springer  |location= |date=1997 |volume=1297 |isbn=978-3-540-69587-5 |pages=296–308 |doi=10.1007/3540635149_58 |url= |citeseerx=10.1.1.54.2975}}</ref> दूसरी ओर, इम्पारो एंटी-एंटेलमेंट प्रक्रिया<ref name="kimber2009induction">{{cite thesis |first=Timothy |last=Kimber |title=असफलता पर प्रेरण द्वारा निश्चित और सामान्य तर्क कार्यक्रम सीखना|date=2012 |type=PhD |publisher=Imperial College London |url=https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560694 |id=ethos 560694}}</ref> और इसकी विस्तारित उलटा सबसम्प्शन<ref>{{cite arXiv |first=David |last=Toth |title=इम्पारो व्युत्क्रम अवधारण द्वारा पूर्ण होता है|date=2014 |class=cs.AI |eprint=1407.3836}}</ref> प्रक्रिया दोनों द्वारा पूर्ण है।
 === कार्यान्वयन ===
-* [http://www.cs.bris.ac.uk/Research/MachineLearning/1BC/ 1BC और 1BC2: प्रथम क्रम के भोले बायेसियन क्लासिफायर:]
+* [http://www.cs.bris.ac.uk/Research/MachineLearning/1BC/ 1बीसी और 1बीसी2: प्रथम क्रम के भोले बायेसियन क्लासिफायर:]
-* [http://dtai.cs.kuleuven.be/ACE/ ACE (एक संयुक्त इंजन)]
+* [http://dtai.cs.kuleuven.be/ACE/ एसीइ (एक संयुक्त इंजन)]
 * [http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/ Aleph]
 * [http://www.ahlgren.info/research/atom/ एटम] {{Webarchive|url=https://web.archive.org/web/20140326152728/http://www.ahlgren.info/research/atom |date=2014-03-26 }}
@@ Line 97: / Line 91: @@
 * [http://dl-learner.org डीएल-लर्नर]
 * [http://dtai.cs.kuleuven.be/dmax/ डीमैक्स]
-* [https://spike-imperial.github.io/FastLAS/ FastLAS (उत्तर सेट से तेजी से सीखना)]
+* [https://spike-imperial.github.io/FastLAS/ फास्टलास (उत्तर सेट से तेजी से सीखना)]
 * [[फर्स्ट ऑर्डर इंडक्टिव लर्नर]] | एफओआईएल (फर्स्ट ऑर्डर इंडक्टिव लर्नर)
 * गोलेम (आईएलपी)
-* [http://www.ilasp.com/ ILASP (उत्तर सेट प्रोग्रामिंगों की आगमनात्मक शिक्षा)]
+* [http://www.ilasp.com/ आईएलएएसपी (उत्तर सेट प्रोग्रामिंगों की आगमनात्मक शिक्षा)]
-* इम्पारो<ref name="kimber2009induction" />* [http://lacam.di.uniba.it:8000/systems/inthelex/ Inthelex (उदाहरणों से इंक्रीमेंटल थ्योरी लर्नर)] {{Webarchive|url=https://web.archive.org/web/20111128110512/http://lacam.di.uniba.it:8000/systems/inthelex/ |date=2011-11-28 }}
+* इम्पारो<ref name="kimber2009induction" />
+*[http://lacam.di.uniba.it:8000/systems/inthelex/ इंथेलेक्स (उदाहरणों से इंक्रीमेंटल थ्योरी लर्नर)] {{Webarchive|url=https://web.archive.org/web/20111128110512/http://lacam.di.uniba.it:8000/systems/inthelex/ |date=2011-11-28 }}
 * [https://web.archive.org/web/20020516195248/http://cs.anu.edu.au/people/Eric.McCreath/lime.html लाइम]
 * [http://github.com/metagol/metagol मेटागोल]
@@ Line 109: / Line 104: @@
 * [http://ida.felk.cvut.cz/zelezny/rsd/index.htm आरएसडी]
 * वार्मर (अब एसीई में शामिल)
-* [http://ilp.doc.ic.ac.uk/ProGolem/ ProGolem] <ref>{{cite book |last1=Muggleton |first1=Stephen |last2=Santos |first2=Jose |last3=Tamaddoni-Nezhad |first3=Alireza |chapter=ProGolem: a system based on relative minimal generalization |citeseerx=10.1.1.297.7992 |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-13840-9_13 |title=आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन|publisher=Springer |date=2009 |isbn=978-3-642-13840-9 |pages=131–148 |doi=10.1007/978-3-642-13840-9_13 |url=}}</ref><ref>{{cite journal|last1=Santos|first1=Jose|last2=Nassif|first2=Houssam|last3=Page|first3=David|last4=Muggleton|first4=Stephen|last5=Sternberg|first5=Mike|title=Automated identification of features of protein-ligand interactions using Inductive Logic Programming: a hexose binding case study|journal=BMC Bioinformatics|date=2012|volume=13|page=162|doi=10.1186/1471-2105-13-162|pmid=22783946|pmc=3458898}}</ref>
+* [http://ilp.doc.ic.ac.uk/ProGolem/ प्रोगोलेम] <ref>{{cite book |last1=Muggleton |first1=Stephen |last2=Santos |first2=Jose |last3=Tamaddoni-Nezhad |first3=Alireza |chapter=ProGolem: a system based on relative minimal generalization |citeseerx=10.1.1.297.7992 |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-13840-9_13 |title=आगमनात्मक तर्क प्रोग्रामिंग पर अंतर्राष्ट्रीय सम्मेलन|publisher=Springer |date=2009 |isbn=978-3-642-13840-9 |pages=131–148 |doi=10.1007/978-3-642-13840-9_13 |url=}}</ref><ref>{{cite journal|last1=Santos|first1=Jose|last2=Nassif|first2=Houssam|last3=Page|first3=David|last4=Muggleton|first4=Stephen|last5=Sternberg|first5=Mike|title=Automated identification of features of protein-ligand interactions using Inductive Logic Programming: a hexose binding case study|journal=BMC Bioinformatics|date=2012|volume=13|page=162|doi=10.1186/1471-2105-13-162|pmid=22783946|pmc=3458898}}</ref>
 == यह भी देखें ==
 * [[सामान्य ज्ञान तर्क]]

Anonymous

Search

विवेचनात्मक तर्क प्रोग्रामिंग (इंडक्टिव लॉजिक प्रोग्रामिंग): Difference between revisions

Namespaces

More

Page actions

Revision as of 15:12, 21 May 2023

Contents

औपचारिक परिभाषा

उदाहरण

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

परिकल्पना खोज

कार्यान्वयन

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

विवेचनात्मक तर्क प्रोग्रामिंग (इंडक्टिव लॉजिक प्रोग्रामिंग): Difference between revisions

Revision as of 15:12, 21 May 2023

औपचारिक परिभाषा

उदाहरण

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

परिकल्पना खोज

कार्यान्वयन

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories