본 논문은 블랙박스 AI 모델의 불투명한 저수준 세부 사항을 충실하게 단순화하는 알고리즘을 제공하는 기계적 해석성 분야에 대한 이론적 기반을 제공하는 인과적 추상화에 대해 다룹니다. 주요 기여는 세 가지로, 첫째, 인과적 추상화 이론을 메커니즘 대체(즉, 강력한 및 부드러운 개입)에서 임의의 메커니즘 변환(즉, 기존 메커니즘에서 새로운 메커니즘으로의 함수)으로 일반화하고, 둘째, 다의미 뉴런, 선형 표현 가설, 모듈식 특징 및 점진적 충실도의 핵심 개념에 대한 유연하면서도 정확한 공식화를 제공하며, 셋째, 활성화 및 경로 패치, 인과적 매개 분석, 인과적 스크러빙, 인과적 추적, 회로 분석, 개념 삭제, 희소 오토인코더, 차등 이진 마스킹, 분산 정렬 검색 및 조향과 같은 다양한 기계적 해석성 방법을 인과적 추상화의 공통 언어로 통합합니다.