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
| Originalsprache | Englisch |
|---|---|
| Titel | Model Checking Software |
| Redakteure/-innen | Thomas Neele, Anton Wijs |
| Herausgeber (Verlag) | Springer, Cham |
| Seiten | 3-25 |
| Seitenumfang | 23 |
| ISBN (elektronisch) | 978-3-031-66149-5 |
| ISBN (Print) | 978-3-031-66148-8 |
| Publikationsstatus | Veröffentlicht - 2026 |
| Peer-Review-Status | Nein |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 14624 |
| ISSN | 0302-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