Bài báo này trình bày một phương pháp mới để xác định các quy tắc dư thừa trong lập trình logic quy nạp (ILP). Các quy tắc dư thừa là những quy tắc chứa các ký tự dư thừa hoặc không thể phân biệt giữa các ví dụ phủ định. Chúng tôi chứng minh rằng việc bỏ qua các quy tắc dư thừa này sẽ cắt tỉa hiệu quả không gian giả thuyết. Kết quả thử nghiệm trên nhiều lĩnh vực, bao gồm tư duy trực quan và chơi trò chơi, chứng minh rằng phương pháp được đề xuất có thể giảm thời gian đào tạo tới 99% mà vẫn duy trì độ chính xác dự đoán.
