权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Computational Agent Responsibility

计算代理责任

基本信息

批准号：
EP/W01081X/1
负责人：
Michael Fisher
金额：
$ 81.83万
依托单位：
University of Manchester
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2022
资助国家：
英国
起止时间：
2022 至无数据
项目状态：
未结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FW01081X%2F1
关键词：
Computational Agent Responsibility

项目摘要

Engineered systems are becoming more complex and, increasingly, more autonomous. Once they are allowed, or even required, to make their own decisions a wide range of issues concerning safety, ethics and trustworthiness come to the fore. Users are unlikely to trust these systems while regulators are unlikely to even allow their deployment without strong evidence concerning decisions that autonomous systems can make and the subsequent actions they can take.Our work on the development and analysis of hybrid agent architectures for autonomous systems has shown how strong (formal) verification can be carried out upon core decision-making in systems constructed in a suitable manner. Our approach has also been used to capture and verify certain "ethical" decisions the autonomous system might make, which are especially important when the system is confronted by critical decisions in unforeseen situations and must decide on good/bad actions.However, it has become clear that simple versions of ethical principles, such as good/bad or right/wrong, are insufficient and that we need stronger concepts of "responsibility" in practice. Such issues are well-studied in Philosophy, though mainly through the lens of human morality or legal accountability. In this project we aim to identify and develop suitable notions of "responsibility" that are consistent with views from Philosophy but that can also be used within computational agents at the heart of our autonomous systems. In doing this, we pave the way for formal verification of responsibility, sophisticated explanations and, crucially, the use of responsibilities as a driver for agent decisions and actions. Thus, our central aim is to devise a framework for autonomous systems responsibility that is philosophically justifiable, effectively implementable, and practically verifiable.

工程系统变得越来越复杂，并且越来越自主。一旦他们被允许，甚至被要求做出自己的决定，一系列有关安全、道德和可信度的问题就会凸显出来。如果没有关于自主系统可以做出的决策以及可以采取的后续行动的有力证据，用户不太可能信任这些系统，而监管机构甚至不太可能允许部署它们。我们在自主系统混合代理架构的开发和分析方面的工作表明，可以在以适当方式构建的系统中对核心决策进行强有力的（形式）验证。我们的方法还被用来捕获和验证自治系统可能做出的某些“道德”决策，当系统在不可预见的情况下面临关键决策并且必须决定好/坏行为时，这些决策尤其重要。然而，很明显，简单版本的道德原则（例如好/坏或对/错）是不够的，我们在实践中需要更强的“责任”概念。这些问题在哲学中得到了充分的研究，尽管主要是通过人类道德或法律责任的视角进行的。在这个项目中，我们的目标是识别和开发合适的“责任”概念，这些概念与哲学观点一致，但也可以在我们自治系统核心的计算代理中使用。在此过程中，我们为责任的正式验证、复杂的解释以及最重要的是使用责任作为代理决策和行动的驱动力铺平了道路。因此，我们的中心目标是设计一个自治系统责任框架，该框架在哲学上是合理的，可有效实施且实际上可验证。