People care about decision outcomes and how decisions get made, both when making decisions and reflecting on decisions. But formalizing the full range of normative concerns that drive decisions is an open challenge. We introduce Axiomatic Choice as a framework for making and evaluating decisions based on formal normative statements about decisions. These statements, or axioms, capture a wide array of desiderata, e.g., ethical constraints, beyond the typical treatment in Social Choice. Using our model of axioms and decisions we define key properties and introduce a taxonomy of axioms which may be of general interest. We then use these properties and our taxonomy to define the Decision-Evaluation Paradox, formalize the concepts of transparency and deception in explaining and justifying decisions, and reveal the limits of existing methods using axioms to make decisions.

翻译：人们既关心决策结果，也关注决策过程，无论是在制定决策时还是反思决策时。然而，将驱动决策的全部规范性考量形式化仍是一个开放挑战。我们提出“公理化选择”作为基于决策的规范性形式陈述来制定与评估决策的框架。这些陈述（或称公理）涵盖了广泛的需求，例如伦理约束，超越了社会选择理论中的典型处理方式。通过我们提出的公理与决策模型，我们定义了关键性质并引入了一种可能具有普遍意义的公理分类体系。随后，我们运用这些性质及分类体系定义了决策评估悖论，形式化了在解释与论证决策过程中的透明度与欺骗概念，并揭示了现有利用公理进行决策的方法的局限性。