Abstract
In this paper, a detection method of contradiction between input informations is proposed when the inference is processed in rule-based systems. The proposed method is accomplished by improving the label representation and the label management scheme in a conventional ATMS(Assumption-based Truth Maintenance System). The Proposed method also can represent and process input informations having uncertainty values.
이 논문에서는 규칙 기반 추론 시스템에서 추론이 수행되는 과정에서 처리 대상인 입력 정보들에 모순이 존재하는 경우에 모순된 정보를 검출하기 위한 기법을 제안한다. 이 논문에서 제안한 기법은 ATMS의 라벨 표현 방법과 관리 기법을 개선하여 불확실성 값을 갖는 입력 정보를 처리할 수 있도록 하고, 상반된 입력 정보들로 인하여 배타적인 결론들을 동시에 지지하는 경우에 각 결론들과 지지하는 입력 정보들간의 모순을 검출할 수 있는 기법이 다.
