您的当前位置：领域 > 推理 领域
即时推理 （直接推理）
即时推理（immediate inference），即“直接推理”。
因果推断法 （一种推理方法）
因果推断法是一种推理方法，要求原因先于结果，原因和结果同时变化或者有相关性。世上
统计归纳法 （推理方法）
统计归纳法是根据某类对象的样本具有某属性推出某类对象的全体都具有某种属性的推理方
反三段论法 （演绎推理方法）
反三段论法是一种演绎推理方法。反三段论的推理形式如下：如果大前提真并且小前提真，
选言推理法 （运用复合判断进行推理的方法）
选言推理法是运用复合判断进行推理的方法之一。它是根据选言判断的各个选言肢之间的逻
演绎证明 （运用演绎推理所作的证明）
演绎证明，“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在
基础理论 （基本概念、范畴、判断与推理）
基础理论，指一门学科的基本概念、范畴、判断与推理。科学的基础理论，指科学的基本概
反向推理机 （基于反向推理策略的推理机）
反向推理机是基于反向推理策略的推理机。推理机主要包括推理和控制二个方面， 是知识
科学演绎 （推理方法）
科学演绎，是从一般到个别的推理方法，即用已知的一般原理考察某一特殊的对象，推演出
逆向分析 （推理分析某个事物可能）
逆向分析：对一个事物的可能，对其进行反向分析，分解和重构，推理分析某个事物可能。
图形推理 （推理方式）
图形推理指的是一种推理方式。在一个图形推理中，已知的若干图形构成前提，由前提而得
贝叶斯学习理论 （通过概率规则来实现学习和推理过程）
贝叶斯学习理论使用概率去表示所有形式的不确定性，通过概率规则来实现学习和推理过程
战略类推 （推理的形式）
战略类推指出，如果管理人员懂得如何类推，他们将受益匪浅。 面对不熟悉的、新奇的问
线性矢列演算 （线性逻辑的根岑型推理系统）
线性矢列演算(linear sequent calculus)线性逻辑的根岑型推
默认推理 （在知识不完全的情况下作出的推理）
默认推理，又称缺省推理，是指在知识不完全的情况下作出的推理。通常的形式：如果没有
肯定前件式 （只肯定前件的假言推理形式）
肯定前件式（modus ponens）指只肯定前件的假言推理形式。
限定推理 （逻辑推理方式）
限定推理是指在空白基础上，设置绝对遵守的前提条件，即为限定条件，以及有限的限定发
三支比量 （推理方法）
语解释(1)古 印度 因明学的推理方法。因明法之宗、因、喻称三支。以因、喻论证宗
证据推理 （D-S推理）
证据推理（英文： evidential reasoning ）， 又称登姆普斯特
多元溯因法 （推理方法）
多元溯因法，是一种根据已观察现象的特征，从多个角度追溯可解释该现象的可能原因的推
推理吧 （推理学术语）
推理吧，是架构在百度贴吧平台上的一个网络交流论坛。因为贴吧的影响、推理吧拥有着国
联言推理 （推理学术语）
联言推理是前提或结论为联言命题，并根据联言命题的逻辑性质而进行推演的演绎推理。若
不确定推理 （推理）
不确定推理，基于不确定性和不完整性问题的推理。当智能体在一个非完整表征的空间进行
推论阶梯 （推理方式）
推论阶梯是用来检视我们思考过程的工具，能够帮助人们学会更好地认识自己的思维和逻辑
信息推理 （推理方式）
信息推理指在掌握一定事实、数据和事物相关性的基础上，通过因果关系、特定关系等顺次
赌徒谬误 （不合逻辑的推理方式）
赌徒谬误（gambler‘s fallacy）是生活中常见的一种不合逻辑的推理方
自适应神经模糊系统 （模糊推理系统结构）
J-S.R.Jang提出的自适应神经模糊推理系统是一种将模糊逻辑和神经元网络有机
案例式推理 （类比推理方法）
案例式推理，即CBR(CASE-BASED REASONING)，是一种类比推理
不完全归纳推理 （统计推理归纳事务中比较常用的一种方法）
不完全归纳推理是统计推理归纳事务中比较常用的一种方法。由于完全归纳推理具有一定的
神探医生 （国内首档医疗推理竞技真人秀）
国内首档医疗推理竞技真人秀《神探医生》，6月13日起每周五晚9:30在旅游卫视
唐人街探案3 （刘昊然主演的悬疑推理喜剧片）
《唐人街探案3》是由陈思诚执导，王宝强、刘昊然领衔主演，妻夫木聪、托尼·贾、长泽
概率推理 （推理术语）
概率推理（probability reasoning）是指推理的一种形式。人们根
大山诚一郎 （推理作家小说家）
日本推理作家，翻译家。1971年生于日本埼玉县，曾就读于京都大学，是京都大学推理
张千光 （推理作家）
张千光，女性，1990年10月生，最爱推理，是一推理写手。时常活跃于一“推理之门
黑之侦探 （侦探推理类漫画）
《黑之侦探》是日本作家丘円的写的侦探推理类漫画，该漫画讲述了所有的犯罪者，跪倒在
福元法 （中国风水学的推理方法）
福元法，中国风水学的推理方法。乾山、坤山、离山、巽山、震山、兑山、坎山、艮山。它
中岛河太郎 （日本的推理文学评论家）
中岛河太郎（1917年6月5日- 1999年5月5日）是日本的推理文学评论家，国
逻辑推理机 （可自动进行推理的计算机）
逻辑推理机，是可自动进行推理的计算机。其输入是所要求证明的推理目标、有关的变量以
岛田庄司 （日本推理小说之神）
岛田庄司，男，日本当代著名推理小说作家，新本格派导师。1948年10月12日出生
念子理论 （科学推理及逻辑演绎理论）
利用念子所展开的对宇宙形态、星际空间、暗物质本质、黑洞飓吸、万有引力、生命起缘归