aiqbench analysis
This research presents a formal argumentation framework grounded in Scanlonian contractualism, enabling autonomous agents to resolve moral conflicts by evaluating principles no individual could reasonably reject. By integrating value-based filtering into the ASPIC+ structured argumentation system, the study offers a rigorous method for modeling how agent-specific values determine morally relevant reasons in shared environments. The work advances AI safety and alignment research by providing a logical structure for ethical decision-making that accounts for conflicting interests among multiple stakeholders.
A Contractualist Argumentation Framework for Moral Decision-Making
arXiv:2608.01937v1 Announce Type: new Abstract: 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.
Abstract: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.
Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
arXiv:2608.01937 [cs.AI]
(or arXiv:2608.01937v1 [cs.AI] for this version)
https://doi.org/10.48550/arXiv.2608.01937 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 218 words
Related coverage

The basic argument for making AI better at moral philosophy
LessWrong · Oct 14, 2026

Deconfusing Corrigibility
AI Alignment Forum · Oct 17, 2026
The J-Space Debate, Agent Swarms, and Pacing Frontier AI - Digital Minds Newsletter #4
LessWrong · Sep 18, 2026

Why I Left Google DeepMind
LessWrong · Jul 15, 2026