Title: Automatic generation & reduction of the semi-fuzzy knowledge base in symbolic processing and numerical calculation