证词逻辑初探——对信息源的信任

来源 :西南大学 | 被引量 : 0次 | 上传用户:gyzviking
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在一个主体集中,每个主体对其他主体都有不同的信任程度。如果每个主体的证词(发言)都被看为一个信息源,那么,动态证词逻辑(DTL)就是要模型刻画这些被当作信息源的主体之间的信息交流和主体信念的变化。从一个角度说,DTL通过在系统中增加“信息源”和“信任”,扩展了动态认知逻辑中的信念修正部分。从另一角度说,DTL通过在系统中增加信念修正,也对模态逻辑中“信念”这个概念进行了扩展。在证词逻辑的多主体框架内,可以模型刻画信息源的信息如何导致信息的接受者修正自己关于世界的信念、关于信息源的信念和关于其他主体的信念。也可以刻画‘一个主体不确定另一个主体到底相信什么’是怎么产生的”、“一个主体如何鉴别消息源到底信任谁”。为了刻画这些问题,引入了证词模型和模型转换,而且给出了公理。最后,以经济学领域中的信息瀑布现象为例,演示了DTL的运用。  
其他文献
马克思哲学与费尔巴哈哲学的关系一直是一个被广泛关注的论题。毋庸置疑,马克思哲学与费尔巴哈哲学在本质上是迥乎不同的,在《关于费尔巴哈的提纲》中,马克思就将“实践”作
任何一种文化和科技的进步,任何一种文明的发展,都离不开“创新”的功劳,创新是每个民族的灵魂,是每个国家前进的动力。创新实力是一个国家的核心竞争力,它直接决定了国家在世界竞
墨子与阿基米德的科技思想是古代中国与希腊科学思想的典型体现,但是古代东西方不同的思想却产生了不同的后果,古希腊孕育了近代欧洲的科学萌芽,而墨家学说却在当代走向了衰
贝尔纳·斯蒂格勒(Bernard Stiegler,1952.),是法国著名哲学家,他的哲学著作《技术与时间》被认为是20世纪末法国哲学界最有影响力的著作之一。在《技术与时间:爱比米修斯的