检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:董英东 DONG Ying-dong(Bi Quan Academy,Xiangtan University,Xiangtan,Hunan 411105,China)
出 处:《贵州工程应用技术学院学报》2022年第4期32-43,共12页Journal of Guizhou University Of Engineering Science
基 金:湖南省社科评审委项目“基于动态信息的概率认知逻辑研究”,项目编号:XSP22YBC550。
摘 要:Kooi的动态认知概率逻辑是通过增加动态认知概率逻辑的语句来刻画公开宣告的推理。采用两种方法对该逻辑系统进行了扩充。其一是通过在类似于Kooi的动态认知概率逻辑中增加先验时间算子。其二涉及动态认知概率逻辑语境下的行动模型和更新积,这样就可以刻画诸如私人宣告等更多种类的行动。动态认知概率逻辑可以处理定性的信息变化和定量的信息变化,具有一定的应用价值。Kooi’s dynamic epistemic probabilistic logic is to characterize publicly announced reasoning by adding statements to the dynamic epistemic probabilistic logic.We extend this logic system in two ways.One is by adding a priori time operator to the dynamic epistemic probabilistic logic similar to Kooi.The second involves action models and update products in the context of dynamic cognitive probabilistic logic,so that more kinds of actions such as private announcements can be described.Dynamic epistemic probability logic can deal with qualitative information changes and quantitative information changes,and has certain application value.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.19.120.1