Un autor propone un diseño de investigación para un sistema de razonamiento que detecta contradicciones entre dos proposiciones al descomponerlas en componentes más pequeños y buscar colisiones lógicas, en lugar de depender del juicio directo de LLM.

  • El sistema separa la exploración probabilística de la verificación formal para mejorar la eficiencia bajo presupuestos de generación limitados.
  • La identificación de proposiciones utiliza relaciones de implicación para mapear el contenido correspondiente a través de diferentes estructuras lógicas.
  • Una estrategia de búsqueda orientada a colisiones tiene como objetivo encontrar formas positivas y negativas del mismo sujeto de manera más eficiente que la búsqueda no dirigida.
  • La implementación inicial se dirige a la lógica proposicional, emitiendo CONTRADICTION, CONSISTENT o UNKNOWN.

El autor busca discusión, crítica, enfoques alternativos y colaboradores para ayudar a implementar o probar esta hipótesis.