Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Verifiable Autonomous Systems
- Using Rational Agents to Provide Assurance about Decisions Made by Machines
Engelsk
Bogcover for Verifiable Autonomous Systems af Michael Fisher, Louise A. Dennis, 9781108484992
Specifikationer
Sprog:
Engelsk
Sider:
392
ISBN-13:
9781108484992
Indbinding:
Hardback
ISBN-10:
1108484999
Kategori:
Udg. Dato:
8 jun 2023
Størrelse i cm:
15,8 x 23,6 x 2,8
Oplagsdato:
8 jun 2023

Verifiable Autonomous Systems

- Using Rational Agents to Provide Assurance about Decisions Made by Machines
Engelsk
Hardback 2023
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
815,53 kr
Hos Booktok
724 kr
spar 11%
Læg i kurv nu
Fri fragt over 499,-
90 dages retur
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
392
ISBN-13:
9781108484992
Indbinding:
Hardback
ISBN-10:
1108484999
Kategori:
Udg. Dato:
8 jun 2023
Størrelse i cm:
15,8 x 23,6 x 2,8
Oplagsdato:
8 jun 2023
Finder produkter...
Kategori sammenhænge