Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen

Beitragende

Abstract

This invited paper reviews a framework to assist in mitigating societal risks that software can pose. This is to promote effective human oversight, which is a central requirement enforced by the European Union’s upcoming AI Act [29]. The paper advertises fragments of an upcoming journal publication [12], and as such is itself low in genuine originality. Yet it offers a specific perspective on that original work. Extrapolating earlier work on software doping, we report on the combination of established techniques for runtime monitoring and for probabilistic falsification to arrive at a black-box analysis technique for identifying undesired effects of software. We describe its application to high-risk systems that evaluate humans in a possibly unfair or discriminating way. The approach can assist humans-in-the-loop to make better informed and more responsible decisions. Our technical contribution is complemented by juridically, philosophically, and psychologically informed perspectives on the potential problems caused by AI systems.

Details

OriginalspracheEnglisch
TitelModel Checking Software
Redakteure/-innenThomas Neele, Anton Wijs
Herausgeber (Verlag)Springer, Cham
Seiten3-25
Seitenumfang23
ISBN (elektronisch)978-3-031-66149-5
ISBN (Print)978-3-031-66148-8
PublikationsstatusVeröffentlicht - 2026
Peer-Review-StatusNein

Publikationsreihe

ReiheLecture Notes in Computer Science
Band14624
ISSN0302-9743

Externe IDs

Scopus 85207660694
ORCID /0000-0003-1340-4330/work/223380602

Schlagworte

ASJC Scopus Sachgebiete

  • Theoretische Informatik - adequate trust, algorithmic fairness, artificial intelligence, human oversight, probabilistic falsification
  • Allgemeine Computerwissenschaft - adequate trust, algorithmic fairness, artificial intelligence, human oversight, probabilistic falsification

Schlagwörter

  • adequate trust, algorithmic fairness, artificial intelligence, human oversight, probabilistic falsification