论文部分内容阅读
在一个主体集中,每个主体对其他主体都有不同的信任程度。如果每个主体的证词(发言)都被看为一个信息源,那么,动态证词逻辑(DTL)就是要模型刻画这些被当作信息源的主体之间的信息交流和主体信念的变化。从一个角度说,DTL通过在系统中增加“信息源”和“信任”,扩展了动态认知逻辑中的信念修正部分。从另一角度说,DTL通过在系统中增加信念修正,也对模态逻辑中“信念”这个概念进行了扩展。在证词逻辑的多主体框架内,可以模型刻画信息源的信息如何导致信息的接受者修正自己关于世界的信念、关于信息源的信念和关于其他主体的信念。也可以刻画‘一个主体不确定另一个主体到底相信什么’是怎么产生的”、“一个主体如何鉴别消息源到底信任谁”。为了刻画这些问题,引入了证词模型和模型转换,而且给出了公理。最后,以经济学领域中的信息瀑布现象为例,演示了DTL的运用。