1) push-down symbol
下推符号
2) symbolic inference
符号推理
1.
A new system of integration of neural networks and symbolic inference (INNSI) is put forward.
提出一种神经网络与符号推理集成系统ＩＮＮＳＩ（ＩｎｔｅｇｒａｔｉｏｎｏｆＮｅｕｒａｌＮｅｔ－ｗｏｒｋｓａｎｄＳｙｍｂｏｌｉｃＩｎｆｅｒｅｎｃｅ）。
3) sign-reducing
符号推演
1.
The paper researches the theories and methods of model-decomposing for complex system based on sign-reducing function of computer algebra.
研究了利用计算机代数符号推演功能对复杂系统数学模型进行分解的有关理论和方法。
4) symbol reasoning
符号推理
1.
In the study of mechanical fault diagnosis, the research of diagnostic system basedon neural netwiorks and the research of diagnostic system based on symbol reasoning wereconducted separately on the whole.
在机械设备故障诊断的研究中，神经网络诊断系统和符号推理诊断系统基本上是分开研究的。
5) symbolic calculations
符号推导
1.
The modified normal form approach presented by ZHANG Wei_yi, K Huseyin and CHEN Yu_shu is further extended and a different procedure is introduced which lends itself readily to symbolic calculations, like MAPLE.
Huseyin等人提出的改进的范式方法作了进一步发展 ,引进了不同的分析过程 ,使其更适合于符号推导语言 (如MAPLE)的应用· 与过去的方法相比 ,在实际计算范式时 ,文中介绍的分析过程更简便、实用 ,具有更多的优越性· 文中 3个范例说明了此结论
6) symbolic analogy
符号类推法
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条