Verifiable Autonomous Systems

可验证的自主系统:使用理性智能体为机器做出的决策提供保证

光电子学与激光技术

售   价:
696.00
发货周期:国外库房发货,通常付款后3-5周到货!
作      者
出  版 社
出版时间
2023年04月01日
装      帧
精装
ISBN
9781108484992
复制
页      码
410
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
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.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个