Gespeichert in:
| Beteilige Person: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, United Kingdom New York, NY, USA
Cambridge University Press
2023
|
| Links: | https://doi.org/10.1017/9781108755023 |
| Zusammenfassung: | 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. |
| Umfang: | 1 Online-Ressource (xi, 378 Seiten) |
| ISBN: | 9781108755023 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781108755023 | ||
| 003 | UkCbUP | ||
| 005 | 20230529022329.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 181204s2023||||enk o ||1 0|eng|d | ||
| 020 | |a 9781108755023 | ||
| 100 | 1 | |a Dennis, Louise | |
| 245 | 1 | 0 | |a Verifiable autonomous systems |b using rational agents to provide assurance about decisions made by machines |c Louise A. Dennis, University of Manchester, Michael Fisher, University of Manchester |
| 264 | 1 | |a Cambridge, United Kingdom |a New York, NY, USA |b Cambridge University Press |c 2023 | |
| 300 | |a 1 Online-Ressource (xi, 378 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 520 | |a 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. | ||
| 700 | 1 | |a Fisher, Michael |d 1962- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781108484992 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781108755023 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781108755023 |
|---|---|
| _version_ | 1832177778498207745 |
| adam_text | |
| any_adam_object | |
| author | Dennis, Louise |
| author2 | Fisher, Michael 1962- |
| author2_role | |
| author2_variant | m f mf |
| author_facet | Dennis, Louise Fisher, Michael 1962- |
| author_role | |
| author_sort | Dennis, Louise |
| author_variant | l d ld |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01922nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781108755023</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20230529022329.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">181204s2023||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108755023</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dennis, Louise</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifiable autonomous systems</subfield><subfield code="b">using rational agents to provide assurance about decisions made by machines</subfield><subfield code="c">Louise A. Dennis, University of Manchester, Michael Fisher, University of Manchester</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, United Kingdom</subfield><subfield code="a">New York, NY, USA</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 378 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fisher, Michael</subfield><subfield code="d">1962-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781108484992</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781108755023</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781108755023 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-15T09:21:30Z |
| institution | BVB |
| isbn | 9781108755023 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xi, 378 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Dennis, Louise Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, University of Manchester, Michael Fisher, University of Manchester Cambridge, United Kingdom New York, NY, USA Cambridge University Press 2023 1 Online-Ressource (xi, 378 Seiten) txt c cr 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. Fisher, Michael 1962- Erscheint auch als Druck-Ausgabe 9781108484992 |
| spellingShingle | Dennis, Louise Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines |
| title | Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines |
| title_auth | Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines |
| title_exact_search | Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines |
| title_full | Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, University of Manchester, Michael Fisher, University of Manchester |
| title_fullStr | Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, University of Manchester, Michael Fisher, University of Manchester |
| title_full_unstemmed | Verifiable autonomous systems using rational agents to provide assurance about decisions made by machines Louise A. Dennis, University of Manchester, Michael Fisher, University of Manchester |
| title_short | Verifiable autonomous systems |
| title_sort | verifiable autonomous systems using rational agents to provide assurance about decisions made by machines |
| title_sub | using rational agents to provide assurance about decisions made by machines |
| work_keys_str_mv | AT dennislouise verifiableautonomoussystemsusingrationalagentstoprovideassuranceaboutdecisionsmadebymachines AT fishermichael verifiableautonomoussystemsusingrationalagentstoprovideassuranceaboutdecisionsmadebymachines |