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
^II
bases on the type II topological logicC
^II

_T.