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

توضیحات

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