Knowledge Mass and Automation Reasoning System in Type II Topological Logic CT II

This paper introduces and investigate the type II knowledge mass, type II knowledge universe, type II knowledge base and type II automatic reasoning system bases on the type II topological logic C_T ^II. We also present and investigate the type II completeness and type II perfectness of knowledge base K in type II regular topological logic C_T ^II with regular matching function C in this paper.