Application and Implementation of Fuzzy Relational Request for Improving the Performance of Automated Reasoning

자동화추론의 성능개선을 위한 퍼지관계요구의 응용 및 구현

Weighting strategy is one of the necessary control strategies in automated reasoning to solve problecs within allowable time and computer memory. But, the strategy still consumes too much time since it depends soly on the user's experience and needs much of the user's manual work at each stage. This research suggests a tool which automates the weighting system to generate the weighting thesaurus and merges it to the mechanical theorem prover.

가중치전략(weighting strategy)은 인공지능의 한 분야인 자동화추론(automated resaonnimg) 분야에서, 허용 가능한 시간과 기억공간내에서 해를 구하기 위해서 필수적으로 사용되는 방법이다. 그러나 가중치전략의 적용은 문제에 대한 사용자의 지식이나 경험에 주로 의존할 뿐 아니라, 각각의 단계에서 프로그램화되지 못하여 수작업으로인한 시간의 소모가 많다. 수작업을 필요로 하던 기존의 시스템을 자동화하여, 관계계층구조(thesaurus)를 시스템이 자동으로 구축하는 도구를 개발하고, 이를 기존의 자동정리증명기에 통합하여, 그 성능을 개선하는 시스템을 제안한다.