فایل پی دی اف کامل مقاله تأیید رسمی انتخابهای اخلاقی در سیستمهای خودمختار PDF

توجه : این فایل به صورت فایل PDF (پی دی اف) ارائه میگردد

 فایل پی دی اف کامل مقاله تأیید رسمی انتخابهای اخلاقی در سیستمهای خودمختار PDF دارای ۱۴ صفحه می باشد و دارای تنظیمات و فهرست کامل در PDF می باشد و آماده پرینت یا چاپ است

فایل پی دی اف فایل پی دی اف کامل مقاله تأیید رسمی انتخابهای اخلاقی در سیستمهای خودمختار PDF  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی فایل پی دی اف کامل مقاله تأیید رسمی انتخابهای اخلاقی در سیستمهای خودمختار PDF،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن فایل پی دی اف کامل مقاله تأیید رسمی انتخابهای اخلاقی در سیستمهای خودمختار PDF :

دانلود فایل پی دی اف کامل مقاله تأیید رسمی انتخابهای اخلاقی در سیستمهای خودمختار PDF

موضوع انگلیسی:Formal verification of ethical choices in autonomous systems
زبان: انگلیسی
فرمت فایل: pdf
تعداد صفحه:۱۴
سال انتشار: ۲۰۱۵

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