Автор предлагает дизайн исследования для системы рассуждения, которая обнаруживает противоречия между двумя пропозициями путем их декомпозиции на более мелкие компоненты и поиска логических коллизий, вместо того чтобы полагаться на прямое суждение LLM.
- Система разделяет вероятностное исследование и формальную верификацию для повышения эффективности при ограниченных бюджетах генерации.
- Идентификация пропозиций использует отношения импликации для сопоставления соответствующего содержания в разных логических структурах.
- Стратегия поиска коллизий направлена на более эффективный поиск положительных и отрицательных форм одного и того же субъекта по сравнению с ненаправленным поиском.
- Первоначальная реализация ориентирована на пропозиционную логику, выдавая CONTRADICTION, CONSISTENT или UNKNOWN.
Автор ищет обсуждения, критику, альтернативные подходы и соавторов для помощи в реализации или тестировании этой гипотезы.