信念修正

✍ dations ◷ 2025-11-30 17:50:05 #信念修正

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

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

通常区分两类变更：

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

相关

兰州牛肉面兰州牛肉面，是中国大陆的常见面条类主食，在兰州叫做牛肉面、牛大碗。兰州以外又被称作兰州拉面、兰州牛肉拉面。用老汤加水煮牛肉、羊肝，再加入传统佐料，熬制而成。完成后的牛肉
乙醘辅酶A乙酰辅酶A（英语：acetyl-CoA）是激活了的乙酸，由乙酰基（CH3CO-）与辅酶A的巯基以高能的硫酯键相连。乙酰辅酶A是脂肪酸的β-氧化及糖酵解后产生的丙酮酸脱羧后的产物。在三羧酸循环的
食盐进军食盐进军，又称为食盐长征，发生于1930年，为印度国父圣雄甘地领导的不合作运动之一。该抗争英国殖民政府的和平示威活动，于24日后获得局部性胜利。1930年初，殖民印度的英国政府制定
路易斯·德·莱昂路易斯·德·莱昂（英语：Luis de León），（1527年－1591年），文艺复兴时期欧洲西班牙帝国奥斯定会修士。为诗人和翻译家，他曾根据贺拉斯诗体，用西班牙语写作古典风格的颂诗，其作品到1631年
金沙洲大桥金沙洲大桥，位于中国广州市白云区，全长约1125米，东连罗冲围，西接金沙洲，于2003年1月20日上午通车，为广州的重要西出通道。本桥是为了配合金沙洲小区的开发而建的一座跨越珠江的大
冈田麿里\ 冈田麿里（日语：岡田麿里，1976年4月23日－），日本女性编剧、导演，主要担当动画的剧本和系列构成。日本剧本家连盟会员。出身于埼玉县秩父市。于1996年以创作video电影剧本
米内佑希米内佑希（1989年12月23日－）是日本的男性声优。出身于秋田县横手市。隶属于81 Produce。血型A型。曾就读东京播音学院（现：东京声优学院）声优养成科、81ACTOR'S STUDIO。后加入81 Pr
罗特河 (多瑙河右支流)坐标：48°26′39.5″N 10°9′17″E / 48.444306°N 10.15472°E / 48.444306; 10.15472罗特河（德语：Roth），是德国的河流，位于该国东南部，由巴伐利亚负责管辖，属于多瑙河的右支流，河
诗月圆诗月圆（日语：詩月まどか，1996年9月17日－），日本AV女优。所属事务所是オールプロ。2020年1月以SOD的企划“Ms.SOD”的专属女优身份出道。2020年12月宣布脱离专属身份。2021年3月以企划单体女优身份活动。出身于福岛县兴趣是读书和打排球，擅长不用手自慰。喜欢看特摄片，尤其是假面骑士OOO和假面骑士Build。艺名的“まどか”取自于‘魔法少女小圆’的“鹿目圆”。然而比起“鹿目圆”，她更喜欢的角色是“晓美焰”。
李弘 (广汉)李弘（?－?），东晋广汉人，宗教起事领袖（晋朝斥之为妖贼）。370年，李弘诈称是成汉末代皇帝李势的儿子，与益州李金银聚众反晋，弘自称圣王，聚集了一万多兵众，年号为凤凰。九月，益州刺史周楚派孙子梓潼太守周虓讨平定了李弘、李金银之乱。