यह शोधपत्र आगमनात्मक तर्क प्रोग्रामिंग (ILP) में अनावश्यक नियमों की पहचान के लिए एक नवीन दृष्टिकोण प्रस्तुत करता है। अनावश्यक नियम वे होते हैं जिनमें अनावश्यक अक्षर होते हैं या जो नकारात्मक उदाहरणों के बीच अंतर नहीं कर सकते। हम प्रदर्शित करते हैं कि इन अनावश्यक नियमों की अनदेखी करने से परिकल्पना स्थान प्रभावी रूप से कम हो जाता है। दृश्य तर्क और खेल सहित कई क्षेत्रों में प्रायोगिक परिणाम प्रदर्शित करते हैं कि प्रस्तावित दृष्टिकोण भविष्यवाणी सटीकता बनाए रखते हुए प्रशिक्षण समय को 99% तक कम कर सकता है।
