A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
Contributo in Atti di convegno
Data di Pubblicazione:
2025
Citazione:
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness / L. Ceragioli, G. Primiero - In: OVERLAY 2025 : Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2025 / [a cura di] A. Montanari, A. Orlandini, N. Saccomanno, S. Tonetta. - [s.l] : CEUR-WS, 2025. - pp. 181-187 (( 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
counterfactual fairness in probabilistic classifiers. This is obtained formulating specific structural conditions for
causal labels and checking that evaluation is robust under their variation.
Tipologia IRIS:
03 - Contributo in volume
Keywords:
Fairness; Probabilistic Logic; Causal Graphs; Structural Rules
Elenco autori:
L. Ceragioli, G. Primiero
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
OVERLAY 2025 : Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2025