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 mathbb{K}^{II} bases on the type II topological logic mathbb{C}_mathcal{T}^{II}.