A Formal Specification of Fuzzy Object Inference Model for Supporting Disjunctive Fuzzy Information

이접적 퍼지 정보를 지원하는 퍼지 객체 추론 모델의 정형화

In this paper, we provide the formal specification of a fuzzy object inference language and propose ICOT(Integrated C-Object Tool) as its implementation for knowledge-based programming with the disjunctive fuzzy information. The novelty of our model is that it seamlessly combines object inference and fuzzy reasoning into a unified framework without compromising a compatibility with extant databases, especially object-relational ones. In this model most of the object-oriented paradigm is successfully expressed in terms of relational constructs, tailoring fuzzy reasoning style to be well suited to the framework of the databases. It turns out to be useful in preserving its conceptual simplicity as well, since simple-to-use is one of important criteria in designing the databases. Additionally this model considerably enhanced the semantic expressiveness of data allowing disjunctive fuzzy information.

본 논문에서는 이접적 퍼지 정보를 지원하는 퍼지 객체 추론 모델을 정형화하고, 이접적 퍼지 정보를 지원하는 지식기반 프로그래밍을 위한 구현으로서 ICOT(Integrated C-Object Tool)을 제안한다. 제안된 객체 추론 모델은 객체 추론과 퍼지 추론이 객체-관계형 데이터베이스와 호환성있는 일관된 틀로 병합 되어 있으며, 객체 지향 패러다임의 대부분이 관계형 구조로 표현되기 때문에, 의미적으로 이해하기 쉽고 개념적으로 사용하기 단순한 퍼지 추론을 지원한다. 또한 이접적 퍼지 정보를 지원함으로써 데이터의 의미적 표현력을 강화시킨다.