rén gōng zhì néng/nài计算机科学的一个分支。研究应用计算机来模拟人类的某些智力活动，从而代替人类的某些脑力劳动。是一门涉及数学、心理学、生物学、语言学、经济学、哲学和法律学等的综合性学科。主要研究模式识别、学习过程、探索过程、推理过程等。

nèi/nà zhòu1."归纳推理"的旧译。

yīn míng1.亦称"因明论"。 2.古代印度五明之一。音译为醯都费陀，意译为因明。"因"指原因﹑根据﹑理由;"明"义为学术。因明即关于逻辑推理的学说，随佛教传入中国。

fù hé/gě sān duàn lùn/lún几个三段论联结而成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)。如：“科学是有用的，逻辑学是科学，所以逻辑学是有用的。一切有用的东西都应该学习，因此逻辑学应该学习。”其中，“逻辑学是有用的”是前一个三段论的结论，又是后一个三段论的小前提。

dà qián tí演绎推理中包含一般性知识的前提。在三段论中指包含大项的前提。

guī nà①归拢并使有条理（多用于抽象事物）：大家提的意见，～起来主要就是这三点。②一种推理方法，由一系列具体的事实概括出一般原理（跟‘演绎’相对）。

guī nà zhèng míng“演绎证明”的对称。运用归纳推理所作的证明。论题是一般性知识，论据是在该一般性知识范围之内的知识或事实。只有完全归纳推理和科学归纳推理可以用于证明，简单枚举归纳推理不能用于证明。

huàn wèi fǎ改换一个性质判断的主项和谓项的位置以推出一个新判断的直接推理。其规则是：(1)联项不变。(2)前提中不周延的概念，在结论中不得周延。如由“所有的金属都是元素”推出“有些元素是金属”。

tuī dǎo1. 根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论。

tuī lùn/lún1.推详论述。 2.逻辑学名词。用语言形式表达出来的推理。