Application of hybrid logic in inference of Knowware System

Handling of uncertainty has been an important topic discussed in the community of intelligent techniques and soft computing. It is necessary to represent human knowledge and modeling its uncertainty when developing an intelligent system. There are various types of uncertainty in the real world, and randomness and fuzziness are of two basic kinds. How to handle these two kinds of uncertainties appearing simultaneously in a system is a main task of intelligent system development. The Knowware System (KWS) has been developed as an intelligent tool for modeling and development of knowledge-based system (KBS). It is to support application developers in constructing customized hybrid intelligent system without the necessity of being familiar with relevant AI techniques. Modeling and processing uncertainty of different types has its significance for further enhancement of KWS mechanism to better support real applications. In this paper, we will present the modeling of KBS with possible uncertainty and the propose handling hybrid uncertainty in inference of KWS, which includes randomness and fuzziness, based on the hybrid logic and chance theory.