http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
퍼지기법을 이용한 자동화된 추론의 가중치 부여기법 개선
김용기(Yong-Gi Kim) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.10
웨이팅 기법(weighting strategy)은 resolution에 근거한 자동화된 추론(automated reasoning) 분야에서, 허용 가능한 시간과 기억 공간 내에서 해를 구하기 위해서 필수적으로 사용되는 조절방법이다. 그러나, 웨이팅 기법의 적용은 문제에 대한 사용자의 지식이나 경험에 주로 의존하고 있다. 이 연구는 resolution 구조의 웨이팅 기법을 개선하는 추론 조절 방법을 제안하고, 자동화된 추론 분야에 적용함으로써 그 효율성을 보인다. 새로운 웨이팅 메카니즘은 웨이팅 패턴과 그 웨이트를 입력 문제로 부터 자동적으로 분석 추출함으로써, 그 추론 시간 및 기억공간을 줄일 수 있게 한다. 제안된 메카니즘은 삼각 퍼지 관계곱 (triangle fuzzy relational product)과 신속퍼지관계 알고리즘 (fast fuzzy relational algorithm)을 이용한다. Weighting strategy is essential to produce an answer is limited time and space in the area of the resolution based automated reasoning. But, the weighting strategy is based on the user's knowledge or intuition of the problem to be solved. This paper suggests a method for control of inferential strategies of resolution based architectures, and applies the method to some of the domains in the automated reasoning field to inspect the effect of the new scheme. The method for speeding up the logical inference is tested in conjunction with the theorem prover called OTTER. The new weighting mechanism helps the user of the resolution based mechanical theorem prover decide the weighting pattern and the weights automatically to reduce the deduction time and space from the given input problem. The new mechanism employs the triangle fuzzy relational products and fast fuzzy relational algorithm.