面向公平性需求的系统性规约与验证：立场论文

设计不当的软件系统做出的决策可能基于性别和种族等受保护特征而歧视人们。先前的研究将这种不良行为归因于算法设计缺陷或有偏数据。然而，这些研究忽视了歧视往往是缺乏良好规约的公平性需求及其验证的结果。专家关于公平性的知识往往是隐性的，这使得制定精确且可验证的公平性需求的任务变得困难。在相关领域，如安全工程中，知识图谱已被证明在形式化知识以辅助需求规约和验证方面是有效的。为解决缺乏规约和验证公平性需求的正式机制这一问题，我们提出了开发基于知识图谱的公平性框架。在本文中，我们讨论了挑战、研究问题和解决这些研究问题的路线图。