형식적 솔버
수학적 논리와 명확한 규칙을 바탕으로 문제의 해답을 계산하는 알고리즘 소프트웨어이다. 생성형 AI와 달리 확률에 의존하지 않고 정해진 규칙 내에서 반드시 유효한 계획을 생성하므로 로봇 제어의 신뢰성을 보장하는 데 중요하다.