General Fuzzy Prolog Method And Its Application

Logic programming, which was developed in the early 1970's based on work in automated reasoning, is a common declarative method in knowledge representation. Classical logic programming has successfully solved a lot of questions, especially in Artificial Intelligence. However, it is based on two-valued logic and it is not well-suited to model uncertain, imprecise and vague information in real-world problem. Therefore, it has been a necessary trend and hotspot to introduce fuzzy logic into logic programming.The goal of this paper is to search for generalized method to fuzzify Prolog. The following are main research results of this paper. First preparation of the work is described, including comparison between classical logic programming and fuzzy logic programming, systematical summary of detailed methods to represent definite set and fuzzy set in Prolog. As there is no common method for fuzzifying Prolog, a new approach for syntax and semantic of fuzzy prolog system is proposed here, which is more general in some aspect. Furthermore, applications based on this fuzzy prolog approach are discussed here. These samples are implemented on Visual Prolog and have a good potential for efficiency, simplicity and flexibility. They exactly prove validity and applicability of the common fuzzy prolog approach proposed in this paper. Hence, the work above is somewhat valuable for research of common fuzzy prolog system.The approach proposed here still needs further modification. So, the succedent work includes: constructing syntax to work with discrete fuzzy set, introducing domains of fuzzy set using types.