Join Us Sign In

Knowledge Base Repository

In addition to research papers, the Design Society is developing several valuable resources for those interested in the study of design. These include a repository of PhD theses, a library of case studies and transcripts of design activities, and an archive of our newsletters. Please note that these resources are accessible exclusively to Design Society members.

Towards an automatic contradiction detection in requirements engineering

Alexander Elenga Gärtner, Dietmar Göhlich

Type:
Papers
DS 129: Proceedings of the DESIGN2024 18th International Design Conference
Year:
2024
Editor:
Mario Štorga, Stanko Škec, Tomislav Martinec, Dorian Marjanović, Neven Pavković, Marija Majda Škec
Author:
Alexander Elenga Gärtner, Dietmar Göhlich
Series:
DESIGN
Institution:
Technische Universität Berlin, Germany
Section:
Artificial Intelligence and Data-Driven Design
Page(s):
2049-2058
DOI number:
10.1017/pds.2024.207
ISSN:
2732-527X (Online)
Abstract:
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.
Keywords:
requirements management, artificial intelligence (AI), design automation
18th International Design Conference (DESIGN 2024)
Conferences

This site uses cookies and other tracking technologies to assist with navigation and your ability to provide feedback, analyse your use of our products and services, assist with our promotional and marketing efforts, and provide content from third parties. Privacy Policy.

Cookie Settings Accept Cookies