论文摘要
可计算性逻辑(Computability Logic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计算性逻辑中,经典逻辑的公式表示成了交互计算的问题;求解可计算性问题的过程可以看成是机器(计算部件)和环境(输入输出部件)之间的博弈;经典逻辑的公式"真"值表示在可计算性逻辑中存在着一个有效解;推理系统的建立采用自然演绎推理方法,图形化表示的cirquent允许不同的父结点可以有相同的子结点,保证资源可以共享,资源共享还可以有选择进行区分,而且,这种基于电路式的推理已经证明比传统的Gentzen相继式推理证明效率有指数级的提高。Cirquent演算的灵活性、高效性、表达性强等特点,使它正成为CoL的一种公理化工具。
论文目录
文章来源
类型: 期刊论文
作者: 夏卫国,曲美霞
关键词: 可计算性逻辑,演算,博弈语义,交互计算性
来源: 贵州工程应用技术学院学报 2019年05期
年度: 2019
分类: 社会科学Ⅱ辑,基础科学,信息科技
专业: 数学,计算机软件及计算机应用
单位: 山东大学(威海)哲学与社会发展研究中心,山东大学(威海)机电与信息工程学院
分类号: TP301.4;O225
页码: 26-34
总页数: 9
文件大小: 2016K
下载量: 22
相关论文文献
- [1].社会的可计算性与人的自由[J]. 河南社会科学 2015(10)
- [2].分析中的可计算性[J]. 宁夏大学学报(自然科学版) 2012(01)
- [3].基于可计算性逻辑的知识表示与推理[J]. 吉林大学学报(理学版) 2009(06)
- [4].可计算性逻辑中CL4系统定理证明[J]. 西安邮电学院学报 2011(05)
- [5].可计算性对经济管理科学的影响[J]. 科学对社会的影响 2009(03)
- [6].可计算性逻辑中CoL2系统的可判定性分析[J]. 计算机科学 2015(07)
- [7].传播的可计算性对传媒业影响深远[J]. 中国报业 2020(09)
- [8].命题作为博弈的求真表示[J]. 贵州大学学报(自然科学版) 2013(01)
- [9].大数据计算的基础理论探究[J]. 贵州大学学报(自然科学版) 2016(04)
- [10].谈计算机专业实践教学中计算思维能力的培养[J]. 计算机工程与科学 2014(S2)
- [11].高校管理的“麦当劳化”倾向及其超越[J]. 人才开发 2009(07)
- [12].我们真的已经深陷理性牢笼了吗——读《社会的麦当劳化》有感[J]. 学习月刊 2012(10)
- [13].会话交流的可计算性:从认知、逻辑的观点看[J]. 毕节学院学报 2009(05)
- [14].知识库系统的逻辑基础[J]. 计算机学报 2009(11)
- [15].四维时空高效利用的装箱调度问题及其可计算性证明[J]. 计算机学报 2013(09)
- [16].变形搭接网络技术用于机械运动方案的创新设计[J]. 机械设计与研究 2010(04)
- [17].论形式逻辑与物的世界的关系[J]. 湖南工业大学学报(社会科学版) 2014(06)
- [18].马克思与韦伯资本主义合理性批判的理论路径比较[J]. 四川轻化工大学学报(社会科学版) 2020(03)
- [19].配电网规划决策中的可计算性问题研究[J]. 电力系统保护与控制 2017(22)
- [20].从计算性质角度对和谐社会的诠释[J]. 系统科学学报 2009(01)
- [21].高校教育的麦当劳化特性[J]. 中外企业家 2012(06)
- [22].高校教师绩效评估的麦当劳化[J]. 青年文学家 2012(16)
- [23].论语篇连贯的可计算性[J]. 外语研究 2018(02)
- [24].资本批判的现代学说及其意义[J]. 上海财经大学学报 2015(03)
- [25].谈谈计算机的“智能”[J]. 计算机与数字工程 2008(10)
- [26].从“幽灵般的对象性”到“合理的自律性”——卢卡奇“物化”逻辑的形而上学[J]. 北方论丛 2018(04)
- [27].网络基因图谱研究[J]. 信息安全研究 2016(09)
- [28].气液两相流界面多尺度问题可计算性研究进展[J]. 化工学报 2014(12)
- [29].《非诚勿扰》麦当劳化的分析与思考[J]. 改革与开放 2011(08)
- [30].高校管理的“麦当劳化”倾向及其超越[J]. 高教论坛 2009(09)