Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | Model Checking Software |
| Editors | Thomas Neele, Anton Wijs |
| Publisher | Springer, Cham |
| Pages | 3-25 |
| Number of pages | 23 |
| ISBN (electronic) | 978-3-031-66149-5 |
| ISBN (print) | 978-3-031-66148-8 |
| Publication status | Published - 2026 |
| Peer-reviewed | No |
Publication series
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 14624 |
| ISSN | 0302-9743 |
External IDs
| Scopus | 85207660694 |
|---|---|
| ORCID | /0000-0003-1340-4330/work/223380602 |
Keywords
ASJC Scopus subject areas
Keywords
- adequate trust, algorithmic fairness, artificial intelligence, human oversight, probabilistic falsification