|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Verifiable Autonomous Systems - Using Rational Agents to Provide Assurance about Decisions Made by Machines (Hardcover)
Loot Price: R2,140
Discovery Miles 21 400
|
|
|
Verifiable Autonomous Systems - Using Rational Agents to Provide Assurance about Decisions Made by Machines (Hardcover)
Expected to ship within 12 - 17 working days
|
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
