Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines free ebook download.

Home : Book details

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines free ebook download

Category:
Other Engineering

Views: 69
Likes: 7

Catalogue

Author(s):	Louise A. Dennis

Date:	2021	Format:	pdf	Language:	English	ISBN/ASIN:	1108484999
Pages:	410	OCR:		Quality:		ISBN13:
Uploader:	eternal	Upload Date:	6/22/2023 8:20:40 AM

To download click on link in the Links Table below

Description: Click to see full description

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.
Read more

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
3171626	Book	https://nitroflare.com/view/45EC5B7CFCDF...		0.00	eternal

Tags: Agents Assurance Autonomous Decisions Made Provide Rational Systems Using Verifiable

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:
Comments

New comment: