论文部分内容阅读
一直以来，我们使用逻辑系统来描述数学的证明、结构的计算以及语言的意义。近年来，逻辑系统却越来越多地被用来研究理性行动者的很多方面。例如，如何接受单一的信息，多主体间的交流行为，以及更为一般的受目标驱动的主体间的互动。特别是，对观察和交流中的信息流的研究，大家使用所谓的知识更新、信念修正和偏好改变的动态认知逻辑。当新信息进来时，这些逻辑使用信息的“语义意义”作为被更新状态的选择范围。然而，同样重要的是，理性主体的行动也会基于其他信息，譬如，由推理和反省得到的信息。对这些问题的研究实际上是对信息在更为语法的意