본 논문은 심층 ReLU 네트워크를 Lukasiewicz 무한값 논리의 회로적 대응물로 보는 새로운 관점을 제시합니다. Lukasiewicz 무한값 논리는 부울 논리의 다치(many-valued) 일반화입니다. 논문에서는 심층 ReLU 네트워크에서 MV 논리의 공식을 추출하는 알고리즘을 제시하며, 특히 실수 값을 포함한 일반적인 가중치를 갖는 네트워크에도 적용 가능하여 데이터로 학습된 심층 ReLU 네트워크에서 논리 공식을 추출하는 데 활용될 수 있습니다.
