خودکار استدلال ایک ابھرا ہوا تصور ہے جو اب بھی اس کے نوزائیدہ مرحلے میں ہے۔ یہ کمپیوٹر سائنس اور ریاضیاتی منطق کی ایک شاخ ہے جو استدلال کے مختلف پہلوؤں کی ترجمانی کرنے کے لئے وقف ہے۔ تو ، خودکار استدلال یا خودکار استدلال سافٹ ویئر کس طرح مدد کرتا ہے؟

خودکار استدلال کا استعمال ایسے کمپیوٹر پروگراموں کو تیار کرنے کے لئے کیا جاتا ہے جو مشینوں کو خود بخود پوری طرح ، یا پوری طرح سے استدلال کرنے کے اہل بناتے ہیں۔ اس سے قطع نظر کہ مصنوعی ذہانت کے متبادل ڈومین کے طور پر اس پر غور کیا جائے ، اس کا تعلق فلسفہ اور نظریاتی کمپیوٹر سائنس دونوں سے ہے۔

خودکار نظریے کو ثابت کرنے اور خود کار طریقے سے پروف کی جانچ پڑتال خود بخود استدلال کا سب سے بڑا تیار کردہ ذیلی فیلڈ ہے۔ اگرچہ خودکار نظریے کو ثابت کرنے والے خود کار طریقے سے کم ہیں ، لیکن اس کے باوجود یہ انٹرایکٹو تھیوریج ثابت کرنے کا ایک زیادہ موثر سب ویریا ہے۔ غیر یقینی اور غیر اجارہ دارانہ استدلال اس شعبے کے دیگر عنوانات میں شامل ہیں۔

دلیل غیر یقینی صورتحال کا ایک اہم حصہ بناتا ہے جس میں کم سے کم اور مستقل مزاجی کی اضافی حد شامل ہے۔ یہ حدود زیادہ باقاعدگی سے خود کار کٹوتی کے علاوہ بھی نافذ ہیں ، مثال کے طور پر جان پولک کے او ایس سی آر کے طریقہ کار سے۔

بائیسیئن کا تخمینہ ، فجی منطق ، روایتی منطق ، اور کیلکولی ، وغیرہ خودکار استدلال کے کچھ اوزار اور طریقے ہیں۔

خودکار استدلال کی تاریخ

مصنوعی ذہانت کی ترقی سے پہلے ، خودکار استدلال کے میدان میں باضابطہ منطق کا ایک بڑا حصہ تھا۔ در حقیقت ، باضابطہ منطق مصنوعی ذہانت کی ترقی کا باعث بنی۔ ایک گواہی جہاں ریاضی کے بنیادی محوروں کے ساتھ تمام منطقی استدلال کا اندازہ کیا گیا ہے اسے باضابطہ ثبوت کہا جاتا ہے۔

یہاں ، جب کہ تمام منطقی نکات کو کسی رعایت کے ساتھ پیش کیا گیا ہے ، بہرحال کسی بھی طرح کی التجا نہیں کی جاتی ہے۔ یہ اس حقیقت کے باوجود ہے کہ جبلت سے منطق تک ترجمہ کرنے کا عمل معمول کی بات ہے۔ اس سے یہ ثابت ہوتا ہے کہ باقاعدہ ثبوت زیادہ جوابدہ نہیں ہے اور منطقی غلطیوں کا بھی کم خطرہ ہے۔

• بھی پڑھیں: سی ++ سیکھنے کے ل the بہترین سافٹ ویئر کیا ہیں؟

خودکار استدلال کی پیدائش

کچھ کا خیال ہے کہ خودکار استدلال 1957 میں مشہور کارنل سمر کنونشن سے شروع ہوا تھا۔ دوسروں کا خیال ہے کہ اس کی ابتدا نیویل کے منطق تھیوریسٹ پروگرام کے ذریعے 1955 میں ہوئی تھی۔

خودکار استدلال کا اطلاق

خودکار کٹوتی بنیادی طور پر خودکار نظریاتی پروورس کو تیار کرنے کے لئے استعمال کی گئی ہے۔ تاہم ، عام طور پر تھیورم پروور پروف پروف اسسٹنٹس کے طور پر کام کرتے ہیں کیونکہ وہ کچھ انسانی رہنمائی کو موثر ہونے کا مطالبہ کرتے ہیں۔ F

یا مثال کے طور پر ، منطق تھیوریسٹ نے نظریے کو ثابت کرنے کے لئے طریقے متعارف کرائے ہیں۔ اس نے پرنسیپیا میتھیمیٹا میں ایک نظریہ کے لئے گواہی پیدا کر کے یہ کام کیا جو زیادہ موثر تھا۔ اس نے وائٹ ہیڈ اور رسل کے فراہم کردہ ثبوت کے برخلاف کم اقدامات کا مطالبہ کیا۔

خودکار سافٹ ویر آہستہ آہستہ قبضہ کر رہا ہے اور ایک خودکار استدلال والا سافٹ ویئر باضابطہ منطق میں بڑھتی ہوئی پریشانیوں کو حل کرنے میں مدد کرتا ہے۔ اس سے ریاضی اور کمپیوٹر سائنس ، منطق پروگرامنگ ، سافٹ ویئر اور ہارڈ ویئر کی توثیق ، ​​اور بہت کچھ حل کرنے میں بھی مدد ملتی ہے۔

تو ، آئیے ابھرتے ہوئے خودکار کٹوتی کے ٹولز کے بارے میں بات کریں جو تجزیہ الگورتھم اور منطق سے متعلقہ مسائل کو حل کرنے میں مدد کرتے ہیں۔

آج ہی آزمانے کیلئے 2 خودکار استدلال سافٹ ویئر

بانڈرا

بنڈرا پروجیکٹ کو عملی طور پر محدود ریاستی سافٹ ویئر کی توثیق کے راستے میں ایک اہم رکاوٹ کا خیال رکھنے کے لئے ڈیزائن کیا گیا ہے۔ ایس ایم وی اور اسپن وہ ٹولز ہیں جو ایک ان پٹ کے بطور ایک محدود ریاست کی منتقلی کے ڈھانچے کی تصویر حاصل کرتے ہیں۔

یہ ماخذ کوڈ کے بطور بیان کردہ لامحدود ریاست کے سافٹ ویئر سسٹم کے مابین معنوی خلا کو پُر کرتا ہے۔ ٹول بھرنے والی زبانوں کو بہتر پروگرام اسٹڈی ، تجریدی اور تبدیلی کے طریقوں پر عمل درآمد کی ضرورت ہے۔

اس خودکار سوفٹویئر کا مقصد موجودہ پروگرامنگ لینگویج پروسیسنگ کے طریقوں کو نئی تخلیق کردہ تکنیک کے ساتھ ہم آہنگ کرنا ہے۔ یہ تراکیب محفوظ ، چھوٹے ، محدود ریاست کے پروٹو ٹائپس کو ہٹانے کے لئے خودکار تعاون کی پیش کش کرتی ہیں جو جاوا سورس کوڈ سے تصدیق کے ل perfect بہترین ہیں۔

سافٹ ویئر کے ذریعہ پیش کردہ ٹول سیٹ ایک کھلا فریم ورک مہیا کرتا ہے جہاں مختلف تفتیش اور تبدیلی یونٹ شامل کیے جاسکتے ہیں۔

بھی پڑھیں:

• 5 بہترین آواز سے چلنے والا گھریلو آٹومیشن سافٹ ویئر

ریاضی 5

ریاضی 4 ، میتسات 5 کا ایک اولاد ایک موثر خودکار استدلال سافٹ ویئر ہے جو ایس ایم ٹی (اطمینان بخش موڈیولو تھیوریز) کے حل کے لئے کام کرتا ہے۔

یہ متعدد نظریات کی تائید کرتا ہے جس میں مساوات اور نامعلوم خصوصیات ، لکیری ریاضی وغیرہ شامل ہیں ، اور ایسی خدمات جن میں نامکمل کوروں کو ختم کرنا ، ثبوتوں اور ماڈلز کی تشکیل ، اور بہت کچھ شامل ہے۔

نتیجہ اخذ کرنا

چاہے آپ سافٹ ویئر انجینئرنگ فیلڈ سے ہوں یا کوالٹی اور سیکیورٹی سافٹ ویئر سسٹم کے فیلڈ سے ، خودکار استدلال سافٹ ویئر قابل اطلاق ریاضی کو ڈی کوڈ کرنے کا بہترین ٹول ہے۔

لہذا ، آج ان پروگراموں کو نافذ کرکے اپنی زندگی اور منطقی عملوں کو آسان بنائیں۔