信念修正的各种方法之比较.pdf

文档介绍：维普资讯
． 、基 于 公 式 的 方 法� 、序 列 极 限 的 方�
点 之 一 就是 信 念修 正 �����������．������，下 面 我们 用� 法� 州 和迭 代 的 方 法� 珊 都 占有重 要 的 地 位� 文�
文 ���中的例 子来 说明 信念 修正 的意 义 。候设 有 如下� ���，���给 出了用 于信 念修 正的一些 系 统�
的四 十命题�
�� ��� 的 方 法�
� ：所 有 欧 洲 的 空 鹄 都 是 白 色的 ．�
�：在 陷 井 中 捕 着 的 鸟 是 盘 鹄 ．� ����������，����������和 ���������Ⅲ 给 出 了�
�：在 �軎井 中 捕 着 的 鸟是 瑞 其 的� 信 念 修 正的 一种 方 法 ，人们 称 为 ��� 的方 法 。在�
��：瑞 典 是 政 嗣 的 一部 分 。� ��� 的方 法 中 ，若语 句 集 �是 一 十理 论 闭 包 ，别称�
报据 上面 的 知识 ，可 以推 出如 下 的结 论 ��在� �为信 念集 ．所谓 �是理 论 闭包 ，是 指对语 言 �的任�
陷井 中捕 着的 鸟是 白色的 ．� 意 一十语 句 �，如果 �� �，就有 �∈�。��� 将 信念�
假设 我们 在陷井 中捕 着 到 的鸟是 黑 色的 ，也 就� 修改 分 为三种 ：�
是说 我们 必须 接受事 实���� 若将���。加入到 上面�