发表机构
Hospital del Mar Research Institute; Ghent University; imec（德尔马医院研究所; 根特大学; imec研究院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究针对自主智能体在共享环境中需处理冲突利益的道德决策问题，提出基于Scanlon契约论的、扩展了价值过滤的ASPIC+契约论论证框架，经实例验证其有效性并探讨了与现有方法的关联。
AI 中文摘要
在共享环境中运行的自主智能体必须做出会影响多个利益可能冲突的个体的决策。我们提出了一种基于Scanlon契约论的道德决策形式框架，该伦理理论根据无人能合理拒绝的原则评估行动的可允许性。为将契约论推理具体化，我们使用结构化论证框架ASPIC+，并扩展了基于价值的过滤，以建模每个智能体的价值如何首先确定哪些理由具有道德相关性。最终形成了契约论论证框架，其中智能体的理由通过论证语义进行形式化表示、比较与评估。我们通过一个家庭场景的实例说明该方法，并探讨其与现有基于价值的论证方法的关系。
英文摘要
Autonomous agents operating in shared environments must make decisions that affect multiple individuals with potentially conflicting interests. We propose a formal framework for moral decision-making grounded in Scanlon's contractualism, an ethical theory that evaluates the permissibility of actions in terms of principles that no one could reasonably reject. To operationalise contractualist reasoning, we use ASPIC+, a structured argumentation framework, extended with value-based filtering to model how each agent's values determine which reasons are morally relevant in the first place. The result is a Contractualist Argumentation Framework in which agents' reasons are formally represented, compared, and evaluated through argumentation semantics. We illustrate the approach through a worked example in a domestic setting and discuss its relation to existing value-based argumentation approaches.
Comments9 pages; to appear in the proceedings of the Fourth International Workshop on Value Engineering in AI (VALE 2026)
