论文部分内容阅读
主体的信念状态随着世界的改变和新信息的输入等因素在不断地演化，对于信念状态变化规律的描述和形式刻画在一定程度上可以帮助我们模拟人类等具有的高级智能，从而为计算机人工智能这样的学科提供理论基础，对哲学、逻辑学等本身的发展也有一定的理论意义。这里我们考察具有足够推理能力的完全自省主体在信念修正过程中对Moore--型信息的处理规律，即把相应主体信念状态的Moore一型断定作为新信息输入，用来修正原来的信念状态。经典的AGM理论可以较好地刻画不合模态算子的客观信息的修正。然而，如果把主体信念状态中的信息和用来修