Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines
Published on 8. June 2023
Book
Hardback
392 pages
978-1-108-48499-2 (ISBN)
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.
More details
Language
English
Place of publication
Cambridge
United Kingdom
Target group
College/higher education
Product notice
sewn/stitched
Cloth over boards
Illustrations
Worked examples or Exercises
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 22 mm
Weight
689 gr
ISBN-13
978-1-108-48499-2 (9781108484992)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Louise A. Dennis | Michael Fisher
Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines
E-Book
05/2023
Cambridge University Press
€92.49
Available for download
Persons
Dr Louise Dennis is leader of the Autonomy and Verification research group at the University of Manchester and conference coordinator for the ACM Special Interest Group for Artificial Intelligence. She studied Mathematics and Philosophy at the University of Oxford and received her PhD from the University of Edinburgh in using AI techniques to prove mathematical theorems; her interest in the overlap between Mathematics, Philosophy and Artificial Intelligence has continued ever since. Her current research encompasses the programming of autonomous systems, the development of agent programming languages, reasoning about systems and programs via formal mathematical techniques, and the ethical implications of Artificial Intelligence. Beyond the university setting, Dr Dennis is active in public engagement and spends a lot of time taking Lego Robots into schools to introduce robotics programming to children.
Content
1. Introduction; Part I. Foundations: 2. Autonomous systems architectures; 3. Agent decision maker; 4. Formal agent verification; 5. Verifying autonomous systems; 6. Agent-based autonomous system verification; Part II. Applications: 7. Multi-agent auctions; 8. Autonomous satellite control; 9. Certification of unmanned air systems; 10. Ethical decision making; Part III. Extensions: 11. Compositional verification - widening our view beyond the agent; 12. Runtime verification - recognising abstraction violations; 13. Utilising external model-checkers; Part IV. Concluding Remarks: 14. Verifiable autonomous systems; 15. The future; Appendix A. Gwendolen documentation; Appendix B. AIL toolkit documentation; Appendix C. AJPF documentation; Bibliography; Index.