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

Revision as of 15:42, 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$ की आवश्यकता होती है। इसी प्रकार "कमजोर स्थिरता" किसी भी परिकल्पना एच के निर्माण को मना करती है जो पृष्ठभूमि ज्ञान B के विपरीत है। "मजबूत संगति" किसी भी परिकल्पना $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$ के रूप में, वे एंटी-एंटेलमेंट के साथ पुल सिद्धांत $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 1: / Line 1: @@
 {{Programming paradigms|state=collapsed}}
-आगमनात्मक [[तर्क प्रोग्रामिंग]] (आईएलपी) [[प्रतीकात्मक कृत्रिम बुद्धि]] का उपक्षेत्र है जो उदाहरण, पृष्ठभूमि ज्ञान और परिकल्पनाओं के लिए समान प्रतिनिधित्व के रूप में तर्क प्रोग्रामिंग का उपयोग करता है। ज्ञात पृष्ठभूमि ज्ञान के एन्कोडिंग और तथ्यों के तार्किक [[डेटाबेस]] के रूप में प्रस्तुत उदाहरणों के समूह को देखते हुए, आईएलपी प्रणाली परिकल्पित तर्क प्रोग्रामिंग प्राप्त करेगी जो सभी सकारात्मक और नकारात्मक उदाहरणों में से कोई भी नहीं है।
+आगमनात्मक [[तर्क प्रोग्रामिंग]] (आईएलपी) [[प्रतीकात्मक कृत्रिम बुद्धि]] का उपक्षेत्र है जो उदाहरण, पृष्ठभूमि ज्ञान और परिकल्पनाओं के लिए समान प्रतिनिधित्व के रूप में तर्क प्रोग्रामिंग का उपयोग करता है। इसी प्रकार ज्ञात पृष्ठभूमि ज्ञान के एन्कोडिंग और तथ्यों के तार्किक [[डेटाबेस]] के रूप में प्रस्तुत उदाहरणों के समूह को देखते हुए, आईएलपी प्रणाली परिकल्पित तर्क प्रोग्रामिंग प्राप्त करेगी जो सभी सकारात्मक और नकारात्मक उदाहरणों में से कोई भी नहीं है।
 * स्कीमा: ''सकारात्मक उदाहरण'' + ''नकारात्मक उदाहरण'' + ''पृष्ठभूमि ज्ञान'' ⇒ ''परिकल्पना''
-आगमनात्मक तर्क प्रोग्रामिंग जैव सूचना विज्ञान और [[प्राकृतिक भाषा प्रसंस्करण]] में विशेष रूप से उपयोगी है। [[गॉर्डन प्लॉटकिन]] और [[एहुद शापिरो]] ने तार्किक सेटिंग में आगमनात्मक मशीन सीखने के लिए प्रारंभिक सैद्धांतिक नींव रखी थी।<ref>{{cite thesis |first=G.D. |last=Plotkin |title=आगमनात्मक अनुमान के स्वचालित तरीके|date=1970 |type=PhD |publisher=University of Edinburgh |url=https://www.era.lib.ed.ac.uk/bitstream/handle/1842/6656/Plotkin1972.pdf |hdl=1842/6656}}</ref><ref>{{cite techreport |first=Ehud Y. |last=Shapiro |title=तथ्यों से सिद्धांतों का आगमनात्मक निष्कर्ष|id=192 |date=1981 |publisher=Department of Computer Science, Yale University |url=http://ftp.cs.yale.edu/publications/techreports/tr192.pdf}} Reprinted in {{cite book |editor1-first=J.-L. |editor1-last=Lassez |editor2-first=G. |editor2-last=Plotkin |title=Computational logic : essays in honor of Alan Robinson |year=1991 |publisher=MIT Press |isbn=978-0-262-12156-9 |pages=199–254 }}</ref><ref>{{cite book |first=Ehud Y. |last=Shapiro |title=एल्गोरिथम प्रोग्राम डिबगिंग|publisher=MIT Press |location= |date=1983 |isbn=0-262-19218-7 |pages= |url=}}</ref> शापिरो ने 1981 में अपना पहला कार्यान्वयन (मॉडल अनुमान प्रणाली) बनाया था।<ref>{{cite book |first=Ehud Y. |last=Shapiro |chapter=The model inference system |chapter-url=https://www.ijcai.org/Proceedings/81-2/Papers/100.pdf |title=Proceedings of the 7th international joint conference on Artificial intelligence |volume=2  |publisher=Morgan Kaufmann |location= |date=1981 |isbn= |pages=1064 |url=}}</ref> [[प्रोलॉग]] प्रोग्राम जो सकारात्मक और नकारात्मक उदाहरणों से तर्क प्रोग्रामिंग का आगमनात्मक रूप से अनुमान लगाता है। 1986 में आगमनात्मक तर्क प्रोग्रामिंग का पहला पूर्ण प्रथम-क्रम कार्यान्वयन थिओरिस्ट था।<ref>{{cite report | url=https://www.cs.ubc.ca/~poole/papers/Theorist-CS-86-06.pdf |first1=David |last1=Poole |first2=Randy |last2=Goebel |first3=Romas |last3=Aleliunas | title=Theorist: A Logical Reasoning System for Defaults and Diagnosis | institution=Univ. Waterloo | type=Research Report | number=CS-86-06 | date=Feb 1986 }}</ref><ref>{{cite book | url= |first1=David |last1=Poole |first2=Randy |last2=Goebel |first3=Romas |last3=Aleliunas | contribution=Theorist: A Logical Reasoning System for Defaults and Diagnosis | pages=331&ndash;352 | doi=10.1007/978-1-4612-4792-0 | isbn=978-1-4612-9158-9 | editor1=Nick J. Cercone | editor2= Gordon McCalla | title= The Knowledge Frontier &ndash; Essays in the Representation of Knowledge | location=New York, NY | publisher=Springer | series=Symbolic Computation | volume= | edition=1st | year=1987 |s2cid=38209923 }}</ref> इंडक्टिव तर्क प्रोग्रामिंग शब्द पहली बार<ref>{{cite book |first=Luc |last=De Raedt |chapter=A Perspective on Inductive Logic Programming |chapter-url={{GBurl|uMWoCAAAQBAJ|p=333}} |editor= |title=The Logic Programming Paradigm: A 25-Year Perspective |publisher=Springer |date=2012 |isbn=978-3-642-60085-2 |orig-year=1999 |pages=335–346 |url= |citeseerx=10.1.1.56.1790  }}</ref> 1991 में [[स्टीफन मुगलटन]] द्वारा एक पेपर में प्रस्तुत किया गया था।<ref name="muggleton1995inverse">{{Cite journal | last1 = Muggleton | first1 = S.H. | 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 book |last1=Muggleton |first1=S.H. |last2=Buntine |first2=W. |chapter=Machine invention of first-order predicate by inverting resolution |doi=10.1016/B978-0-934613-64-4.50040-2 |title=Proceedings of the 5th International Conference on Machine Learning |date=1988 |isbn=978-0-934613-64-4 |pages=339–352 |url=}}</ref> और इनवर्स एंटेलमेंट के सैद्धांतिक विचारों को प्रस्तुत किया था।<ref>{{cite journal | last1 = Muggleton | first1 = S.H. | year = 1995 | title = उलटा प्रवेश और प्रोगोल| journal = New Generation Computing | volume = 13 | issue = 3–4| pages = 245–286 | doi=10.1007/bf03037227| citeseerx = 10.1.1.31.1630 | s2cid = 12643399 }}</ref> मैगलटन ने सबसे पहले [[PROGOL|पीआरओजीओएल]] प्रणाली में उलटा प्रवेश लागू किया था। यहाँ "आगमनात्मक" शब्द [[गणितीय प्रेरण]] (अर्थात एक सुव्यवस्थित अर्थात के सभी सदस्यों के लिए एक संपत्ति सिद्ध करना) के अतिरिक्त दार्शनिक (अर्थात देखे गए तथ्यों को समझाने के लिए एक सिद्धांत का सुझाव देना) को संदर्भित करता है।
+आगमनात्मक तर्क प्रोग्रामिंग जैव सूचना विज्ञान और [[प्राकृतिक भाषा प्रसंस्करण]] में विशेष रूप से उपयोगी है। [[गॉर्डन प्लॉटकिन]] और [[एहुद शापिरो]] ने तार्किक सेटिंग में आगमनात्मक मशीन सीखने के लिए प्रारंभिक सैद्धांतिक नींव रखी थी।<ref>{{cite thesis |first=G.D. |last=Plotkin |title=आगमनात्मक अनुमान के स्वचालित तरीके|date=1970 |type=PhD |publisher=University of Edinburgh |url=https://www.era.lib.ed.ac.uk/bitstream/handle/1842/6656/Plotkin1972.pdf |hdl=1842/6656}}</ref><ref>{{cite techreport |first=Ehud Y. |last=Shapiro |title=तथ्यों से सिद्धांतों का आगमनात्मक निष्कर्ष|id=192 |date=1981 |publisher=Department of Computer Science, Yale University |url=http://ftp.cs.yale.edu/publications/techreports/tr192.pdf}} Reprinted in {{cite book |editor1-first=J.-L. |editor1-last=Lassez |editor2-first=G. |editor2-last=Plotkin |title=Computational logic : essays in honor of Alan Robinson |year=1991 |publisher=MIT Press |isbn=978-0-262-12156-9 |pages=199–254 }}</ref><ref>{{cite book |first=Ehud Y. |last=Shapiro |title=एल्गोरिथम प्रोग्राम डिबगिंग|publisher=MIT Press |location= |date=1983 |isbn=0-262-19218-7 |pages= |url=}}</ref> इसी प्रकार शापिरो ने 1981 में अपना पहला कार्यान्वयन (मॉडल अनुमान प्रणाली) बनाया था।<ref>{{cite book |first=Ehud Y. |last=Shapiro |chapter=The model inference system |chapter-url=https://www.ijcai.org/Proceedings/81-2/Papers/100.pdf |title=Proceedings of the 7th international joint conference on Artificial intelligence |volume=2  |publisher=Morgan Kaufmann |location= |date=1981 |isbn= |pages=1064 |url=}}</ref> [[प्रोलॉग]] प्रोग्राम जो सकारात्मक और नकारात्मक उदाहरणों से तर्क प्रोग्रामिंग का आगमनात्मक रूप से अनुमान लगाता है। 1986 में आगमनात्मक तर्क प्रोग्रामिंग का पहला पूर्ण प्रथम-क्रम कार्यान्वयन थिओरिस्ट था।<ref>{{cite report | url=https://www.cs.ubc.ca/~poole/papers/Theorist-CS-86-06.pdf |first1=David |last1=Poole |first2=Randy |last2=Goebel |first3=Romas |last3=Aleliunas | title=Theorist: A Logical Reasoning System for Defaults and Diagnosis | institution=Univ. Waterloo | type=Research Report | number=CS-86-06 | date=Feb 1986 }}</ref><ref>{{cite book | url= |first1=David |last1=Poole |first2=Randy |last2=Goebel |first3=Romas |last3=Aleliunas | contribution=Theorist: A Logical Reasoning System for Defaults and Diagnosis | pages=331&ndash;352 | doi=10.1007/978-1-4612-4792-0 | isbn=978-1-4612-9158-9 | editor1=Nick J. Cercone | editor2= Gordon McCalla | title= The Knowledge Frontier &ndash; Essays in the Representation of Knowledge | location=New York, NY | publisher=Springer | series=Symbolic Computation | volume= | edition=1st | year=1987 |s2cid=38209923 }}</ref> इसी प्रकार इंडक्टिव तर्क प्रोग्रामिंग शब्द पहली बार<ref>{{cite book |first=Luc |last=De Raedt |chapter=A Perspective on Inductive Logic Programming |chapter-url={{GBurl|uMWoCAAAQBAJ|p=333}} |editor= |title=The Logic Programming Paradigm: A 25-Year Perspective |publisher=Springer |date=2012 |isbn=978-3-642-60085-2 |orig-year=1999 |pages=335–346 |url= |citeseerx=10.1.1.56.1790  }}</ref> 1991 में [[स्टीफन मुगलटन]] द्वारा एक पेपर में प्रस्तुत किया गया था।<ref name="muggleton1995inverse">{{Cite journal | last1 = Muggleton | first1 = S.H. | 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 book |last1=Muggleton |first1=S.H. |last2=Buntine |first2=W. |chapter=Machine invention of first-order predicate by inverting resolution |doi=10.1016/B978-0-934613-64-4.50040-2 |title=Proceedings of the 5th International Conference on Machine Learning |date=1988 |isbn=978-0-934613-64-4 |pages=339–352 |url=}}</ref> और इनवर्स एंटेलमेंट के सैद्धांतिक विचारों को प्रस्तुत किया था।<ref>{{cite journal | last1 = Muggleton | first1 = S.H. | year = 1995 | title = उलटा प्रवेश और प्रोगोल| journal = New Generation Computing | volume = 13 | issue = 3–4| pages = 245–286 | doi=10.1007/bf03037227| citeseerx = 10.1.1.31.1630 | s2cid = 12643399 }}</ref> इसी प्रकार मैगलटन ने सबसे पहले [[PROGOL|पीआरओजीओएल]] प्रणाली में उलटा प्रवेश लागू किया था। यहाँ "आगमनात्मक" शब्द [[गणितीय प्रेरण]] (अर्थात एक सुव्यवस्थित अर्थात के सभी सदस्यों के लिए एक संपत्ति सिद्ध करना) के अतिरिक्त दार्शनिक (अर्थात देखे गए तथ्यों को समझाने के लिए एक सिद्धांत का सुझाव देना) को संदर्भित करता है।
 == औपचारिक परिभाषा ==
@@ Line 33: / Line 33: @@
 \end{array}</math>
-"आवश्यकता" {{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> को मात्र "पर्याप्तता" (वहाँ "पूर्णता" कहा जाता है) और "मजबूत स्थिरता" की आवश्यकता होती है।
+"आवश्यकता" {{mvar|h}} पर प्रतिबंध नहीं लगाती है, इसी प्रकार लेकिन जब तक सकारात्मक तथ्यों को इसके बिना समझा जा सकता है, तब तक परिकल्पना की किसी भी पीढ़ी को मना कर दिया जाता है। "पर्याप्तता" के लिए सभी सकारात्मक उदाहरणों <math>E^+</math> की व्याख्या करने के लिए किसी उत्पन्न परिकल्पना {{mvar|h}} की आवश्यकता होती है। इसी प्रकार "कमजोर स्थिरता" किसी भी परिकल्पना एच के निर्माण को मना करती है जो पृष्ठभूमि ज्ञान B के विपरीत है। "मजबूत संगति" किसी भी परिकल्पना {{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> को मात्र "पर्याप्तता" (वहाँ "पूर्णता" कहा जाता है) और "मजबूत स्थिरता" की आवश्यकता होती है।
 == उदाहरण ==
@@ Line 69: / Line 69: @@
 * क्लॉज को वापस हॉर्न फॉर्म में बदलें:
 ** <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> का जनक है  तथा महिला है", जो सामान्यतः स्वीकृत परिभाषा है।
+इसी प्रकार परिणामी हॉर्न क्लॉज आरएलजीजी दृष्टिकोण द्वारा प्राप्त परिकल्पना {{mvar|h}} है। पृष्ठभूमि ज्ञान तथ्यों को अनदेखा करते हुए, खंड अनौपचारिक रूप से पढ़ता है "<math>x_{me}</math> को <math>x_{ht}</math> की बेटी कहा जाता है यदि <math>x_{ht}</math> और <math>x_{me}</math> का जनक है तथा महिला है", जो सामान्यतः स्वीकृत परिभाषा है।
-उपरोक्त आवश्यकताओं के संबंध में, "आवश्यकता" संतुष्ट थी क्योंकि विधेय <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}} पृष्ठभूमि ज्ञान द्वारा वर्णित (परिमित) हरब्रांड संरचना में है; जो "मजबूत स्थिरता" के समान है।
+उपरोक्त आवश्यकताओं के संबंध में, "आवश्यकता" संतुष्ट थी क्योंकि विधेय <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}} पृष्ठभूमि ज्ञान द्वारा वर्णित (परिमित) हरब्रांड संरचना में है; जो "मजबूत स्थिरता" के समान है।
-दादी के संबंध की सामान्य परिभाषा, अर्थात <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> के रूप में लेता है और एक सही परिकल्पना H के आधार पर थ्योरी <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|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> के रूप में, वे एंटी-एंटेलमेंट के साथ पुल सिद्धांत {{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> के रूप में, वे एंटी-एंटेलमेंट के साथ पुल सिद्धांत {{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>{{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> प्रक्रिया दोनों के द्वारा पूर्ण है।

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 15:42, 21 May 2023

Contents

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

उदाहरण

इंडक्टिव तर्क प्रोग्रामिंग प्रणाली

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

कार्यान्वयन

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 15:42, 21 May 2023

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

उदाहरण

इंडक्टिव तर्क प्रोग्रामिंग प्रणाली

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

कार्यान्वयन

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories