यूनिफिकेशन एल्गोरिथ्म
यूनिफिकेशन क्या है?
- यूनिफिकेशन का मतलब है कि दो expressions को identical बनाना।
- यह प्रक्रिया substitution की मदद से की जाती है।
कैसे करते हैं यूनिफिकेशन?
-
Substitution का उदाहरण:
- पहला expression: (P(X))
- दूसरा expression: (P(a, g(z)))
- अगर (X) को (a) से और (Y) को (g(z)) से replace करें तो दोनों identical बन जाते हैं।
-
Substitution सेट लिखने का तरीका:
- ({ X/a, Y/g(z) }) - यह दिखाता है कि (X) को (a) से और (Y) को (g(z)) से replace किया गया है।
यूनिफिकेशन की शर्तें
- Predicate symbols का समान होना आवश्यक है।
- दोनों expressions में arguments की संख्या समान होनी चाहिए।
- एक ही expression में समान variables नहीं होने चाहिए।
यूनिफिकेशन एल्गोरिथ्म
- अगर (a1) और (a2) एक variable और constant हैं:
- अगर identical हैं, तो nil return करें।
- अगर (a1) (a2) में है, तो fail करें।
- अन्यथा ({a1/a2}) return करें।
- Predicate समान न होने पर unification fail होता है।
उदाहरण
-
Example 1:
- Expressions: (Q(a, D, X)) और (Q(a, D, f(B)))
- Substitution: ({ X/f(B) }), फिर ({ Y/B })
- अंतिम expressions identical हैं।
-
Example 2:
- Expressions: (Prime(11)) और (Prime(Y))
- Substitution: ({ Y/11 })
- अंतिम expressions identical हैं।
निष्कर्ष
- सभी substitutions को substitution set में लिखना महत्वपूर्ण है।
यह वीडियो लेक्चर का समापन है। अधिक tutorials के लिए चैनल सब्सक्राइब करें। धन्यवाद।