首页 >
溯因推理
✍ dations ◷ 2025-10-06 19:01:08 #溯因推理
溯因法或溯因推理(英语: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)。
相关
- 毒物毒物是对生物造成不适反应的物质的总称。毒物对生物体造成的影响因种类不同各异,不适反应的类型以及程度也各不相同。另外对于有的生物来说具有毒性而对于别的生物来说无毒的
- RNA核糖核酸(英语:Ribonucleic acid),简称RNA,是一类由核糖核苷酸通过3',5'-磷酸二酯键聚合而成的线性大分子。自然界中的RNA通常是单链的,且RNA中最基本的四种碱基为A(腺嘌呤)、U(尿嘧
- 血管收缩血管收缩(vasoconstriction),亦即血管收窄,是指体内血管管腔收窄,这会造成血压的上升。它的相反过程称为血管舒张。血管收缩可以是由血管收缩剂造成。血管收缩剂是针对特定的受体
- 腹膜炎腹膜炎,是指一种发生于腹膜的炎症反应。该反应主要由细菌感染、化学物质、物理性伤害等因素引起,且很可能因没有及时治疗而危及生命。其症状可能包含剧烈疼痛、腹部肿胀、发烧
- 莱姆病莱姆病(Lyme disease)或莱姆疏螺旋体病是一种由伯氏疏螺旋体属生物引起的细菌性传染病。最常见的症状是皮肤会出现不会痒也不会痛的红斑,称为游走性红斑(英语:Erythema chronicum
- 睡眠睡眠又俗称睡觉,是一种在哺乳动物、鸟类和鱼类等生物中普遍存在的自然休息状态,此外,在无脊椎动物,例如果蝇中也有这种现象。睡眠的特征包括:减少主动的身体运动,对外界刺激反应减
- 阿拉伯非洲与撒哈拉以南非洲相对,北非即非洲大陆北部地区,习惯上为苏丹热带草原以北广大区域。联合国定义的“北非”,是指撒哈拉沙漠以北地区,包括埃及、利比亚、阿尔及利亚、突尼斯、摩洛
- 叶夫帕托里亚叶夫帕托里亚(乌克兰语:Євпаторія, 俄语:Евпатория, 克里米亚鞑靼语:Kezlev, 希腊语:Ευπατορία, Κερκινίτις - Eupatoria, Kerkinitis, 土
- 帕斯卡的赌注帕斯卡的赌注(英语:Pascal's Wager)是基督教辨惑学的哲学一部分,由17世纪的法国哲学家布莱兹·帕斯卡提出。帕斯卡假定所有人类对上帝存在或不存在下注。由于上帝可能确实存在,并
- 乔治·贝克莱乔治·贝克莱(英语:George Berkeley,1685年3月12日-1753年1月14日),著名英裔爱尔兰哲学家,同时为圣公会驻爱尔兰科克郡克洛因镇的主教,与约翰·洛克和大卫·休谟被认为是英国近代经