文献类型：期刊文章

作　　者：林颖[1] 卫龙[2]

LIN Ying;WEI Long(Marxism College,Ningde Normal University,Ningde,Fujian352100,China;School of Philosophy,Anhui University,Hefei,Anhui230039,China)

机构地区：[1]宁德师范学院马克思主义学院,福建宁德352100 [2]安徽大学哲学学院,安徽合肥230039

出　　处：《贵州工程应用技术学院学报》

基　　金：2021年安徽省高校科研重点项目“人工智能视域下的信念-愿望-意图逻辑及(多)Agent行为表征研究”,项目编号:SK2021A0023。

年　　份：2022

卷　　号：40

期　　号：1

起止页码：54-59

语　　种：中文

收录情况：普通刊

摘　　要：把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理。为此,一方面需要把PDL中的标准测试算子换成信息测试算子,从而把主体的隐性信息态度(信念或者知识)进行显性化;另一方面需要对抽象行动和具体行动进行区分,以表达多主体间的合作与团队协同。BDL逻辑及其一些扩张逻辑具有可靠性、完全性、有穷模型性质和可判定性。

关 键 词：命题动态逻辑  模态逻辑 BDL逻辑  知识 信念

分 类 号：B81]