arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2501.18331cs.LGcs.LOcs.SE

基于流的算法公平性监控

Stream-Based Monitoring of Algorithmic Fairness

CISPA Helmholtz Center for Information Security(CISPA亥姆霍兹信息安全中心)

Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil

AI总结:

本文提出基于流的运行时监控方法,利用规范语言RTLola形式化时态数据流上的算法公平性,并在合成场景与COMPAS真实数据上验证了其有效性与效率。

摘要:

自动决策与预测系统正日益广泛地部署于对民众生计产生重大影响的应用中,例如预测贷款申请人的信用度或被告的再犯风险。这些应用催生了一类新的算法公平性规范,要求系统在决策和预测时不对社会群体产生偏见。由于现实系统可能采用复杂的学习组件并处理庞大的输入空间,静态验证这些规范通常难以实现。因此,本文提出基于流的监控作为在运行时验证决策与预测系统算法公平性的解决方案。具体而言,我们提出了一种有原则的方法,在规范语言RTLola中将算法公平性形式化于时态数据流之上,并在多个基准上展示了该方法的有效性。除了特别突出其在数据量不断扩展的流上之效率的合成场景外,我们还在再犯预测工具COMPAS的真实数据上对监控器进行了评估。

英文摘要:

Automatic decision and prediction systems are increasingly deployed in applications where they significantly impact the livelihood of people, such as for predicting the creditworthiness of loan applicants or the recidivism risk of defendants. These applications have given rise to a new class of algorithmic-fairness specifications that require the systems to decide and predict without bias against social groups. Verifying these specifications statically is often out of reach for realistic systems, since the systems may, e.g., employ complex learning components, and reason over a large input space. In this paper, we therefore propose stream-based monitoring as a solution for verifying the algorithmic fairness of decision and prediction systems at runtime. Concretely, we present a principled way to formalize algorithmic fairness over temporal data streams in the specification language RTLola and demonstrate the efficacy of this approach on a number of benchmarks. Besides synthetic scenarios that particularly highlight its efficiency on streams with a scaling amount of data, we notably evaluate the monitor on real-world data from the recidivism prediction tool COMPAS.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑