فہرست کا خانہ:
تعریف - اتحاد کا کیا مطلب ہے؟
کمپیوٹر سائنس اور منطق میں ، اتحاد ایک الگورتھم عمل ہے جو علامتی تاثرات شامل مساوات کو حل کرنے میں استعمال ہوتا ہے۔ دوسرے الفاظ میں ، کچھ ضمنی اظہار متغیرات کو دوسرے اظہار کے ساتھ تبدیل کرکے ، اتحاد دو علامتی اظہار کی شناخت کرنے کی کوشش کرتا ہے۔ یکجہتی کا استعمال خودکار استدلال کرنے والی ٹکنالوجی میں ہوتا ہے ، جو اتحاد کے اہم اطلاق میں سے ایک ہے۔
یکجہتی کا اطلاق عمل میں ہوتا ہے جیسے کہ:
- پروگرامنگ زبان کی قسم کا نظام لاگو کرنا
- منطق پروگرامنگ
- ایس ایم ٹی حل کرنے والے
- کریپٹوگرافک پروٹوکول تجزیہ
- اصطلاحی دوبارہ تحریری الگورتھم
اتحاد ان بنیادی تکنیک میں سے ایک ہے جس پر خود کار کٹوتی کے طریقوں پر مبنی ہیں۔
ٹیکوپیڈیا نے یونیفیکیشن کی وضاحت کی
اصطلاح "یکجہتی" اور اس کے خیال کی وجہ جان ایلن رابنسن سے منسوب کی جاسکتی ہے۔ انہوں نے اتحاد کو اپنے ریزولوشن اصول کے بنیادی عمل کے طور پر استعمال کیا اور یہ بھی ظاہر کیا کہ متحد شرائط میں زیادہ سے زیادہ ایک عام یکساں ہونا ہوتا ہے۔ اتحاد کے متعدد فریم ورک ان امتیازات کی بنیاد پر مختلف ہیں جو اتحاد کے مسئلے میں پائے جاتے ہیں۔ پہلا آرڈر یکجہتی ایک ہے جس میں اظہار خیالات میں اعلی آرڈر متغیر (متغیرات کی نمائندگی کرنے والے متغیرات) کی اجازت ہے۔ مفت یکجہتی یا مصنوعی اتحاد ایک ایسا ہے جس میں مساوات کے دونوں اطراف کو مساوی بنانے کے لئے ایک حل کی ضرورت ہے۔
اتحاد کے مسئلے کا حل متبادل کے ذریعہ دکھایا گیا ہے ، جو اس مسئلے کے تاثرات میں شامل ہر متغیر کی علامتی قدر کی نقشہ سازی ہے۔ دوسرے الفاظ میں ، اتحاد کی بنیادی توجہ دو دی گئی شرائط کو متحد کرنے کے لئے متبادل کی تلاش کرنا ہے۔ اعلی یکساں الگورتھم سے توقع کی جاتی ہے کہ وہ دیئے گئے مسئلے کے لئے کم سے کم اور مکمل متبادل سیٹ (فالتو ممبروں کے ساتھ تمام متعلقہ حل نہ رکھنے والا سیٹ) فراہم کرے۔ دوسرے الفاظ میں ، اتحاد صرف دیئے گئے اتحاد کے حل ہونے میں ہی دلچسپی نہیں رکھتا ہے اگر مسئلہ ہو تو بلکہ اگر قابل حل بھی ہو تو ، انتہائی عام یونیفارم کی کمپیوٹنگ میں۔
اتحاد کو بنیادی بات سمجھا جاتا ہے:
- طولانی عمل
- مصنوعی ذہانت پر مبنی ماہر نظام
- فنکشنل زبانوں میں نمونہ ملاپ
- کچھ تجزیہ نقطہ نظر
- کشش ڈیٹا بیس
- قدرتی زبان کی کارروائی
- نظریاتی محاورے
- تخمینہ الگورتھم ٹائپ کریں
