एक लेखक ने एक ऐसे तर्क प्रणाली के शोध डिज़ाइन का प्रस्ताव दिया है जो दो प्रपोजिशन के बीच विरोधाभासों का पता लगाती है, उन्हें छोटे घटकों में विघटित करके और तार्किक टकराव की खोज करके, सीधे LLM निर्णय पर निर्भर करने के बजाय।
- प्रणाली सीमित जनरेशन बजट के तहत दक्षता को बेहतर बनाने के लिए प्रायिक अन्वेषण को औपचारिक सत्यापन से अलग करती है।
- प्रपोजिशन पहचान विभिन्न तार्किक संरचनाओं में संगत सामग्री को मैप करने के लिए निहित संबंधों का उपयोग करती है।
- एक टकराव-खोजने वाली खोज रणनीति अदिशित खोज की तुलना में समान विषय के सकारात्मक और नकारात्मक रूपों को अधिक कुशलता से खोजने का लक्ष्य रखती है।
- प्रारंभिक कार्यान्वयन प्रपोजिशनल तर्क को निशाना बनाता है, CONTRADICTION, CONSISTENT, या UNKNOWN आउटपुट करता है।
लेखक इस परिकल्पना को लागू करने या परीक्षण करने में मदद के लिए चर्चा, आलोचना, वैकल्पिक दृष्टिकोण और सहयोगियों की तलाश में है।