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

زهرا کرباسی معروف¹ حسن شاکری² حمیدرضا محروقی³

1) دانشجوی کارشناسی ارشد مهندسی کامپیوتر گرایش رایانش امن، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران -
2) استادیار، دانشگاه آزاد اسلامي واحد مشهد، گروه مهندسي كامپيوتر، مشهد، ايران -
3) استادیار، دانشگاه بین المللی امام رضا (ع)، گروه مهندسي كامپيوتر، مشهد، ايران -

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