دانلود نمونه سوالات چهار گزینه ای تستی زبان انگلیسی شامل 330 سوال

اختصاصی از فی لوو دانلود نمونه سوالات چهار گزینه ای تستی زبان انگلیسی شامل 330 سوال دانلود با لینک مستقیم و پر سرعت .

دانلود نمونه سوالات چهار گزینه ای تستی زبان انگلیسی شامل 330 سوال پر تکرار در آزمونهای استخدامی و ..... همراه با پاسخنامه

دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل

اختصاصی از فی لوو دانلود مقالهISI تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی : تأیید رسمی از گزینه های اخلاقی در سیستم های مستقل

موضوع انگلیسی : Formal verification of ethical choices in autonomous systems

تعداد صفحه : 14

فرمت فایل :pdf

سال انتشار : 2015

زبان مقاله : انگلیسی

چکیده

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

کلمات کلیدی:
سیستم های مستقل
اخلاق
برنامه های BDI
تأیید رسمی