Verifiable Autonomous Systems - Using Rational Agents to Provide Assurance about Decisions Made by Machines (Hardcover)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Release date:	April 2023
Authors:	Louise A. Dennis • Michael Fisher
Format:	Hardcover
Pages:	410
ISBN-13:	978-1-108-48499-2
Categories:	Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics Promotions
LSN:	1-108-48499-9
Barcode:	9781108484992

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!