موضوع فارسی : تأیید عرفی از گزینه های اخلاقی در جهاز های مستقل موضوع انگلیسی : Formal verification of ethical choices in autonomous systemsتعداد صفحه : 14فرمت فایل :pdfسال انتشار : 2015زبان مقاله : انگلیسیچکیده سیستم های مستقل: مانند وسایل نقلیه بدون سرنشین شروع به در جامعه به کار گیرند. تمام کارتل کنندگان در جامعه مورد نیاز به دنبال مقررات و قوانین ویژه. یک سیستم مستقل نمی تواند باشد استثناء است. به لابد یک سیستم آزاد خواهد شد و خود را در وضعیتی که در آن به نه تنها نیاز را انتخاب کنید ...