بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی

امروزه با توجه به گستردگی حوزه های مختلف از جمله علوم و مهندسی کامپیوتر، اهمیت وجود روشهای صوری، که با استفاده از منطق و جبر به اثبات مسائل موجود، توصیف و ارزیابی راهکارها میپردازد،ن به شدت احساس میشود. بسیاری از مسائل و راهکارها در حالت واقعی ناممکن هستند و تنها بر اساس فرضیه ها و سناریوها شکل میگیرند. در این صورت است که با استفاده از روشهای صوری و فرمال میتوان به اثبات مسائل و منطقی بودن راهکارها در دنیای واقعی پرداخت. اما متاسفانه با وجود اهمیت بالای این موضوع، در بسیاری از حوزه ها این تکنیک هنوز مورد استفاده قرار نگرفته است. با اینحال این نوع توصیف و ارزیابی توانسته است در حوزه هایی نظیر امنیت اطلاعات و پروتکلها، شبکه های کامپیوتری، پردازش تصاویر پزشکی، رباتیک مورد استفاده قرار گیرد. در واقع در مدلسازیهای صوری، تعدادی عامل وجود دارد که با هم به تبادل اطلاعات میپردازنند و بر سر منابع موجود رقابت و ائتلاف میکنند و حتی برای انجام برخی کارها متعهد میشوند. ما با تعیین روابط موجود، اعلانهای عمومی و خصوصی و نیز موارد دیگری که براساس منطق و جبر هستند، میتوانیم عمل ارزیابی را انجام دهیم. در این مقاله، ما به بیان اهمیت روشهای صوری و نقش آنها، بررسی منطق شناختی در حوزه های مختلف کامپیوتری، تحلیل و توصیف سناریوی ربات آتشنشان با منطق شناختی نیز میپردازیم. هدف و سوال اصلی که میتوان مطرح کرد این است با توجه به اهمیت فراوان روشهای صوری، چرا از آن در تمامی حوزه ها جهت توصیف، ارزیابی و اعتبارسنجی منطقی نیز استفاده نمیشود

کلیدواژه ها:

روشهای صوری ، منطق شناختی ، اعتبارسنجی ، ربات آتشنشان ، سیستم پیشنهاد دهنده ، اعتماد