SULJE VALIKKO

avaa valikko

Louise A. Dennis | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
Louise A. Dennis; Michael Fisher
Cambridge University Press (2023)
Kovakantinen kirja
86,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected
Louise A. Dennis; Rafael H. Bordini; Yves Lespérance
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
54,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Organizational Semiotics - Multimodal Perspectives on Organization Studies
Louise Ravelli; Theo van Leeuwen; Markus A. Höllerer; Dennis Jancsary
Taylor & Francis Ltd (2023)
Kovakantinen kirja
141,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Organizational Semiotics - Multimodal Perspectives on Organization Studies
Louise Ravelli; Theo van Leeuwen; Markus A. Höllerer; Dennis Jancsary
Taylor & Francis Ltd (2024)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
86,10 €
Cambridge University Press
Sivumäärä: 410 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2023, 08.06.2023 (lisätietoa)
Kieli: Englanti
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machineszoom
Näytä kaikki tuotetiedot
ISBN:
9781108484992
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste