A Study on the Methodology of Qualitative Reasoning Using Centroid-Oriented Composite Interval

무게중심 복합구간에 의한 정성 추론 기법에 관한 연구

Qualitative models in model-based expert system needs modeling paradigm which provides intelligent control of modeling assumptions and extracts robust inferences without quantitative information about the system to be modeled. Qualitative reasoning methodologies has proved the property of the completeness but not the soundness to the corresponding quantitative model. We propose new methodology of qualitative reasoning by introducing the concept of Centroid-Oriented Composite Interval to improve the soundness problem. Arithmetic operations and equivalence classes were composed using this definition. Qualitative simulation results were compared to Kuipers's results and the improvements in the soundness problem is verified.

본 연구에서는 단순한 구간대신에 구간내에 제한된 형태의 가능성 분포를 갖 는 복합구간으로 학장하는 것이다. 그리고 이러한 가능성 분포는 퍼지 집합이론에서 사용되는 것처럼 일반적인 분포형태 전체를 사용하는 것이 아니라, 가능성 분포의 무 게중심만 정의하고 이 무게중심과 구간경계만을 사용하여 시스템 변수가 갖는 정성값 을 나타낸다. 이를 바탕으로 새로운 상태변화와 그 규칙을 정의함으로써 정성 모델 링과 시뮬레이션을 할 수 있는 정성 수학을 공식화하였다.이와 같은 방식으로 구한 정성 모델과 추론방법으로 기존의 논문에 나와 있는 시뮬레이션 결과와 비교하여 본 논문에서 제시한 정성해의 논리적 건전성(soundness)을 보였다.