数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

同一只飞鸿，有人以为野鸭，有人以为燕子。比喻由于主观片面，对于事物认识不清而判断错误。

模拟专家处理问题的方法进行工作的计算机系统。通常需将专家的知识及如何应用这些知识的方法编成程序，并预先送入计算机，然后由计算机根据需要处理的问题，应用这些知识和方法进行分析、推理和判断，最后得出结论。所得结论类似于专家处理该问题时得出的结论。

1.片面地判断。 2.独自决断。