信念修正

✍ dations ◷ 2025-08-29 09:16:09 #信念修正

信念修正是变更信念来采纳新的信息片段的过程。在哲学、数据库和人工智能对理性助理的设计中都研究信念修正的逻辑形式化。

使信念修正不平凡的东西是进行这种操作的多种不同方式都是可行的。例如,如果当前的知识包括三个事实“ A {displaystyle A} 为真”,“ B {displaystyle B} 为真”和“如果 A {displaystyle A} B {displaystyle B} 为真,则 C {displaystyle C} 为真”,新信息“ C {displaystyle C} 为假”的介入只能通过去除掉这三个事实中至少一个来保持一致性。这种情况下,有至少三种方式来进行这个修正。一般的说,可以多种方式变更知识。

通常区分两类变更:

信念修正的主要假定是最小化变更:变更前后的知识应当尽可能类似。在更新的情况下,这个原理被形式化为惯性假定。在修正的情况下,这个原理强制变更尽可能多的保留信息。

相关

  • 群体遗传学现代生物分类群体从它们的 共同祖先遗传分化的图示。进化论介绍(英语:Introduction to evolution) 演化的证据 共同起源 共同起源的证据群体遗传学 · 遗传多样性 突变 · 自
  • HSOsub3/subCl氯磺酸(化学式:HSO3Cl)是一种无色或淡黄色的液体,为剧毒。具有辛辣气味,在空气中发烟,是硫酸的一个-OH 基团被氯取代后形成的化合物。分子为四面体构型,取代的基团处于硫酸与硫酰氯
  • Q20–Q24ICD-10 第十七章:先天畸形、变形和染色体异常,为ICD规定的各类先天畸形、变形和染色体异常。Q00-Q07 神经系统先天性畸形Q10-Q18 眼、耳、面和颈部先天性畸形Q20-Q28 循环系统
  • 语法分析在计算机科学和语言学中,语法分析(英语:syntactic analysis,也叫 parsing)是根据某种给定的形式文法对由单词序列(如英语单词序列)构成的输入文本进行分析并确定其语法结构的一种过
  • X战警 (电影)《X战警》(英语:)是一部于2000年上映的美国超级英雄电影,改编自惊奇漫画《X战警》科幻角色故事,由布莱恩·辛格执导,大卫·海特(英语:David Hayter)编剧。主演包括休·杰克曼、帕特里
  • 方志友方志友(1990年12月30日-),台湾女艺人,毕业于新北市崇光女中、辅仁大学意大利语文学系。2007年,参加中视第二届《超级星光大道》,获得第18名。经纪约属金星娱乐音乐部,作品多以广告、
  • 陈立 (心理学家)陈立(1902年7月22日-2004年3月18日),字卓如,男,湖南平江人,中国心理学家、教育家,中国近代工业心理学的先驱。陈立早年曾就读于武昌博文书院,1924年考入沪江大学理化专业。1928年毕业
  • 基隆市文化局基隆市文化局是基隆市政府所属机关,局本部位于基隆文化中心。1984年7月,基隆市政府成立“基隆市立文化中心筹备处”,负责筹建基隆市立文化中心;原“基隆市立图书馆”与“民俗文物馆”之人员、馆舍裁并,归属基隆市立文化中心筹备处管辖。1985年8月27日,基隆市立文化中心落成启用。2004年12月1日,基隆市立文化中心改制为基隆市文化局,原基隆市立文化中心馆舍改名为基隆文化中心。
  • 基督教插补在考据学中,基督教的插补一般是指在基督教的抄写过程中对犹太教和异教徒的原始文本进行文本插入和文本破坏。 在被称为旧约 pseudepigrapha的文本正文中值得注意的例子包括有争议的以诺相似和4 以斯拉的真实性,它们以基督教抄写员传统传播的形式包含可以说是后来的基督教对诸如人子等术语的理解。 其他具有重要基督教内容的文本包括《十二先祖遗嘱》 和《》。 约瑟夫斯作品中著名的有争议的例子包括约瑟夫斯关于施洗约翰和公义者雅各的部分,这些部分被广泛接受, 和 ,它被广泛认为在最好的情况下是损坏的。
  • 王德成王德成(?-1856年),字振溪,清朝武官,顺天府固安县(今河北省廊坊市固安县)门铁营人。同武进士出身。嘉庆二十四年(1819年)己卯恩科三甲武进士,以卫守备用。王德成生性诚笃,乐于为人排难解纷,里人均目之为善人。咸丰元年(1851年),选补浙江嘉兴府绍兴卫守备,在任四年,尽心职守。咸丰五年(1855年),补杭严卫守备,一年有余,连陞都司及镇守会龙山游击,未及到任,因病离世。民国《固安县志》有传。长子王万春,道光庚子科武举人,署左备营守备。孙秉钧,光绪庚寅科武举人,补东昌卫千总;秉铨,武庠生;秉枢,光绪戊