خط مهندسی
مجله ی آنلاین مهندسی

کتاب Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines اثر Louise A. Dennis, Michael Fisher انتشارات مؤلفین طلایی

4.310.000 

۷ روز ضمانت بازگشت کالا

ﺗﺤﻮﯾﻞ اﮐﺴﭙﺮس

ﺿﻤﺎﻧﺖ اﺻﻞ ﺑﻮدن ﮐﺎﻟﺎ

شناسه محصول: 12778585 دسته:

توضیحات

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

نویسنده Louise A. Dennis, Michael Fisher
ناشر مؤلفین طلایی
موضوع کامپیوتر
قطع وزیری
نوع جلد شومیز
نوع کاغذ تحریر
تعداد صفحه ۳۹۱