信念修正

✍ dations ◷ 2025-03-04 05:18:21 #信念修正

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

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

通常区分两类变更：

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

相关

袁亚湘袁亚湘（1960年1月－），湖南人，中国数学家，中国科学院数学与系统科学研究院研究员、博士生导师。现任国际工业与应用数学联盟（International Council for Industrial and Applied Math
维和部队联合国维持和平部队（英语：United Nations Peacekeeping Force）简称联合国维和部队，指由大会或联合国安全理事会至少需九票赞成（必须包括五个常任理事国）核准部署并决定其任务授权
代数数论在数学中，代数数论是数论的一支，其中我们将“数”的概念延伸，以解决具体的数论问题。我们在代数数论中考虑代数数，这类数是有理系数多项式的根。与此相关的概念是数域，这是有理数
穆斯考尔公园穆斯考尔公园（德语：Muskauer Park，波兰语：Park Mużakowski）是位于德国和波兰之间，横跨两国界河尼萨河的有一座英式庭园，面积达560公顷。这个公园于1815年开始修建。在二战期间，这座
东园基敬东园基敬（1820年11月28日－1883年5月24日），是江户时代末期的公卿，也是藤原北家中御门流（日语：中御門流）堂上家的东园家（日语：東園家）当主。东园基敬在文政三年（1820年）出生，是父母东园基贞
中嶋佑佳中嶋佑佳（日语：中嶋ゆか，8月31日－），是日本茨城县出身的女性漫画家，2007年《ChuChu》（小学馆）10月号出道，作品为少女漫画。
星盘号岛坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n
51年
很高兴遇见你《很高兴遇见你》是周深为《王者荣耀》七周年演唱的遇见主题曲。此曲获得QQ音乐游戏音乐榜周榜冠军、巅峰MV全球榜周榜冠军、巅峰MV内地榜周榜冠军，央广全球华语音乐流行榜周榜冠军，以及酷狗音乐、QQ音乐、酷我音乐九个榜单的日榜冠军。此曲是腾讯音乐由你榜2022年度游戏歌曲TOP1。王者荣耀是腾讯集团2015年发布的一款多人在线快节奏竞技游戏。2022年，周深作为王者荣耀快乐大使，演唱的《很高兴遇见你》是其七周年遇见主题曲。编曲采用舞曲风格，融合了世界音乐风，采用了中国南箫、小提琴、阿塞拜疆塔尔琴、拉丁打击乐器
薮内优薮内优（1969年12月1日－）、日本女性漫画家。兵库县西宫市出身。目前住北海道札幌。専攻少女漫画。出道时的名义是薮内優（やぶうちゆう）。代表作是《水色时代》、《少女少年》、《少女的秘密心事》等。现时是育有一子一女的母亲。于1983年，13岁时凭“抱歉我是大胸脯！”于漫画杂志“CIAO-9月号增刊”初出道。徐后于1990年代成为“CIAO”的常任漫画家。由2007年12月至现时，仍活跃于漫画杂志“小学五年生”、“CHUCHU”当中。薮内优善于描绘青春期男孩子和女孩子，与社会环境变化之间的身心成长，从而