Louise A. Dennis, Michael Fisher Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines 9781108484992

Варианты приобретения

Цена: 73910.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Англия: 1 шт. Склад Америка: 238 шт.
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября

Добавить в корзину

в Мои желания

Автор: Louise A. Dennis, Michael Fisher
Название: Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
ISBN: 9781108484992
Издательство: Cambridge Academ
Классификация:

Робототехника

Операционные системы

Архитектура и логическое построение вычислительных систем

Искусственный интеллект

ISBN-10: 1108484999
Обложка/Формат: Hardback
Страницы: 410
Вес: 0.47 кг.
Дата издания: 08.06.2023
Язык: English
Иллюстрации: Worked examples or exercises
Размер: 234 x 157 x 27
Читательская аудитория: General (us: trade)
Ключевые слова: Artificial intelligence,Computer architecture & logic design,Operating systems,Robotics, COMPUTERS / Software Development & Engineering / Computer Graphics
Подзаголовок: Using rational agents to provide assurance about decisions made by machines
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent toolkit Gwendolen, written in Java.

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines, Louise A. Dennis, Michael Fisher