본 논문은 귀납적 설명을 유지하면서 논리식에서 변수를 제거하는 귀납적 망각(Abductive forgetting)에 대해 다룬다. 기존의 망각이 결과를 유지하는 것과 달리, 귀납적 망각은 설명을 유지한다. 명제 논리식에서 귀납적 망각은 명제 논리식으로 표현될 수 없을 수 있으며, 가능 여부를 판별하는 조건은 $\Pi^p_3$-complete의 복잡도를 가진다. 귀납적 망각의 표현 가능성을 보장하는 방법으로는 명제 논리에서 디폴트 논리로 전환하거나 새로운 변수를 도입하는 방법이 제시된다.
