논리 추론을 위한 일반화 가능하고 신뢰할 수 있는 자연어 처리 시스템: 해결 반박을 통한 접근

자연어로 표현된 논리 이론에 대해 해결 반박 기법을 도입하여 일반화 가능성과 신뢰성을 향상시킨 새로운 논리 추론 프레임워크