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