جستجو

  1. صفحه اصلی
  2. مقالات
  3. جستجو

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

زهرا کرباسی معروف1 حسن شاکری2 حمیدرضا محروقی3

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

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

گواهی دیجیتال(دانلودی) گواهی چاپی لوح نمایه مقاله
مقالات مشابه
  1. دهکده آرامش بانوان مناطق شمال ایران بارویکردروانشناسی محیط
  2. بررسی و تحلیل برنامه های شهر دوستدار کودک با استفاده از مدل swot (نمونه مورد مطالعه:منطقه 6 تهران)
  3. بررسی ایستگاه مترو با رویکرد اکوتکنولوژیک وتاثیر آن در مصرف انرژی (مطالعه موردی : تهران- سوئد )
  4. رابطه مدیریت نوین روستایی با توسعه روستایی
  5. تخمین رسوب معلق بااستفاده از مقایسه مدل شبکه عصبی مصنوعی
  6. بررسی ضرورت طراحی باغ سا لمندان و تاثیر آن بر جامعه ایرانی با تاکید بریادآوری خاطرات وامیدبه زندگی
  7. تدوین مدلی برای مدیریت محلات شهر تهران
  8. بررسی جامعه شناختی عوامل موثر بر احساس امنیت شهروندان (مطالعه موردی شهروندان خلخال در سال 1394)
  9. بررسی عوامل موثر برتحول فرهنگ سازمانی (مطالعه موردی: بانک انصار استان آذربایجان غربی)
  10. (ارزیابی برنامه های آموزشی مسئولیت پذیری دانش آموزان
  11. بررسی سرمایه های اجتماعی و هویت فرهنگی درصلح وامنیت بین المللی
  12. Assessment, Importance and application of premarital counseling and education: an analytical review of past researches
  13. مسئولیت شورای امنیت در قبال قطعنامه های صادره علیه ایران
  14. بررسی خودکارآمدی، تاب آوری، ترس از ارزیابی منفی، تمرکز و شرایط محیطی نوجوانان تیزهوش و عادی در دبیرستان های شهر رشت
  15. بازتاب اعتقادات مذهبی و عملکرد های دینی در افزایش سلامت روان
سایر مقالات ارائه دهنده
  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. بهبود الگوریتم دسته جمعی کلاغ با استفاده از عملگرهای زادآوری