论文标题
指定可信度
On Specifying for Trustworthiness
论文作者
论文摘要
随着自主系统（AS）越来越多地成为我们日常生活的一部分，确保他们的可信度至关重要。为了证明AS的可信赖性，我们首先需要指定被视为值得信赖的所需的内容。该路线图论文确定了指定AS的可信赖性的关键挑战，如在英国研究与创新（UKRI）可信度自主系统（TAS）计划的“指定值得信赖”研讨会中所确定的。考虑到弹性，信任，功能，可验证性，安全性和治理以及对AS的调节，并确定这些领域中的一些关键规范挑战，我们将遍历一系列域名。然后，我们强调指定在跨领域中指定可信赖性的智力挑战，并因需要操作的环境所涉及的固有的不确定性而加剧。
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered trustworthy. This roadmap paper identifies key challenges for specifying for trustworthiness in AS, as identified during the "Specifying for Trustworthiness" workshop held as part of the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems (TAS) programme. We look across a range of AS domains with consideration of the resilience, trust, functionality, verifiability, security, and governance and regulation of AS and identify some of the key specification challenges in these domains. We then highlight the intellectual challenges that are involved with specifying for trustworthiness in AS that cut across domains and are exacerbated by the inherent uncertainty involved with the environments in which AS need to operate.
