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

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

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

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

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

运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支，构造一个穷尽该问题一切可能的选言判断，并断定除该选言支外，其他选言支都是假的，从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了，可以构造选言判断如下：“电灯突然熄灭，或者是因为停电，或者是因为保险丝烧断，或者是因为线路发生故障，或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假，从而断定论题是真的。

1.演绎推理。

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

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

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