A new approach which combines ANN and symbolicinference is presented, and its definitions and algorithms are given.
提出了结合人工神经网和符号推理的多重故障诊断方法，给出了该方法的定义和算法。
2
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
3
MENTAL EFFECTS of transitive inference, mainly include end-anchoring effect, translation effect, directional effect, serial position effect, and symbolic distance effect.