动态认知逻辑相关论文
随着5G网络通信时代的到来,信息安全成为人们关注的问题之一,因为没有信息安全,就没有国家安全。保障信息安全使用密码机制的网络......
认知逻辑用来处理关于知识的推理。为了处理不确定知识,Fagin和Halpern引入概率语言,发展为一种概率认知逻辑。基于克里普克模型,......
在一个主体集中,每个主体对其他主体都有不同的信任程度。如果每个主体的证词(发言)都被看为一个信息源,那么,动态证词逻辑(DTL)就是......
随着西方哲学的语言学转向以及符号学、认知心理学等理论在西方的兴起和发展,隐喻理论研究呈现出一种多角度、多层次和多学科的多元......
一直以来,我们使用逻辑系统来描述数学的证明、结构的计算以及语言的意义.近年来,逻辑系统却越来越多地被用来研究理性行动者的很......
Robert Aumann的不一致的达成定理揭示了如果两个主体关于某事件E具有相同的先验概率,并且利用私人信息更新了他们关于事件E的概率,......
在案件侦破过程中,警方与疑犯作为博弈双方都会为自己的利益而采取相应的策略。作为对立的主体,双方对于某些公开信息的认知显然是......

