심볼릭 추론

인공지능 및 지식기반 시스템의 구현에 중요한 역할을 하는 추론 시스템은 귀납 및 연역 같은 논리적 기술을 사용하여 사용 가능한 지식으로부터 결론을 생성하는 계산 시스템임. 이떄 심볼릭 추론은 문제, 논리, 검색에 대한 높은 수준의 심볼 및 그 표현을 기반으로 하는 방법론.¹