An Information-Flow Perspective on Explainability Requirements: Specification and Verification
The episode discusses a paper on an information-flow perspective for explainability requirements. The authors argue that explainable systems must expose information about why effects occur, balancing this need with privacy concerns. They propose using epistemic temporal logic to formally specify and verify that systems provide enough causal knowledge while protecting private data.