A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
Conference Paper
Publication Date:
2025
Citation:
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.
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.
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.
IRIS type:
03 - Contributo in volume
Keywords:
Fairness; Probabilistic Logic; Causal Graphs; Structural Rules
List of contributors:
L. Ceragioli, G. Primiero
Link to information sheet:
Book title:
OVERLAY 2025 : Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2025