symbolic-tier

수치적 계산 대신 논리 기호와 규칙을 사용하여 정형 검증이나 추론을 수행하는 아키텍처의 일부로 시스템의 논리적 엄밀함을 보장한다.