موضوع فارسی : تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل
موضوع انگلیسی : Formal verification of ethical choices in autonomous systems
تعداد صفحه : 14
فرمت فایل :pdf
سال انتشار : 2015
زبان مقاله : انگلیسی
چکیده
سیستم های مستقل: مانند وسایل نقلیه بدون سرنشین شروع به در جامعه به کار گیرند. همه شرکت کنندگان
در جامعه مورد نیاز به دنبال مقررات و قوانین ویژه. یک سیستم مستقل نمی تواند باشد
استثناء است. به ناچار یک سیستم مستقل خواهد شد و خود را در وضعیتی که در آن به نه تنها نیاز
را انتخاب کنید به اطاعت یک قاعده یا نیست، بلکه تصمیم گیری های پیچیده اخلاقی است. با این حال، وجود ندارد آشکار وجود دارد
پیاده سازی راه را برای درک بشر از رفتار اخلاقی در رایانه است. حتی اگر ما را قادر می سازد
سیستمهای مستقل به تشخیص تر و کمتر جایگزین اخلاقی، چگونه می توانیم مطمئن شوید که
که آنها را انتخاب کنید راست؟ از نظر ما سیستم های مستقل با معماری ترکیبی که در آن
بالاترین سطح از استدلال است که توسط یک (BDI) فاعل عقلانی اجرا می شود. چنین سیستمی برای تأیید رسمی شما
با موفقیت مورد استفاده تا ثابت کند که قوانین خاص از رفتار مشاهده می هنگامی که ساخت decisions.We
یک چارچوب نظری برای انتخاب اخلاقی که می تواند به طور رسمی طرح verified.We به پیاده سازی پیشنهاد
که شامل یک فاعل عقلانی در انتخاب طرح خود را داده و سیاست اخلاقی نشان می دهد که ما به طور رسمی می توانید
که منظور بررسی عامل را اجرا، به بهترین عقاید خود، طرح اخلاقی ترین در دسترس است.
کلمات کلیدی:
سیستم های مستقل
اخلاق
برنامه های BDI
تأیید رسمی
دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل
نویسند‌گان: جواد طریقی ، سیدسعید محتسبی
