1. 한 가지 결론이 먼저 가정한 다음 조건 세트로 증명한다면 역추론이라고 합니다. 계층 모듈식, 다양한 형식의 규칙 라이브러리의 경우 추론 과정에서 안내해야 할 여러 가지 가능한 조합이 있습니다. 역추리를 이용하여 일련의 결론을 미리 제시하는 조건의 적절한 조합은 프로세스 의사결정 과정에서 계발적인 방법이다.

목표에서 알려진 사실까지의 과정을 역 추론이라고합니다. 이 시스템에서는 압착 공정 방안의 추리 문제를 해결하기 위한 혼합 추리 방법이 개발되었습니다. 구현에 대해서는 다음 섹션을 참조하십시오.

3.ECAMES 의 논리적 추리 과정은 목표 중심 추리를 사용하며 역추론이라고도 합니다. For (사실 라이브러리의 모든 사실) 이 사실 내의 모든 변수 번호를 질의한 다음 변수 라이브러리에서 해당 변수를 꺼내는 추론 프로세스입니다.