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

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

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

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

---

زبان مقاله : فارسی
محور مقاله : چهارمین کنفرانس پژوهش در علوم و مهندسی / علوم مهندسی
محل انتشار : چهارمین کنفرانس بین المللی پژوهش در علوم و مهندسی و کنگره بین المللی عمران، معماری و شهرسازی آسیا
آدرس وب سایت کنفرانس : 4icrsie.com
کد IOI مقاله : XAGA-DADKH
لینک مستقیم مقاله : https://isnac.ir/XAGA-DADKH
نمایش چکیده انگلیسی : https://isnac.ir/SA/XAGA-DADKH

سایر مقالات ارائه دهنده

1. تحولات اخیر در سیستم های پیشنهاد دهنده مبتنی بر فیلترمشارکتی (مروری)
2. اهمیت روش های صوری در مهندسی کامپیوتر و تحلیل مسأله ربات آتش نشان با استفاده از منطق شناختی
3. Improving the Accuracy of Recommendations and Trust in Collaborative Filtering Approach using LBG Clustering, Levy, and Chaotic Fruit Fly Algorithms

سایر مقالات محل انتشار

1. اهمیت روش های صوری در مهندسی کامپیوتر و تحلیل مسأله ربات آتش نشان با استفاده از منطق شناختی
2. بررسی اثرپذیری مقاومت برشی خاک ماسه ای توسط الیاف شیشه ای
3. Application of Convolution and Auto-Encoder Neural-Networks in Medical-Equipment and Soft-Sensors Based on Deep-Learning Approach
4. نگاهی به تغیراتی سبکی ادبیات معاصر با محوریت ادبیات داستانی
5. تحلیل و ارزیابی روش های آسیب پذیری کیفی آب های زیرزمینی
6. Study of adding piles to the nailing system as a retaining structure
7. واکاوی مفهوم نظری پدیده خرابکاری اجتماعی و ارائه راهکارهای عملی جهت کاستن و جلوگیری از آن
8. زمینه گرایی، راهکاری در راستای تقویت و ارتقاء توسعۀ پایدار شهری در ساخت و سازهای امروز
9. The use of Artificial Neural Networks For Modeling of Removal of Heavy Metals From Water through Phytoremediation
10. قرارداد هوشمند اتریوم (مورد مطالعه : حقوق ایران)
11. بررسی رفتار و پایداری دیواره گود تسلیح شده با استفاده از روش میخکوبی تحت اثر انفجار و تشدید در لایه خاک رسی (مطالعه موردی:مجتمع تجاری ـ اداری دوستان شیراز)
12. بررسی تنش گود تسلیح شده با استفاده از روش نیلینگ تحت اثر انفجار و تشدید در لایه خاک رسی (مطالعه موردی:مجتمع تجاری _ اداری دوستان شیراز)
13. Investigation of Plasma C-peptide level in Prostate Cancer
14. اصول کنترل سیما و منظر و نظم بصری در شهرسازی مبتنی بر حمل و نقل همگانی
15. بهبود الگوریتم دسته جمعی کلاغ با استفاده از عملگرهای زادآوری