سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

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

Publish Year: 1398
Type: Conference paper
Language: Persian
View: 1,143

This Paper With 13 Page And PDF Format Ready To Download

این Paper در بخشهای موضوعی زیر دسته بندی شده است:

Export:

Link to this Paper:

Document National Code:

ICRSIE04_005

Index date: 5 October 2019

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

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

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

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

زهرا کرباسی معروف

دانشجوی ارشد، دانشکده مهندسی فناوری اطلاعات و کامپیوتر، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران

حسن شاکری

استادیار، دانشگاه آزاد اسلامی واحد مشهد، گروه مهندسی کامپیوتر، مشهد، ایران

حمیدرضا محروقی

استادیار، گروه مهندسی کامپیوتر، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران

مقاله فارسی "بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی" توسط زهرا کرباسی معروف، دانشجوی ارشد، دانشکده مهندسی فناوری اطلاعات و کامپیوتر، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران؛ حسن شاکری، استادیار، دانشگاه آزاد اسلامی واحد مشهد، گروه مهندسی کامپیوتر، مشهد، ایران؛ حمیدرضا محروقی، استادیار، گروه مهندسی کامپیوتر، دانشگاه بین المللی امام رضا (ع)، مشهد، ایران نوشته شده و در سال 1398 پس از تایید کمیته علمی چهارمین کنفرانس بین المللی پژوهش در علوم و مهندسی پذیرفته شده است. کلمات کلیدی استفاده شده در این مقاله روشهای صوری، منطق شناختی، اعتبارسنجی، ربات آتشنشان، سیستم پیشنهاد دهنده، اعتماد هستند. این مقاله در تاریخ 13 مهر 1398 توسط سیویلیکا نمایه سازی و منتشر شده است و تاکنون 1143 بار صفحه این مقاله مشاهده شده است. در چکیده این مقاله اشاره شده است که امروزه با توجه به گستردگی حوزه های مختلف از جمله علوم و مهندسی کامپیوتر، اهمیت وجود روشهای صوری، که با استفاده از منطق و جبر به اثبات مسائل موجود، توصیف و ارزیابی راهکارها میپردازد،ن به شدت احساس میشود. بسیاری از مسائل و راهکارها در حالت واقعی ناممکن هستند و تنها بر اساس فرضیه ها و سناریوها شکل میگیرند. در این ... . این مقاله در دسته بندی موضوعی سازمان آتش نشانی و سیستم پیشنهاد دهنده طبقه بندی شده است. برای دانلود فایل کامل مقاله بررسی اهمیت روشهای صوری در حوزه ی مهندسی کامپیوتر و تحلیل و توصیف مساله ربات آتش نشان با استفاده از روش صوری منطق شناختی با 13 صفحه به فرمت PDF، میتوانید از طریق بخش "دانلود فایل کامل" اقدام نمایید.