Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse

Thu, 07 May 2026 08:54:43 GMT

### 저자

Ahmed F. Ibrahim

### 💡 개요

기존 요구사항 재사용 프레임워크는 엄격한 규칙으로 인해 유연성이 부족한 반면, LLM은 구조적 오류를 유발할 수 있다는 문제를 해결하기 위해, 본 논문에서는 신경-기호 다중 에이전트 시스템을 제안합니다. 이 시스템은 LLM을 비결정론적 휴리스틱으로 활용하고, 형식적인 요구사항 격자로 표현된 결정론적 도메인 모델을 탐색하며, 결정론적 기호 검증기를 통해 모든 구조적 제약을 강제하여 환각으로 인한 요구사항 조합 오류를 원천적으로 제거합니다.

### 🔑 시사점 및 한계

- **구조적 유효성 보장:** 신경-기호 접근 방식은 LLM의 유연성을 활용하면서도, 결정론적 검증을 통해 생성된 모든 요구사항 조합의 구조적 유효성과 제약 만족을 보장합니다.

- **요구사항 재사용 패러다임 전환:** 요구사항 재사용을 모델 기반 추출 과정으로 재해석하여, 복잡한 요구사항 생성을 자동화하고 감사 추적성을 제공합니다.

- **성능 향상 및 확장성:** 100% 요구사항 커버리지와 매우 낮은 제약 위반율을 달성했으며, 모델 불가지론적 구현으로 대규모 격자에도 효과적으로 확장 가능합니다.

- **F1-score의 한계:** 단일 황금 표준에 대한 F1-score가 중간 수준(0.47-0.51)에 머무르는 것은 개선의 여지가 있습니다.

[PDF 보기](https://arxiv.org/pdf/2605.01562)