论文部分内容阅读
自1985年AGM理论诞生以来，信念修正逐渐成为人工智能、非单调逻辑以及哲学领域令人感兴趣的问题。信念修正关注主体接受新信息时如何改变自己的认知状态，它总假定出现的新信息是可靠的，需要修正的总是主体的认知状态。然而在常识世界中，主体是理智的主体，并不会盲目地接受任何新信息，而是会首先对新出现的信息进行考察，寻求其解释或理由支持。如果其没有合理解释或可靠理由支持，主体会拒绝这一新信息;如果其有合理解释或可靠理由支持，才会用这一新信息来修正自己的认知状态。而这就涉及到溯因推理，因此需要将溯因推理与信念修正相结合。本文即立足于此，从一个新的视角出发，来揭示溯因推理与信念修正相关联的合法逻辑基础，旨在表明溯因推理与信念修正在某种程度上可以被看作是“一个硬币的两面”。
首先从后承关系的视角出发，显示单调后承关系(经典后承关系)走向非单调后承关系的路径，然后讨论非单调后承关系的一些结构规则，特别是谨慎单调性和理性单调性。增长后承关系、偏好后承关系以及理性后承关系都是非单调后承关系，而在第三章重点讨论理性后承关系，提出理性后承关系满足的基本限制条件:自返性、左经典等值、右弱化、消除性、谨慎单调性、前提析取以及理性单调性，并在Lehmann和Magidor(1992)以及Britz, Meyer和Varzinczak(2011)给出的模型基础上发展一个理性模型，并给出其表示定理的证明。
其次，根据溯因推理的逻辑形式，定义一种溯因后承关系，溯因后承关系也有单调与非单调之别，溯因理性后承关系就是一种非单调的后承关系。溯因理性后承关系也具有第三章提到的理性后承关系的一些结构规则，比如自返性、左经典等值、右弱化、消除性、谨慎单调性，但不满足前提析取和理性单调性，只具有它们的两种限制形式。同时，给出一个溯因理性模型，溯因理性模型是一个带有全前序的偏好模型，它建构的理念是在背景理论的模型Mod(T)上添加一个全前序≤T，进而将这种序转化成解释之间的一种序，以达到捕捉解释之间偏好的目的。
再次，考察流行的AGM信念修正，指出AGM理论没有考虑新信息的解释以及理由支持，如果要将此种情况考虑进来，那么就需要进到溯因信念修正。在Pagnucco(1996)，Lobo(1996)以及Schurz(2011)等人研究的基础上，定义一个溯因修正算予以及给出溯因修正算子应满足的基本公设，并给出其表示定理的证明。
最后，寻求溯因理性后承关系与溯因修正算子之间的关联。不少人已经表明了(Makinson1991;G(a)rdenfors1994; Freund1994，2004)理性后承关系与AGM修正算子之间具有对应关系，即“*”是满足AGM的信念修正运算，K是一个理论，后承关系～K被定义为α│～(k)β当且仅当β∈K*α，当且仅当│～K是一个理性的、保持一致的后承关系。将证明溯因理性后承关系与溯因修正算子之间也具有这种对应关系，表明理智主体心中存有一种溯因理性后承关系，这种关系驱使着主体进行信念修正，这样就使得溯因推理与信念修正相结合具有合理的逻辑基础。
首先从后承关系的视角出发，显示单调后承关系(经典后承关系)走向非单调后承关系的路径，然后讨论非单调后承关系的一些结构规则，特别是谨慎单调性和理性单调性。增长后承关系、偏好后承关系以及理性后承关系都是非单调后承关系，而在第三章重点讨论理性后承关系，提出理性后承关系满足的基本限制条件:自返性、左经典等值、右弱化、消除性、谨慎单调性、前提析取以及理性单调性，并在Lehmann和Magidor(1992)以及Britz, Meyer和Varzinczak(2011)给出的模型基础上发展一个理性模型，并给出其表示定理的证明。
其次，根据溯因推理的逻辑形式，定义一种溯因后承关系，溯因后承关系也有单调与非单调之别，溯因理性后承关系就是一种非单调的后承关系。溯因理性后承关系也具有第三章提到的理性后承关系的一些结构规则，比如自返性、左经典等值、右弱化、消除性、谨慎单调性，但不满足前提析取和理性单调性，只具有它们的两种限制形式。同时，给出一个溯因理性模型，溯因理性模型是一个带有全前序的偏好模型，它建构的理念是在背景理论的模型Mod(T)上添加一个全前序≤T，进而将这种序转化成解释之间的一种序，以达到捕捉解释之间偏好的目的。
再次，考察流行的AGM信念修正，指出AGM理论没有考虑新信息的解释以及理由支持，如果要将此种情况考虑进来，那么就需要进到溯因信念修正。在Pagnucco(1996)，Lobo(1996)以及Schurz(2011)等人研究的基础上，定义一个溯因修正算予以及给出溯因修正算子应满足的基本公设，并给出其表示定理的证明。
最后，寻求溯因理性后承关系与溯因修正算子之间的关联。不少人已经表明了(Makinson1991;G(a)rdenfors1994; Freund1994，2004)理性后承关系与AGM修正算子之间具有对应关系，即“*”是满足AGM的信念修正运算，K是一个理论，后承关系～K被定义为α│～(k)β当且仅当β∈K*α，当且仅当│～K是一个理性的、保持一致的后承关系。将证明溯因理性后承关系与溯因修正算子之间也具有这种对应关系，表明理智主体心中存有一种溯因理性后承关系，这种关系驱使着主体进行信念修正，这样就使得溯因推理与信念修正相结合具有合理的逻辑基础。