FOL2NS: 1차 논리(First-Order Logic)로부터 자연스러운 문장 생성하기

요약

FOL2NS는 1차 논리(First-Order Logic) 공식을 자연스러운 문장으로 변환하기 위해 설계된 신경 기호적(neurosymbolic) 프레임워크입니다. 규칙 기반 모듈과 미세 조정된 언어 모델을 결합하여 복잡한 양화사 구조를 가진 논리식을 처리하며, 문장의 다양성과 커버리지를 높이는 데 집중합니다.

핵심 포인트

• 1차 논리(FOL)를 자연어로 번역하는 신경 기호적 프레임워크 FOL2NS 제안
• 규칙 기반 모듈과 미세 조정된 언어 모델의 결합을 통한 생성 성능 향상
• 다양한 양화사 깊이(QD)를 가진 중첩된 논리 구조 처리 능력 강화
• 구조적 복잡성이 높아질수록 정밀한 의미론적 표현과 자연스러운 생성 사이의 어려움 확인