Many decision-making scenarios, e.g., public policy, healthcare, business, and disaster response, require accommodating the preferences of multiple stakeholders. We offer the first formal treatment of reasoning with multi-stakeholder qualitative preferences in a setting where stakeholders express their preferences in a qualitative preference language, e.g., CP-net, CI-net, TCP-net, CP-Theory. We introduce a query language for expressing queries against such preferences over sets of outcomes that satisfy specified criteria, e.g., $\mlangpref{\psi_1}{\psi_2}{A}$ (read loosely as the set of outcomes satisfying $\psi_1$ that are preferred over outcomes satisfying $\psi_2$ by a set of stakeholders $A$). Motivated by practical application scenarios, we introduce and analyze several alternative semantics for such queries, and examine their interrelationships. We provide a provably correct algorithm for answering multi-stakeholder qualitative preference queries using model checking in alternation-free $\mu$-calculus. We present experimental results that demonstrate the feasibility of our approach.

翻译：许多决策场景（如公共政策、医疗健康、商业和灾害响应）需要兼顾多个利益相关者的偏好。我们首次对在利益相关者以定性偏好语言（如CP-net、CI-net、TCP-net、CP-Theory）表达偏好的情境下，对多主体定性偏好的推理进行了形式化处理。我们引入了一种查询语言，用于针对此类偏好对满足特定条件的结果集进行查询，例如 $\mlangpref{\psi_1}{\psi_2}{A}$（大致可解读为由利益相关者集合 $A$ 认为比满足 $\psi_2$ 的结果更优的、满足 $\psi_1$ 的结果集）。受实际应用场景驱动，我们提出并分析了此类查询的几种备选语义，并研究了它们之间的相互关系。我们提供了一种基于交替-free $\mu$-演算模型检测的可证明正确的算法，用于回答多主体定性偏好查询。最后，我们通过实验结果展示了该方法的可行性。