溯因推理

✍ dations ◷ 2025-04-02 12:54:44 #溯因推理
溯因法或溯因推理(英语:abductive reasoning,也译作反绎推理、反向推理),是推理到最佳解释的过程。换句话说,它是开始于事实的集合,并推导出其最佳解释的推理过程。有时使用术语溯因(abduction)意味生成假设来解释观察或结论,但是前者定义在哲学和计算二者中更常见。演绎和溯因区别在于推理中使用“ a {displaystyle a} 蕴涵 b {displaystyle b} ”这种规则的方向(与归纳的比较请参见逻辑推理):(以下b=结果)。(a=原因)在罕见的场合,使用表达“解释结论”而不是“解释”来指名溯因过程的结果。应用于人工智能中,包括故障诊断、信念修正和自动计划。在逻辑中,溯因法通过表示领域的逻辑理论 T {displaystyle T} 和观察的集合 O {displaystyle O} 进行的。溯因是依据 T {displaystyle T} 推导 O {displaystyle O} 的解释的集合。 E {displaystyle E} 要成为 O {displaystyle O} 依据 T {displaystyle T} 的解释,它应当满足两个条件:在形式逻辑中,假定 O {displaystyle O} 和 E {displaystyle E} 为文字的集合。 E {displaystyle E} 是 O {displaystyle O} 依据理论 T {displaystyle T} 的解释的两个条件则形式化为:在满足这两个条件的可能的解释 E {displaystyle E} 之中,通常施加一些其他的最小性条件来避免无关的事实(对 O {displaystyle O} 的蕴涵没有贡献)包含在解释中。溯因法的一种不同的形式化是基于逆转计算假设的可见效果的函数。形式化的说,我们给出假设的集合 H {displaystyle H} 和表现(manifestation)的集合 M {displaystyle M} ;它们相关于领域知识,并以函数 e {displaystyle e} 所表示,这个函数接受假设的集合作为参数并给出对应的表现的集合作为结果。换句话说,对于假设的所有子集 H ′ ⊆ H {displaystyle H'subseteq H} ,它们的效果通过 e ( H ′ ) {displaystyle e(H')} 来知道。溯因法通过找到一个集合 H ′ ⊆ H {displaystyle H'subseteq H} ,使得 M ⊆ e ( H ′ ) {displaystyle Msubseteq e(H')} 进行的。换句话说,溯因是通过找到假设的集合 H ′ {displaystyle H'} ,使得它们的效果 e ( H ′ ) {displaystyle e(H')} 包含所有的观察 M {displaystyle M} 来进行的。公共的假定是假设的效果是独立的,就是说,对于所有的 H ′ ⊆ H {displaystyle H'subseteq H} , e ( H ′ ) = ⋃ h ∈ H ′ e ( { h } ) {displaystyle e(H')=bigcup _{hin H'}e({h})} 成立。如果这些条件满足,溯因法就可看作集合覆盖的一种形式。哲学家查尔斯·桑德斯·皮尔士把溯因法引入至现代逻辑。在他1900年前的工作中,他主要使用这个术语来意味使用规则来解释观察,比如“如果下雨则草地是湿的”是用来解释草地是湿的的已知规则。他后来使用这个术语来意味建立解释新观察的新规则,强调溯因法是实际上建立任何新东西的唯一逻辑过程。也就是,他把科学的过程描述为溯因、演绎和蕴涵的组合,强调新知识只能通过溯因建立。这与在社会科学和人工智能中使用旧含义溯因的常见用法相反。皮尔士声称产生新规则的实际过程不受逻辑规则的“牵制”。他指出人们拥有先天能力来正确的做推理;将拥有这种能力解释为进化带来的好处。皮尔士对“溯因”的第二种用法类似于归纳法。溯因法已经应用于人工智能的各种任务。溯因法的最直接的应用是自动检测系统中的故障:给出与有关故障和表现的理论和一组故障(故障的可见效果),可以使用溯因法来推导故障的某个集合好像是问题的原因。溯因法也用于建模自动计划。给定与动作事件和它们的效果(例如事件演算的公式)有关的逻辑理论,找到达到一个状态的计划的问题可以建模为溯因蕴涵着最终状态是目的状态的文字的序列的问题。信念修正,由于新信息而调整信仰的过程,是应用溯因法的另一个领域。信仰修正的主要问题是新信息可能与信仰的结集相矛盾,但是结合的结果不能是矛盾的。这个过程可以通过使用溯因法来完成:一旦对观察的一个解释已经找到,整合它不产生矛盾。溯因的这种用法不是直接的,因为向其他命题公式集增加命题公式只能使矛盾更糟糕。转而,溯因是在排序可能世界的优先级的层次上进行的。本条目部分或全部内容出自以GFDL授权发布的《自由线上电脑词典》(FOLDOC)。

相关

  • 催眠药安眠药(英语:Hypnotic) (源自希腊语 Hypnos, sleep(睡眠)),是一类精神药物,用来提升睡眠品质,治疗失眠或术前麻醉,服用过量会致死。目前用于镇静(Sedation)的只有Afloqualone与Cloroqua
  • PreЄ前寒武纪(英语:Precambrian)是地质年代中,对于显生宙之前数个宙(eon)的非正式涵盖统称,原本正式的名称是隐生宙或隐生元(Cryptozoic eon),但后来拆分成冥古宙、太古宙与元古宙三个时代
  • 甲壳纲见内文甲壳亚门(学名:Crustacea)是由非常大的一组的节肢动物门形成的,通常被当作是一个亚门,包括常见的物种,例如螃蟹,虾,龙虾,淡水龙虾,磷虾,和藤壶等等。这些物种通过对非常不同的环
  • 控制污染物排放政策控制污染物排放政策是国家制定的,用以强制污染者减少污染物排放的政策,现在国际通用的制定政策的原则是污染者付费原则。控制污染物排放政策的制定大体经历三个阶段:在最初阶段
  • 温带沙漠温带干旱半干旱气候,其中温带干旱气候又称温带沙漠气候,温带半干旱气候又称温带草原气候。是周淑贞气候分类法里中纬度气候带的一种气侯类型,此外,在柯本气候分类法中也有这一气
  • 黑山县黑山县是中国辽宁省锦州市下辖的一个县。位于辽宁省西部。明代名为镇远堡,清初又叫小河山,小黑山。县城东北隅有小黑山,古上帝庙建于其颠。该山虽不甚高,但登临其上,远望群山,近瞻
  • 安提西尼安提西尼(古希腊语:Ἀντισθένης,Antisthenes,前445年-前365年),或译为安提斯泰尼,古希腊哲学家,苏格拉底弟子之一。安提西尼约生于公元前445年,他的父亲也叫安提西尼(Antisthe
  • 在科学领域的扩张学术出版(英语:academic publishing)是出版业的一个分支,范围涵盖学术研究领域。大多数学术成果都以期刊论文、书籍等形式被出版。大多数科学技术方面的期刊、书籍,都需要经过同
  • 阿斯匹灵中毒阿司匹林中毒,又被称作水杨酸中毒, 指的是急性或慢性的水杨酸中毒,大多是阿司匹林。 最常见的症状是耳鸣、恶心、腹痛以及代偿酸中毒的呼吸急促。 这些症状在早期可能并不明显,
  • 毛利语毛利语(毛利语:Māori, 聆听,也被称为te reo,“语言”之意)是新西兰原住民毛利人的语言、也是新西兰的三种官方语言之一,另两种是英语和手语。毛利人从太平洋诸岛来到新西兰之后、