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.
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality / L. Ceragioli, G. Primiero (CEUR WORKSHOP PROCEEDINGS). - In: OVERLAY 2025 : Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2025 / [a cura di] A. Montanari, A. Orlandini, N. Saccomanno, S. Tonetta. - Prima edizione. - [s.l] : CEUR-WS, 2025. - pp. 173-179 (( 7. Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Bologna 2025.
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
L. Ceragioli
Writing – Original Draft Preparation
;G. Primiero
Writing – Original Draft Preparation
2025
Abstract
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper19.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Licenza:
Creative commons
Dimensione
1.5 MB
Formato
Adobe PDF
|
1.5 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
