작은 규칙을 결합하여 큰 논리 규칙 배우기

귀납적 논리 프로그래밍의 주요 도전 과제는 큰 규칙을 배우는 것입니다. 이 도전 과제를 해결하기 위해, 우리는 작은 규칙을 결합하여 큰 규칙을 배우는 접근 방식을 소개합니다. 우리는 제약 기반 시스템에서 우리의 접근 방식을 구현하고, 규칙을 효율적으로 결합하기 위해 제약 해결기를 사용합니다. 게임 플레이와 약물 설계를 포함한 여러 도메인에서의 실험은 우리의 접근 방식이 (i) 100개 이상의 리터럴로 이루어진 규칙을 배울 수 있으며, (ii) 예측 정확도 면에서 기존 접근 방식을 크게 능가함을 보여줍니다.