A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915575719002112 |
|---|---|
| author | Ceragioli, Leonardo Primiero, Giuseppe |
| author_facet | Ceragioli, Leonardo Primiero, Giuseppe |
| contents | In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of individual fairness and intersectionality in probabilistic classifiers. Their interpretation is obtained by formulating specific conditions for the application of the structural rule of Weakening. Such restrictions are given by causal labels used to check for conditional independence between protected and target variables. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_14650 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality Ceragioli, Leonardo Primiero, Giuseppe Logic in Computer Science I.2.3, I.2.4 F.4 In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of individual fairness and intersectionality in probabilistic classifiers. Their interpretation is obtained by formulating specific conditions for the application of the structural rule of Weakening. Such restrictions are given by causal labels used to check for conditional independence between protected and target variables. |
| title | A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality |
| topic | Logic in Computer Science I.2.3, I.2.4 F.4 |
| url | https://arxiv.org/abs/2507.14650 |