Network on the Verification and Validation of Autonomous Systems

机器人、无人驾驶汽车、无人驾驶飞行器等，现在都可以制造出来。然而，阻碍机器人和自主系统广泛使用的主要障碍可以被视为社会性的：此类系统的法律框架应该是什么；公众如何才能信任这些系统？我们如何确保他们的安全；我们怎么知道这样一个系统会做出我们所期望的决定呢？所有这些目前都不可能确定地解决。英国在自主系统的验证和验证（V&V）方面有许多关键的研究进展，这些进展都可能对这个问题产生影响。这些显然与设计、构建和部署自主系统的方法相关，但对心理学（如社交机器人）、哲学（如机器伦理学）和法律（如认证）也很重要。构建没有行为保证的自主系统可能导致严重后果，并可能因此阻碍这些系统的广泛采用。该网络将整合这些活动，推动研究议程向前发展，并将V&V的必要性牢牢地嵌入到行业、政府和公众中。

Robots, driverless cars, unmanned air vehicles, etc, can all be built now. However, the main barriers holding back the widespread use of robotics and autonomous systems can be seen as societal: what should the legal framework be for such systems; how can the public come to trust these systems; how can we ensure they are safe; and how do we know such a system will make the decisions we would expect of it? All these are currently impossible to solve with any certainty.The UK has numerous key research developments concerning the Verification and Validation (V&V) of autonomous systems that can all impact upon this problem. These are clearly of relevance to methods for designing, constructing and deploying autonomous systems but also have importance to Psychology (e.g. social robotics), Philosophy (e.g. machine ethics), and Law (e.g. certification). Constructing autonomous systems without behaviour guarantees can lead to serious outcomes, and may consequently hold back the widespread adoption of these systems. This Network will coalesce this activity, drive the research agenda forward, and embed the necessity for V&V firmly within industry, the government, and the public.