يقترح مؤلف تصميم بحث لنظام استدلال يكتشف التناقضات بين عبارتين عن طريق تحليلهما إلى مكونات أصغر والبحث عن تصادمات منطقية، بدلاً من الاعتماد على الحكم المباشر لـ LLM.
- يفصل النظام الاستكشاف الاحتمالي عن التحقق الرسمي لتحسين الكفاءة تحت ميزانيات توليد محدودة.
- يستخدم تحديد العبارات علاقات الاستلزام لرسم المحتوى المقابل عبر هياكل منطقية مختلفة.
- تهدف استراتيجية البحث عن التصادم إلى العثور على الأشكال الإيجابية والسلبية لنفس الموضوع بكفاءة أكبر من البحث غير الموجه.
- يستهدف التنفيذ الأولي المنطق العبارة، ويخرج CONTRADICTION أو CONSISTENT أو UNKNOWN.
يسعى المؤلف للحصول على مناقشة ونقد ومنهجيات بديلة ومتعاونين لمساعدة في تنفيذ أو اختبار هذه الفرضية.