추론-유추(Abductive inference)
추론-유추는 관찰된 현상에서 가장 타당한 원인이나 설명을 가설로 제시하는 고전적 추론 기법이다. 본 논문에서 Error Abduction은 지식 베이스의 불완전성, 오류, 중복을 설명하는 근거를 소거형으로 도출하기 위한 추론 과정을 의미한다.