The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding
यह शोध पत्र यह प्रदर्शित करता है कि सिम्बोलिक एआई (symbolic AI) स्पष्टीकरणों पर औपचारिक अमूर्तता (formal abstractions) लागू करना—विशेष रूप से समझ में सुधार के लिए अप्रासंगिक विवरणों को क्लस्टर करने और संज्ञानात्मक प्रयास को कम करने के लिए उन्हें हटाने से—एक आंसर सेट प्रोग्रामिंग (Answer Set Programming) ढांचे के भीतर मानव तर्क प्रदर्शन और व्याख्यात्मकता को महत्वपूर्ण रूप से बढ़ाता है।