Department of Applied Mathematics, Southwest Jiaotong University,Chengdu 610031,China;
Department of Applied Mathematics, Southwest Jiaotong University,Chengdu 610031,China;
multi-layer perceptron; extension multi-layer perceptron; propositional calculus; propositional knowledge buse; semantic deduction;