拐 是一种形式的逻辑推理，从数据描述的东西，以一个假设，即占可靠的数据，并寻求解释的相关证据。 “猜测”一词最早由美国哲学家查尔斯·桑德斯皮尔士 （1839年至1914年） 皮尔斯说，abduce一个假设的解释  从观察到的令人惊讶的情况下  是推测  可能是真实的，因为这样  将是理所当然 ​​的事。 ^[3]因此，为了abduce  从  包括确定  是足够的（或几乎是足够的），但不是必要的 ，因为  。

例如， 在草坪是湿的 。 但是，如果它昨夜下了雨 ，然后它会是不足为奇的， 草地是湿的 。 因此，通过溯因推理， 昨晚下雨的可能性， 它是合理的。 （但请注意，皮尔斯仍然相信没有一个单一的逻辑形式涵盖了所有被绑架）。 

皮尔斯认为不能简单地从P到 Q，良好的溯因推理涉及的决心，举例为P，Q是足够的，但也是最经济的解释 为 P ，Q是其中。 简化和经济，什么叫“飞跃”的绑架。 

在被绑架的主题有新的兴趣领域的法律， 计算机科学和人工智能的研究。 

演绎，归纳，并绑架

扣除

允许派生  从  只有在  是一个正式的结果  。 换句话说，扣除是假定的过程中导出的后果。 由于假设的真理，一个有效的扣除保证真理的结论。 例如，由于所有的单身汉是未婚男性，因为这个人是个单身汉，可以推断，此人是一个未婚的男性。

感应

允许推断  从  ，其中  没有必要从  。  可能给我们很好的理由去接受  ，但它并不能保证  。 例如，如果我们观察到的迄今为止的所有的天鹅都是白色的，我们可能会引起的可能性，所有的天鹅都是白色的，是合理的。 我们有充分的理由相信的前提下得出的结论，但不能保证真相的结论。 （事实上，它原来， 一些天鹅是黑色的 。）

拐

允许推断  作为解释  。 正因为如此，绑架允许的前提  的后果被abduced的  因此，不同方向的规则，诸如“ 演绎和绑架。  必须  “用于推断。这种绑架是正式的逻辑谬误肯定随之而来的或事后ERGO propter特别 ，因为有多个可能的解释  。 例如，在八球走向我们的抬头看了看，看到，我们可以abduce，它被击中母球。 母球的罢工将占到8球的运动。 它作为一种假说，解释我们观察。 其实有无限多的可能解释了8球的运动，并因此我们绑架并没有离开我们一定是母球做了事实罢工八球，但我们绑架是仍然有用的和可服务定位我们在我们的环境。 这个过程被绑架的科学方法的一个实例。 有无限可能的解释我们观察到的物理过程，但我们倾向于abduce一个单一的解释（或解释），他们希望我们可以更好地定位自己，在我们的周围环境和消除的可能性。

形式化绑架

基于逻辑绑架

逻辑 ，是从逻辑的理论解释  ，代表域和一组观察  。 诱拐解释的过程中导出的一组  根据  并挑选出这些解释之一。 为  是一个解释  根据  ，它应满足两个条件：

•  以下从  和  ;

•  是一致的  。

在形式逻辑中，  和  被假定为文字套。 的两个条件  作为解释  根据理论  形式化表示为：

 ;

 是一致的。

其中可能的解释  满足这两个条件，通常是一些其他条件的极小征收，以避免不相关的事实（不蕴涵的  ）被包括在解释。 绑架是那么的过程中，挑选出一些成员  。 标准挑选出来的成员，表示“最好”的解释，包括简单的先验概率 ，或解释力的解释。

的证明理论绑架的一阶经典逻辑基础上的后续的演算和双，基于语义场面分析场景的方法已经被提出（Cialdea者Mayer＆Pirri 1993）。 的方法是健全的，完整的，完整的一阶逻辑，而无需任何预还原到正常形式的公式。 这些方法也被推广到模态逻辑 。

溯因逻辑编程是一个计算的框架，扩展了正常的逻辑编程绑架。 分离的理论  成两个部分，其中之一是一个正常的逻辑程序，用于生成  通过反向推理的 ，另一种是完整性约束的一组，用于过滤组候选解释。

设置覆盖绑架

一个是基于不同的形式化绑架反相功能的假设，计算出明显的效果。 从形式上看，我们假设给定一组  和一组表现  的，它们与由域知识，由一个函数表示  需要作为参数的一组假设，并给出了作为一个结果，相应的表现。 换句话说，对于每个子集的假设  ，它们的影响是已知的  。

找到一组进行掳拐  这样，  。 换句话说，通过寻找一组假设进行绑架  例如，它们的影响  包括所有观测  。

一般假设的假设的影响是独立的，即，为每一个  ，它认为，  。 如果这一条件得到满足，绑架，可以被看作是一种形式的集合覆盖 。

溯验证

溯验证是验证一个给定的假设，通过溯因推理的过程。 这也可以被称为通过逐次逼近的推理。 根据这一原则，一个解释是有效的，如果它是一组已知的数据的最好的可能的解释。 最好的可能的解释往往是简单而优雅的条款（见奥卡姆剃刀 ）。 溯验证通常的做法是在科学假设的形成;此外，皮尔斯认为它是一个无处不在思想方面：

看窗外春光明媚的早晨，我看到盛开的杜鹃。 不，不！ 我不明白，虽然这是唯一的方法可以让我描述我所看到的。 这是一个命题，一个句子，一个事实，但我的看法是不命题，句子，其实，但只有一个形象，我容易明白的部分事实的陈述。 这种说法是抽象的，但我看到的是具体的。 我执行绑架时，我表达了一句什么，我看到了这么多。 事实是，我们的知识结构是一个纠结的感觉纯粹的假设确认和完善的感应。 不是最小的可以提前超越阶段的空置盯着知识，没有绑架的每一步。 

这是皮尔斯的自己的格言，“事实可以不被解释的一个假设更非凡的比这些事实本身的各种假说的至少非凡必须被采纳。” 后获得的推论过程的结果，我们可能会被留下与多个假设，其中一些可能是相互矛盾的。 溯验证的假设，这将导致你的目标识别方法。

概率绑架

概率溯推理的溯验证的一种形式，并在需要得到有关可能的假说的结论，如从医疗测试诊断的领域中被广泛使​​用。 例如，一家制药公司，开发了一个测试一个特定的传染病通常会确定的可靠性试验，让一组的感染者和非感染者一组进行测试。 假设语句  ：“实证检验”，  ：“负测试”，  “感染”，并  ：“没有感染”。 这些试验的结果，然后将确定在其灵敏度方面的可靠性的测试  和假阳性率  。 条件句的解释是：  ：“的概率的阳性测试给出感染”，并  ：“在不存在感染”阳性测试的概率。 在实际环境中应用这些条件语句的问题是，它们在相反的方向从业者需要什么表示。 作出诊断所需的条件语句是：  ：“感染的概率的给定的正的测试”，  ：“感染的概率给出否定的测试”。 感染的概率可以被有条件地推导出  ，其中“  “表示有条件扣除。不幸的是，所需的条件语句通常不直接提供给医生，但他们可以得到的，如果基准利率的感染在人群中被称为。

所需的条件可以正确地推导出反相可用的条件语句使用贝叶斯规则。 如下获得的反相条件语句：  术语  在右手侧的方程表示人口中的感染的基本费率。 类似地，术语  表示默认试验阳性的可能性，对一个素不相识的人在人群中。 在下面的表达式  和  表示基准利率  和它的补  分别使例如  。 充分体现所需的条件语句  和  然后： 

充分体现在被测者的感染条件abduced的概率，表示为  ，测试的结果，在基准利率的感染，以及测试的灵敏度和假阳性率，然后给：  。

概率绑架因此，可以描述为反相条件语句的方法，以便应用概率扣除。

的医用测试结果通常被认为是正的或负的，所以，当施加上述方​​程可以假定，要么  （正）或  （负）。 的情况下，病人测试阳性，上述方程可以简化为  这将给正确的，病人被感染的可能性。

基准利率的谬论在医学上， 或检察官的谬误 在法律推理中，由作出错误的假设，  。 虽然这个推理错误，往往会产生一个比较好的近似正确的假设的概率值，它可能导致非常低的情况下，基准利率是完全错误的结果和错误的结论的可靠性测试是不完美的。 基准利率的谬论是一个极端的例子得出结论，一个男的人只是因为他是怀孕测试呈阳性的妊娠试验。 显然， 男性怀孕的基准利率是零，假设测试不是完美的，这将是正确的结论，男性的人是不是怀孕了。

的概率绑架的表达可以推广到多元情况下， 即，状态空间  多个  和状态空间  多个国家  。

主观逻辑绑架

主观逻辑可以推广包括输入参数中的不确定性参数的概率逻辑 。 拐因此，在主观逻辑是上述的概率绑架的类似。 在主观逻辑的输入参数是复合函数调用可以二项式的主观意见，该意见时，适用于一个命题或多项适用于一组命题。 因此，多项式意见适用于一帧  （即状态空间的详尽的和互不相交的命题  ），并表示由复合函数  ，其中  是一个向量的信念群众的主张  ，  是的不确定性质量，  是一个向量的基准利率值的主张  。 这些组件满足  和  以及  。

假设帧  和  ，的组的条件的意见  和  ，认为  上  和基准利率功能  上  。 基于这些参数，主观逻辑提供了一种方法，用于导出倒置条件语句的组  和  。 使用这些反相器的条件判断，主观逻辑还提供了一种方法扣除。 拐在主观逻辑反转的条件和申请扣除。

有条件绑架的符号是“  “，并且操作者本身被表示为  。 主观逻辑绑架的表达是：  。

的概率值的输入参数的不确定性，可以明确表示，在分析过程中考虑的优点的主观逻辑绑架的概率绑架的。 因此，有可能执行溯分析中存在丢失或者不完整，输入的证据，这通常会导致输出的结论中的不确定性程度。

历史

哲学家查尔斯·桑德斯皮尔士 （  1839年至1914年）提出绑架到现代逻辑。 多年来，他称这样的推论假设 ， 绑架 ， 推定和溯 。 他认为这是一个主题在逻辑哲学作为一个规范性的领域，而不是纯粹的形式或数学逻辑，并最终在经济学研究的主题也。

两个阶段的发展，扩大等，一个假设在科学探究，绑架和感应折叠成一个总体的概念-假设。 这就是为什么，在由伽利略和培根开创的科学方法 ，溯阶段的假说形成的概念是简单地归纳。 因此，在二十世纪崩溃加强了卡尔·波普尔的假设-演绎模型的解释，其中的假设被认为只是“猜测” ^（在精神皮尔斯）。 然而，当一个假设的形成被认为是它变得清晰，此“猜测”已经被尝试和更健壮的思想的必要阶段其获取的状态，假设的过程的结果。 事实上，许多被绑架被拒绝或重大的修改，随后绑架之前，他们曾经到达这个阶段。

1900年以前，皮尔斯使用一个已知的规则解释的观察，处理绑架，这是一个已知的规则，如果下雨，草地是湿的，所以，解释的事实，草地是湿的，一推断，在下雨。 这仍然是普遍使用的术语“绑架” 社会科学和人工智能 。

皮尔斯一贯的特点，作为一种推论，即源于一个假设的结束解释，虽然一个挣钱的人，一些很好奇​​，或者令人惊讶的（异常）的前提下观察表示。 早在1865年，他写道，所有的原因和力量的概念达到通过假设的推理，在1900年中，他写道，所有的解释理论的内容达到通过绑架。 在其他方面，皮尔士修正了他的观点被绑架了多年。 

在以后的岁月里他的观点是：

• 拐的猜测。 这是“非常小阻碍”的逻辑规则。 即使是一个精心准备的头脑的个人猜测是更经常错的比对。 但我们猜测的成功远远超过随机运气似乎生来点化自然本能 ^（有些人说话的直觉在这样的情况下， ^）。
• 拐猜测一个新的或外部的想法，以便考虑到在一个合理的，本能的，经济的方式，一个令人惊讶的非常复杂的现象。 这是其最近的目标。 
• 它的目的是节约查询本身。 它的基本原理是感性往往不够，它的工作原理是唯一的来源的新思路，并加快发现新的真理，具有不可替代的。 其理由，尤其是涉及其作用，协调与其他交通工具的推理查询。 这是选择那些最值得一试的推理来解释的假设。
• 实用主义是溯因逻辑。 务实的格言 ，他开始把本能地引导）的说明（代后，必要的和足够的逻辑规则一般被绑架。 假设，是不安全的，需要有可以想象的知情实践的影响，从而可测试^，通过临床试验，加快节约询问。 经济研究什么叫绑架和支配它的艺术。 

写于1910年，皮尔斯也承认，“我之前打印本世纪初在几乎所有我或多或少地混合起来的假设，并归纳”和他的痕迹的混乱这两种类型的推理，对逻辑学家“太”狭窄和形式主义的一个概念推断，不必制定其处所的判决。“ 

他在19世纪60年代开始治疗的方式，他最终剥离无关紧要的或在某些情况下，误认为在一些假设的推论：

• 从观测到的多个字符的组合发生其发生必然会涉及;推断出现的字符（的特性）  ^，例如，如果发生任何A已知必须发生的B，C，D，E的 ，然后观察的B，C，D，E建议的方式解释的 A的发生。（但在1878年，他不再认为这种多样性共同所有假设的推论。 ^）
• 更不太可能的假设（在1867年和1883年，但于1878年，反正到了1900年的理由是没有概率，但由于缺乏替代品猜测，猜测的事实，是有成效的; 1903年，他讲的目标“很可能”在这个意义上接近真理“无限期感的”  1908年，他讨论的合理性本能的吸引力。 ^）在1901年为大约纸本的编辑，他讨论了“本能”和“自然”，随着种因素（低成本的测试，逻辑谨慎，广度，incomplexity）表示，他后调用methodeutical的。 
• 感应字符（但早在1900年，他的特点绑架猜测^）
• 引用一个已知规则的前提下，而不是，此推测一个规则的结论（但到了1903年，他允许这两种方法^）
•  ^（但在1903年，他提出了一个肯定前件的变化，而 ​​不是基本上是一个转型的演绎明确的三段论，和1911年，他不相信任何一种形式涵盖所有假设的推论^）。

1867年

1867年，在“自然分类的参数”， 假设的推论总是与一个群集中的字符（P'，P“，P'''等 ）发生时，至少有一定字符（M）。 （需要注意的是明确的三段论传统上被称为中间，谓词和主题的元素。例如：所有的人 [中]是凡人 [谓词]; 苏格拉底 [主题]一个人 [中] ERGO 苏格拉底 [主题]是致命的谓词“下面，'M'代表中间，一个谓词的'P'，'S'的主题。还要注意，皮尔士认为，所有可以扣除投入的形式，范畴三段论芭芭拉（AAA）。 ）

1878年

1878年，在“演绎，归纳，并假说”， ^，不再需要多个字符或谓词的推论是假设性的，但它仍然是有帮助的。 此外皮尔斯不再构成一个可能的假设假设性推论的结论。 的形式本身，它被理解，但没有明确的感应涉及随机选择，在假设性的推论涉及到一个“非常奇怪的情况下”。 的形式，而不是强调彼此的主张（不包括括号内的提示，如下图所示）重排的推理模式。

1883

皮尔斯长期对绑架的感应从字符或特性（称重，如对象不计算在内），明确在他的影响力1883年“理论可能的推断”，他在其中返回到涉及概率在假设的结论。 像“演绎，归纳法，假设”在1878年，它被广泛阅读（见统计历史的书籍，由斯蒂芬·斯蒂格勒 ），不像他后来的修正案绑架他的构想。 今天，绑架仍然是最通常被理解为一个已知的规则，包括不明原因的情况下诱导的字符和扩展。

1902年后

1902年，皮尔斯写道，他现在认为syllogistical的形式和学说的延伸和理解（即，物体和人物所引用的条款），是根本比他早先认为的。 在1903年，他提出如下形式绑架： 

令人惊讶的事实，C，观察到;

但是，如果A是真实的，C是理所当然的事，

因此，没有理由怀疑A是真实的。

这个假设是诬陷，但不能断言，有一个前提，然后断言合理的可疑的结论。 因此，如在较早的类别三段论形式，配制从一些前提（）的结论。 但是，所有的相同的假设包括比以往任何时候都更清楚地知道什么是已知的或观察到的一个新的或外部的。 感应在一定意义上超越了已经报道的处所的意见，但它只是放大的想法已经知道代表出现的，或者测试的假设提供一个想法，无论哪种方式，它需要以前的绑架，为了得到这样的想法摆在首位。 感应寻求事实来检验假设，绑架寻求一种假说来解释事实。

请注意，在假设（“A”）可能是一个规则。 它甚至不必是一个严格需要令人惊讶的观察（“C”），这只是作为一个“理所当然的事”，或“过程”本身可能构成一些已知的规则需要遵循的规则，只是提到，也不一定是绝对必要的规则。 同年，皮尔斯写了，达到一个假设，可能涉及到一个新的虚拟的规则或虚拟相结合的一种特殊的状态，事实与一个已知的规则下放置一个令人惊讶的观察，这样的现象并不奇怪，而是也未必暗示或至少是有可能的。 

皮尔斯并没有保持很相信任何这样的形式作为分类的的三段论形式或1903年的形式。 1911年，他写道，“我不这样做，现在，觉得不太相信任何逻辑形式可以被分配，将覆盖所有”Retroductions“的，我的意思是由溯仅仅是一个猜测，出现在脑海中。” 

实用主义

在1901年，皮尔斯写道，“不会有任何的逻辑在气势规则，并说，他们应该被跟随，直到它做出来的目的，假设需要他们。” 在1903年，皮尔斯被称为实用主义 “的逻辑绑架“，并表示， 务实的格言给予必要的和足够的合乎逻辑的规则，以绑架一般。 务实的格言是：“考虑什么样的影响，这可能被认为具有实际的轴承，我们认为我们的概念的对象。然后，我们这些效应的概念是整体的概念的对象。“ 它是一种富有成果的澄清概念的意义等同的概念可以想象的实际影响，其对象的构思影响。 皮尔斯认为，正是针对绑架的目的在调查中，形成一个想法，可以想见，塑造明智的行为。 在各种著作在1900年他说，被绑架的行为（或溯）是由经济的考虑，归属感，特别是经济研究。 他把经济学作为一个规范性的科学，其分析的部分，可能是部分的逻辑methodeutic（即，理论探究）。 

三个层次的逻辑有关绑架

皮尔斯多年来划分逻辑（哲学）三个部门：

1. 的Stechiology，或投机性的语法，意义的条件。 分类标志（semblances，症状，符号等）以及它们的组合（以及他们的的对象和interpretants ）。
2. 逻辑的批评，逻辑正确，推理的正确性或合理，真实再现的条件。 在各种模式（演绎，归纳，绑架）的论点的批判。
3. Methodeutic或投机的言论，在条件确定的解释。 在其相互作用模式的查询方法。

从一开始，皮尔斯，看到了推理模式正在协调科学探究，1900年，举行未经充分处理在批判的参数水平，特别是在假设性的推理。 ^[为了提高一个假设的结论，需要保证推断的影响有关证据被发现，预测的感应可以通过观察测试，以评估的假设。 这是皮尔斯的轮廓科学的调查方法 ，包括在他的调查方法，包括务实 ，正如他后来把它称为， 务实 ，澄清思想，可以想象的影响明智的做法。

分类标志

早在1866年， 皮尔斯认为：

1。 假设（溯因推理），是通过图标 （也称为肖像 ）的推论。 
2。 电磁炉是通过索引 （以实际连接的标志）的推论，一个样品是绘制该指数的整体。 
3。 扣除是通过符号 （符号解释的习惯，不论的相似或连接到它的对象）的推论。

1902年，皮尔斯写道，在绑架：“这是公认的现象是一样的 ，即构成一个图标，一般概念的翻版，或符号。” ^[35]

批判的参数

在临界水平皮尔斯检查的的形式的溯参数（如上文所述），来认为可行的，自然的假设应该节约的合理性的解释。 1908年，皮尔斯描述这种合理性的一些细节。 它涉及不调子根据观察，这是代替的感性评价一个假设，但而不是最优的简单的“轻便和自然”的感觉，伽利略的自然光的原因和不同的“逻辑简单性”（皮尔斯不会解雇逻辑简单，完全处于从属的角色，但他认为，这将有利于采取的合乎逻辑的极端不加解释，在所有的观察）。 即使是一个精心准备的头脑猜测更经常错的比对，但我们猜测成功不是随机的运气好达成的真理，或至少是推进调查，并表示皮尔斯，他们的总部设在本能的点化自然，亲和之间的心灵的过程和真正的过程，这将占到为什么吸引人“自然”的猜测是在的，oftenest（或至少很少）成功;到其中皮尔斯添加的参数，这样的猜测是到被首选，因为，没有“一个自然弯曲类似性质的“，人们会自然的理解有没有希望。 1910年皮尔斯，我的意思是概率，逼真，可信性，三路之间的区别和定义的合理性“应该”：“合理性与规范性的理论应该推荐我们的信念，独立于任何一种程度我们的本能驱使我们把它毫不逊色。“ 皮尔斯以外的证据，可信度不依赖于观测到的频率或概率，或逼真，或可测性，这是不是一个问题的假设的批判推断作为一个推论，而是一个问题的假设的关系，以探究的过程。

“这句话的推理并不总是最好的解释”（不使用皮尔斯，但往往假设推理）的最简单，最自然的理解。 然而，在其他感官的“最好的”，如“站起来最好的测试”，它是很难知道这是最好的解释，因为还没有测试它形成。 不过，皮尔斯的溯因推理的好，任何理由不成立时作为一个参数（不同的归纳法和演绎法）完成，相反，还取决于其方法论的作用，并承诺在推进调查（如它的可测性）。

调查方法

查看全部回复 倒序查看回复