-
题名基于动态认知逻辑的协议信息
- 1
-
-
作者
董英东
-
机构
湘潭大学碧泉书院
-
出处
《贵州工程应用技术学院学报》
2024年第1期47-56,共10页
-
基金
湖南省教育厅重点项目“动态认知逻辑视域下的协议信息研究”,项目编号:21A0075。
-
文摘
长期以来人们一直都在关注知识问题。在哲学中研究知识和信念性质的理论称为认识论。对认识论的形式化主要是运用模型以及基于数学的方法对知识和信念进行推理。动态认知逻辑的形式模型和一般框架可用于刻画计算机网络相关的异步信息传递系统等多主体系统的重要性质。由于单独运用动态认知逻辑无法很好地刻画协议信息,故可运用动态认知逻辑和认知时间逻辑的组合来刻画协议信息,这种技术在计算机网络系统中具有重要的应用价值。
-
关键词
认知逻辑
信念
协议
动态
-
Keywords
Epistemic Logic
Belief
Protocol
Dynamic
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名动态认知概率逻辑的扩充
- 2
-
-
作者
董英东
-
机构
湘潭大学碧泉书院
-
出处
《贵州工程应用技术学院学报》
2022年第4期32-43,共12页
-
基金
湖南省社科评审委项目“基于动态信息的概率认知逻辑研究”,项目编号:XSP22YBC550。
-
文摘
Kooi的动态认知概率逻辑是通过增加动态认知概率逻辑的语句来刻画公开宣告的推理。采用两种方法对该逻辑系统进行了扩充。其一是通过在类似于Kooi的动态认知概率逻辑中增加先验时间算子。其二涉及动态认知概率逻辑语境下的行动模型和更新积,这样就可以刻画诸如私人宣告等更多种类的行动。动态认知概率逻辑可以处理定性的信息变化和定量的信息变化,具有一定的应用价值。
-
关键词
认知概率逻辑
行动模型
更新积
公开宣告逻辑
-
Keywords
Epistemic Probabilistic Logic
Action Model
Update Product
Announcements Logic
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名纯归纳逻辑及其存在问题探析
- 3
-
-
作者
董英东
-
机构
湘潭大学碧泉书院
-
出处
《贵州工程应用技术学院学报》
2020年第3期8-15,共8页
-
基金
国家社科基金重大项目“现代逻辑的新发展、理论前沿与应用研究”,项目编号:15ZDB08
校级项目“基于认知逻辑的人类推理研究”,项目编号:95KZ|KZ0801103。
-
文摘
哲学家们经常讨论古德曼蓝绿悖论导致了卡尔纳普的归纳逻辑程序时代的终结。事实上,卡尔纳普主要考虑的是现实世界里我们所假定的概率问题的应用价值,并指出可以把归纳逻辑看作纯归纳逻辑,就像数学可分为纯数学和应用数学一样,主要研究概率的逻辑规则或推理规则,包括菲内蒂的表示定理、语言不变性原则和谱系可交换性原则等,并以此来回避蓝绿悖论。纯归纳逻辑和应用归纳逻辑相互交织,可以把纯归纳逻辑看作是数学逻辑的一部分,特别是不确定性推理的一个分支,数学家们所得的结论可能比纯技术的数学定理具有更广泛的意义。
-
关键词
纯归纳逻辑
概率函数
相关性原则
不相关性原则
-
Keywords
Pure Inductive
Probability Functions
Relevance Principle
Irrelevance Principle
-
分类号
B81
[哲学宗教—逻辑学]
-
