Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
यह शोध पत्र यह तर्क देता है कि एलएलएम (LLM) के साथ न्यूरोसिंबोलिक तथ्य-जांच (fact-checking) के लिए प्राथमिक मानदंड के रूप में औपचारिक तार्किक सुदृढ़ता (formal logical soundness) पर निर्भर करना मौलिक रूप से त्रुटिपूर्ण है क्योंकि यह मानवीय व्यावहारिक अनुमानों (human pragmatic inferences) को ध्यान में रखने में विफल रहता है, और इसके बजाय भ्रामक निष्कर्षों के विरुद्ध औपचारिक आउटपुट को मान्य करने के लिए एलएलएम की मानव-समान तर्क प्रवृत्तियों का लाभ उठाने का समर्थन करता है।