First, this paper gives the relative basic theory ofdynamic fuzzy logic, and introduces the basic data types ofdynamic fuzzy logic. Then we introduce the basic data typesof dynamic fuzzy logic and the abstract syntax of dynamicfuzzy logic programming language. At last, this paper givesthe categorical description of dynamic fuzzy logicprogramming language according to categorical theory, andsome examples are also given to demonstrate the theory putforward in the paper. The achievement of this paper will laythe foundation for the further development of dynamicfuzzy logic programming language.
展开▼