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