自省主体对Moore-型信息的处理与融合

发布时间：2018-02-02 06:44

本文关键词： 信念修正自省主体 Moore-型信息不成功修正弱成功　出处：《北京师范大学学报(社会科学版)》2008年05期 　论文类型：期刊论文

【摘要】：主体的信念状态随着世界的改变和新信息的输入等因素在不断地演化,对于信念状态变化规律的描述和形式刻画在一定程度上可以帮助我们模拟人类等具有的高级智能,从而为计算机人工智能这样的学科提供理论基础,对哲学、逻辑学等本身的发展也有一定的理论意义。这里我们考察具有足够推理能力的完全自省主体在信念修正过程中对Moore-型信息的处理规律,即把相应主体信念状态的Moore-型断定作为新信息输入,用来修正原来的信念状态。经典的AGM理论可以较好地刻画不含模态算子的客观信息的修正。然而,如果把主体信念状态中的信息和用来修正的新信息的形式扩大到模态的情况,"成功"和"一致性"公设不可能同时成立。为此,我们首先讨论自省主体i在自己的信念状态和客观事实的信念的不同组合情况下,对涉及自身信念状态的Moore-型信息A∧┐BiA的修正可能与结果。然后选出其中有意义的过程,定义和说明一种弱化的"成功"版本——"不成功修正";并且在继承经典AGM某些公设的基础上,给出上述修正过程的局部描述。此外,我们还将结合动态信念逻辑等工具,试图给出上述修正过程的逻辑表达。
[Abstract]:The belief state of the subject evolves with the change of the world and the input of new information. To a certain extent, the description and formal description of the law of change of belief state can help us to simulate the advanced intelligence of human beings, thus providing a theoretical basis for such subjects as computer artificial intelligence and philosophy. The development of logic itself also has certain theoretical significance. Here we investigate the processing law of Moore-type information by fully introspection subject with sufficient reasoning ability in the process of belief revision. That is to say, Moore-type determination of the corresponding subject belief state is regarded as the input of new information. The classical AGM theory can well describe the correction of objective information without modal operators. If the information in the subject belief state and the form of the new information used to be modified are extended to the case of the mode, the postulates of "success" and "consistency" cannot be established at the same time. We first discuss the case of introspection subject I in different combinations of beliefs of one's own belief state and objective facts. The modification of Moore-type information A A BiA involving its own belief state is possible and result, and then the meaningful process is selected. Definition and description of a weak version of "success"-"unsuccessful revision"; On the basis of inheriting some postulates of classical AGM, the local description of the above correction process is given. In addition, we will try to give the logical expression of the above correction process with the tools of dynamic belief logic and so on.
【作者单位】：北京师范大学价值与文化研究中心;
【基金】：教育部人文社会科学研究青年项目“基于自然语言的信念修正和知识更新逻辑研究”(07JC720401)
【分类号】：B81
【正文快照】： 一、背景和问题由来我们面临着无时不在变化的世界,新的信息不断地冲击着主体①原有的信念系统,主体不可能对新出现的各种信息而无动于衷。有时主体可能不假思索地接受新信息;有时为了接受新信息会产生很多麻烦,它们不得不对自己原有的信念状态作出调整;有时主体有很强的免疫

【参考文献】