KNOWLEDGE REPRESENTATION BY CONJUNCTIVE NORMAL FORMS AND DISJUNCTIVE NORMAL FORMS BASED ON N-VARIABLE-M-DIMENSIONAL FUNDAMENTAL CLAUSES ANDPHRASES

In this paper, the n-variable-m-dimensional fundamental phrases and cl auses are used to completely build the universal basis for the general CNF and DNF. Furthermore, the general n-variable-m-dimensional CNF an d DNF are also defined in order to construct the generally standard ex pressions of different axiom-based CNFs and DNFs such as Ii-axiom-base d Boolean CNF and Boolean DNF, 9-axiom-based fuzzy CNF and fuzzy DNF, and 5-axiom-based t-norm-t-conorm CNF and t-norm-t-conorm DNF. Especia lly, the general algorithm to construct the general n-variable-m-dimen sional CNF (DNF) from any given DNF (CNF) is proposed. In general, the intrinsic relations among the axioms, the space of the fundamental ph rases (clauses), and the general CNF and DNF are briefly studied. Addi tionally, some interesting applications of knowledge representation by using the axiom-based CNF and DNF are also discussed. Finally, some n ew conclusions are drawn based on the new algorithm and the applicatio ns.