정형 추론
수학적 논리를 컴퓨터가 이해하고 검증할 수 있는 정형 언어로 표현하고 증명하는 기술이다. 엄밀한 논리 구조를 통해 오류 없는 결론을 도출하며, AI의 논리적 사고 능력을 평가하는 핵심 지표로 활용된다.