Towards an automatic contradiction detection in requirements engineering

This paper presents a novel method for automatic contradiction detection in requirements engineering using a hybrid approach combining formal logic with Large Language Models (LLMs), specifically GPT-3. Our three-phase process detects contradictions by identifying conditionals and pseudo-grammatical elements, and employing LLMs for nuanced contradiction detection. Tested extensively, including on a real-world electric bus project, our method achieved 99% accuracy and 60% recall. This approach significantly reduces manual effort, enhances quality, and is scalable for future advancements.