동일한 공식, 다른 의미론: 언어 모델은 양상 논리 (Modal Logic) 명세를 따르는가?

요약

언어 모델이 특정 양상 논리(Modal Logic)의 의미론적 명세를 정확히 따르는지 평가하는 연구를 소개합니다. 실험 결과, 모델들은 프롬프트 조건에 따라 성능 차이가 크며, 특히 추론 모드 활성화 여부가 논리적 일관성에 중요한 영향을 미침을 확인했습니다.

핵심 포인트

• 양상 논리 체계에 따른 모델의 추론 능력 평가
• 프레임/도메인 조건 변화에 따른 모델 성능의 민감도 확인
• 추론 모드 활성화 시 DeepSeek V4 Flash의 성능 대폭 향상
• 모델이 명시된 논리보다 익숙한 논리에 의존하는 경향 발견
• 공식, 반례, 데이터셋 등 연구 결과물 공개