Hello, so this video's topic is Unification Algorithm Now, what is unification? Unification means making expressions look identical कि अगर हमारे पास दो expressions हैं और हम उनको identical बना सकें तो हम कहेंगे कि हमने उन expressions को unify कर दिया या फिर हमने उनका unification कर दिया अब यह ऐसा होगा कैसे? It is done with the help of a process which is simply known as substitution कि सब्स्टिटूशन की मदद से हम unification के process को कर सकते हैं एक बहुत ही simple से example ले रहे हैं जिससे मैं आप बता दूँ कि दो expression को हम कैसे simplify करते हैं या फिर उनको कैसे हम unify करते हैं with the help of substitution So let us say पहले expression है मेरे पास P of X और एक function दिया हुआ है F of Y ठीक है?
And एक और expression है मेरे पास P of ए फंक्शन दिया हुआ है जी ऑफ जेड आफ जी ऑफ जेड अब मुझे इन दोनों को यूनिफाई करना है मतलब दोनों को आइडेंटिकल बनाना है अब आइडेंटिकल कैसे होंगे दोनों तो देव बोत आर आइडेंटिकल या फिर कह सकते हैं वन एंड टू आर आइडें� कैसा substitution करूँ? अगर मैं x को a से replace कर दूँ तो ये क्या बन जाएगा? p of a so 1 and 2 are identical if x is replaced with a पहली चीज़ तो हमने ये कही कि x को a से replace कर दिया है मैं expression 1 में replacement कर रहा हूँ ठीक है?
and अगर मैं इस y को किस से replace कर दूँ? g of z function से है ठीक है तो यह क्या बन जाएगा एफ वाइड जगह रख दो यह सो यह इंटिकल बन गया यह वाला और यह वाला देखो वन टू आइडिंटिकल एडिंटिकल वेब जमने एक्स को रिप्लेस किया कि से एसे एंड वाइड प्लेस विद जी ऑफ जेड तो जब आप ये दोनों करते हो, दोनों substitution करते हो, तब आप अपने expression को identical बना सकते हो, ठीक है? So, basically हमने क्या करा? x को replace किया a से, और y को replace किया g of z से, then these two, 1 and 2 are identical, तो अब इसमें हम unification लिखेंगे कैसे? कि हमने unify किया है, unification को लिखने का जो तरीका है, या substitution को लिखने का तरीका है, जिसको हम substitution set भी बोलते हैं, वो कुछ इस तरह से होता है, ए देन दिस सिंबल एक्स मतलब एक्स इज रिप्लेस्ट विद ए ठीक है सब्सक्रिप्शन ऑफ एक्स एंड ए मतलब एक्स इज रिप्लेस्ट विद ए ऐसी जब आपको यह लिखना तो क्या लिखोगे जी ऑफ जेट वाई मतलब वाई इज रिप्लेस्ट विद जी ऑफ जेट तो इतना याद रखना हमेशा अ जो नीचे होता है उसको रिप्लेस करते हैं कि से ऊपर वाले से ठीक है तो दिस रिप्लेस विद दिस तो इस है यूनिफिकेशन इस राइट इस डन और इस चीज को बोलते हैं सब्स्टिटूशन सेट तो अगर हमें सब्स्टिटूशन सेट मिल जाता है दो एक्सप्रेशन का देन वी केन परफॉर्म दिप्रोसेस ऑफ यूनिफिकेशन अ ठीक है अब इसकी कुछ कंडीशन से हम करने के लिए सबसे पहली बात तो प्रेडिकेट सिंबल मस्ट भी सेम ठीक है अब प्रेडिकेट सिंबल क्या जैसे कि दोनों में नहीं यहां पर पी और पी यूज कर रखा था तो वह सेम होना चाहिए प्रेडिकेट सिंबल मस्ट भी सेम होना चाहिए नंबर आफ आर्ग्यूमेंट्स इन बोतर एक्सपेशन मस्ट भी आइडेंटिकल मतलब इसका यह है कि आपके सबसे एक है पी इसमें आपके अस दो आर्ग्यूमेंट्स हैं अ और एक और आपके वास है P जिसमें आपके वास तीन arguments हैं then in this case you cannot perform unification number of arguments identical या फिर जिसको हम बोलते हैं same होने चाहिए ठीक है then if two similar variables present in same expression then unification fails मतलब कि दो expression में same variable नहीं होना चाहिए so if two similar variables present in same expression then unification fails तो ये जो conditions है ये important conditions है आपको आनी चाहिए Now let us see the simple algorithm और इस algorithm को समझने के लिए हम इसी वीडियो में दो questions को solve करेंगे जिसके बाद आपको ये algorithm ज़्यादा अच्छे से समझ में आएगा So मैं एक बार इसको read कर लेता हूँ, बताया दो कि इसमें क्या बताया गया है, suppose हम unify कर रहे हैं दो expressions a1 and a2, यह variable and constants को, so if a1 and a2 is a variable and constant, then we will perform this, अगर दोनों identical हैं, तो nil return कर दो, अगर a1 occurs in a2, then fail, मतलब कि अगर a1 जो है वो a2 में भी है, तो भी fail है, else return this, मतलब आपने a1 को replace कर दे कि इससे a2 से, ए चैनल को एवं के अंदर अगर एवं में है तो फैल एल्स रिटर्न एवं बाई एट टू देट मिनट आपने टू को रिप्लेस कर दिया एवं से अगेंड इस कंडीशन चेक करेंगे अगर प्रेडिकेट सेम नहीं है ठीक है बदला प्रेडिकेट सेम नहीं है और इस बारे में यह भी निर्भाव नहीं है और आपको इस बारे में निर्भाव नहीं है और आपको इस बारे में निर्भाव नहीं है इस बारे में निर्भाव नहीं है अब हम अपने बारे में निर्भाव नहीं है आपको इस बारे में निर्भाव नहीं है आपको इस बारे में निर्भाव नहीं है आपको इस बारे में निर्भाव नहीं है आपको इस बारे में निर्भाव नहीं है तो यहाँ पर हमें दो एक्सप्रेशन्स गिवन हैं तो पहले वाले को मान लेता हूं एक्सप्रेशन एवन और इसको हम मान लेता है एक्सप्रेशन एड़ टू ठीक है अब देखो यहाँ पर हमें किस को चेंज करना होगा मैं एक को इसके तरह देख रहा हूं तो मैं पास तो सबसे पहली बात तो अगर मैं यहाँ पर f of b लियाता हूँ तो मेरे को से मिल जाता है so that means what?
I have to replace or substitute x with f of b तो मेरा पहला substitution rule क्या आगिया? कि मैंने x को replace किया किस से? f of b से इस तरह से होता है ना तो देखो क्या मिलेगा आपको क्यों एक ओमा डी एक्स के लिए फॉर भी कॉमा एक ओमा एफ ऑफ वाई और यहां पर क्या मिलेगा एडी एफ ऑफ बी कॉमा ए अब देखो यहां पर चेक इन वाले में भी एक्स के जगह फॉर भी आएगा इतना याद रखना सो एफ ऑफ बी है ठीक है तो यहां तक हमें मिला अब देखो क्या है यहां पर अगर मैं पास यहां पर मैं पास क्या है एफ ऑफ बी सो अगर मैं यह करूं एक अगला सब्सिटीशन सब्सिट्यूट बी वाइड मतलब है सब्सिटीशन कर रहा हूं और वाइड सब्सिट्यूट इट विद बी तो दोस्तों मुझे क्या मिलेगा क्यों एक होमा जी एफ ऑफ बी कॉमा ए एंड एफ ऑफ बी क्योंकि वाइड को रिप्लेस कर दिया है बी से वाइड को रिप्लेस किया है ध्यान रखना एजी एफ ऑफ बी कॉमा ए कॉमा एफ ऑफ बी अ अगर आप इन दोनों को देखते हो तो क्या दोनों सेम हैं बिल्कुल सेम है सो यूनिफाइड सक्सेसफुली ठीक है सो यह तो था पहला क्वेश्चन लेट एस टेक वन मोर एग्जांपल आफ दिस यूनिफिकेशन तो यह दूसरा वजह है, तो यह बहुत सिंपल वजह है, यह दो एक्सप्रेशन है, एक प्राइम 11 और एक प्राइम वाई है, पहले पर चेक करें या नहीं है प्रेडिकेट प्राइम है, तो हम काम कर सकते हैं, दोनों में नंबर आफ आर्ग्यूमेंट चेक करें, इसमें सिं� 11 तो जो आप करोगे तो आपको क्या मिलेगा प्राइम 11 तो यह ऐसी देगा यह क्या बन जाएगा प्राइम 11 तो दीजार सेम सो सक्सेसफुली यूनिफाइड ठीक है तो इस तरह से आपको इसमें करना है यूनिफिकेशन बट हमेशा याद रखना कि जो आप समिफाई कर रहे हो सब्सक्राइब कर रहे हो उसका सब्सक्राइब आपको जरूर लिखना यहां पर मैं यह तो क्या है यह इस तरह से so this is the substitution set so this is all for this particular video lecture thank you for watching the video please subscribe to my youtube channel for more such tutorials thank you