Approximate Knowledge Mass and Extended Automation Reasoning System in Type II Topological Logic

This paper introduces and investigate the type II true level k knowledge circle, extended type II knowledge base, extended type II automatic reasoning system and the level (k,j) perfectness of extended type II knowledge base K<sup>II</sup> bases on the type II topological logicC<sup>II</sup> <sub>T.</sub>

[1]  Changshui Zhang,et al.  Mamdanian logic , 2004, 2004 IEEE International Conference on Fuzzy Systems (IEEE Cat. No.04CH37542).

[2]  Yee Leung,et al.  Integrated semantics and logic metric spaces , 2003, Fuzzy Sets Syst..

[3]  Mingsheng Ying,et al.  Deduction Theorem for Many-Valued Inference , 1991, Math. Log. Q..

[4]  Yalin Zheng,et al.  Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning , 2008, 2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery.

[5]  Shi-Zhong Bai.  PS-convergence theory of fuzzy nets and its applications , 2003, Inf. Sci..

[6]  Guojun Wang,et al.  On the Logic Foundation of Fuzzy Reasoning , 1999, Inf. Sci..

[7]  C. Pappis,et al.  A comparative assessment of measures of similarity of fuzzy values , 1993 .

[8]  C. Pappis.  Value approximation of fuzzy systems variables , 1991 .

[9]  W.J.M. Kickert.  ANALYSIS OF A FUZZY LOGIC CONTROLLER , 1993 .

[10]  Changshui Zhang,et al.  Type II Topological Logic C1T and Approximate Reasoning , 2005, FSKD.

[11]  Mingsheng Ying,et al.  A logic for approximate reasoning , 1994, Journal of Symbolic Logic.

[12]  Mingsheng Ying,et al.  Reasoning about probabilistic sequential programs in a probabilistic logic , 2003, Acta Informatica.

[13]  Yong Li,et al.  Knowledge Mass and Automation Reasoning System in Type II Topological Logic CT II , 2007, Fourth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2007).

[14]  Vilém Novák.  On the syntactico-semantical completeness of first-order fuzzy logic. II. Main results , 1990, Kybernetika.

[15]  Guangwu Meng,et al.  On countably strong fuzzy compact sets in L -fuzzy topological spaces , 1995 .

[16]  Guo-Jun Wang,et al.  On some gross misunderstandings about the theory of topological molecular lattices , 1997, Fuzzy Sets Syst..

[17]  Mingsheng Ying.  The Fundamental Theorem of Ultraproduct in Pavelka's Logic , 1992, Math. Log. Q..

[18]  Guo-Jun Wang.  Fuzzy continuous input-output controllers are universal approximators , 1998, Fuzzy Sets Syst..

[19]  Guojun Wang,et al.  Non-fuzzy versions of fuzzy reasoning in classical logics , 2001, Inf. Sci..

[20]  Wang Guo-jun,et al.  Theory of topological molecular lattices , 1992 .