형식 의미론
프로그래밍 언어나 자연어의 의미를 수학적 논리 체계를 사용하여 엄밀하게 정의하는 방법론이다. 소프트웨어의 정확성을 검증하거나 언어 모델의 논리적 구조를 파악하는 데 필수적이며, 시스템의 신뢰성을 높이는 데 중대한 역할을 한다.