레졸루션(resolution)에 근거한 자동화된 추론 방법은 실제로 결론 도출에 필요 하지 않은 중간 정보를 생산하고, 또한 이런 정보가 또 다른 불 필요 정보를 생산함으로써, 컴퓨터 주기억 공간 잠식이 문제점으로 나타난다. 주어진 문제의 상황을 설명하는 모든 입력절로부터, 실제로 결론의 도출에 참여할 가능성이 낮은 입력절을 추론에의 참여를 제한하여, 소모하는 기억공간과 추론 시간을 감소시키는 조절 전략을 제안한다. 주어진 입력절을 분석하여, 실제로 추론에 참여하는 정도의 우선 순위를 결정하는 도구로서 퍼지 관계 논리곱을 이용한다.
Inference process of resolution-based automated reasoning easily consumes the memory of computer without giving any useful result by priducing lots of fruioless information which are not necessary for the conslusion. This paper suggests a control strategy for saving the space of computer memory and reducing the inference time. The strategy uses a restriction that comparatively irrelevant axioms do mot take pare in the resoluition. In order to analyze and determine the priorities of the input axioms of joning the inference process, the system employs the fuzzy relational products.
