作为推理的根据的判断。如在“正义的事业一定胜利，我们的事业是正义的事业，所以我们的事业一定胜利”这个推理中，前两个判断是推理的根据，称为前提。

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

1.指进行分析﹑综合﹑推理﹑判断等思维活动。

由一个共同概念联系着的两个性质判断做前提，推出另一个性质判断做结论的推理。如：“一切金属都能导电，铜是金属，所以铜能导电。”这是一种最常用的推理形式。它只能有三个概念，每个概念分别在两个判断中出现。

1.亦作"说智"。古代墨家的认识论术语。指由逻辑推理得来的知识。语出《墨子．经说上》﹕"知﹐传受之﹐闻也。方不障﹐说也。身观焉﹐亲也。" 2.谓说给人听﹐使其知道。

1.推详论述。 2.逻辑学名词。用语言形式表达出来的推理。

1.演绎推理。

1.《墨子》中由彼及此的推理方法。相当于类比推理。语本《墨子．小取》:"援也者，曰:'子然，我奚独不可以然也。'推也者，以其所不取之，同于其所取者，予之也。"孙诒让间诂:"谓所求者在此，所不求者在彼，取彼就此以得其同，所谓予之也。"

将知识作为一个工程问题研究和处理。主要研究知识的结构和模式、知识在计算机内部的表达方式、知识的获取方式以及应用知识解决问题的各种推理方法等。

1.辨析论述。 2.论辩。辨﹐通"辩"。 3.辩解﹐分辩。辨﹐通"辩"。 4.中国古代逻辑名词。指推理和论证。