Knowledge Mass and Automation Reasoning System in Type II Topological Logic CT II | IEEE Conference Publication | IEEE Xplore