云南高校图书馆联盟文献共享服务平台- 可判定性

可判定性: 作品数：73被引量：141H指数：5; 导出分析报告; 相关领域：自动化与计算机技术理学更多>>; 相关作者：许文艳田聪韩婷婷陈韬略吕建更多>>; 相关机构：陕西师范大学中国科学院软件研究所南京大学上海交通大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家社会科学基金更多>>

一种约束增强的RDFS本体的模式验证方法: 《计算机科学》2024年第7期362-372,共11页赵晓非柴争义袁超张振; 国家自然科学基金(62172298,61972456);江苏省计算机信息处理技术重点实验室开放基金(KJS1737)。; 约束增强的RDFS(RDFS_((c)))本体克服了RDFS描述约束能力欠缺的缺点,然而约束机制的引入给本体验证问题带来了挑战。文中提出了一种面向RDFS_((c))本体的、支持可判定性推断的模式验证方法。该方法对约束之间的依赖关系进行解析。首先,...; 关键词：RDFS 本体验证约束依赖性可判定性

模态计数逻辑ML(#)在不同框架类下的可判定性: 《逻辑学研究》2024年第3期86-101,共16页付小轩赵之光; supported by Tsinghua University Initiative Scientific Research Program;supported by Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151);Shandong Provincial Natural Science Foundation,China(No.ZR2023QF021);Support Plan on Science and Technology for Youth Innovation of Universities in Shandong Province(No.2021KJ086)。; 在本文中,我们给出模态计数逻辑ML(#)在不同框架类下的可满足性的判定过程。我们使用两种方法,一种是通过修改ML(#)相对于全部克里普克框架的可满足性的判定算法,另一种是将ML(#)的可判定性归约到基本模态逻辑。我们还证明了分次模态计...; 关键词：可满足性模态逻辑可判定性归约克里普克判定算法框架类判定过程

论作为临界点的心智游戏电影:新世纪的电影挑战被引量：3: 《电影艺术》2023年第5期95-102,共8页桂琳(译); 心智游戏电影致力于保持一种永久的不可判定性状态,它们并不寻求解决自己的正统或类型身份的难题,而是试图维持多种,甚至看似不兼容的解释。它们是处于认识论转变临界点的电影,揭示了在21世纪电影在多大程度上是我们文化的认知转变地震...; 关键词：心智游戏电影不可判定性预警系统药

TSO内存模型下限界可线性化的可判定性研究: 《软件学报》2022年第8期2896-2917,共22页王超吕毅吴鹏贾巧雯; 国家自然科学基金(62002298,62072443);中央高校基本科研业务费专项资金(SWU019036);中国科学院对外合作重点项目(GJHZ1844)。; TSO-to-TSO可线性化、TSO-to-SC可线性化和TSO可线性化是Total Store Order(TSO)内存模型下可线性化的3个变种.提出了k-限界TSO-to-TSO可线性化和k-限界TSO可线性化,考察了k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TS...; 关键词：并发数据结构可线性化 TSO内存模型可判定性易失通道机器

扩展模态语言中模态可定义性的不可判定性结果被引量：1: 《逻辑学研究》2021年第6期25-40,共16页赵之光; The research of the author is supported by Taishan University Starting Grant“Studies on Algebraic Sahlqvist Theory”and the Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151).; 在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言L_(U)、时态语言L_(T)、混合语言L_(H),L_(H(@))中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的。; 关键词：可定义性不可判定性混合语言模态词 LH 时态

哥德尔不完备定理的不可判定性: 《数学学习与研究》2021年第18期152-153,共2页王海东; 如果将无意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是成立的.如果将有意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是不成立的.由于哥德尔不完备定理在一阶理论中既是成立的又是...; 关键词：哥德尔不完备定理哥德尔完备性定理哥德尔对角化语句构造定理

发明与发现之间:论维特根斯坦的数学观: 《科学技术哲学研究》2020年第4期15-20,共6页袁永锋; 国家社会科学基金青年项目“信念修正视域下的悖论研究”(16CZX051)。; 众所周知,数学家的工作是发现数学真理,但中后期维特根斯坦却认为:不论是数学实体还是数学真理都是数学家的发明而非发现。他还呼吁数学家应当限制这种数学发明活动,以免发明出不可判定的拟数学命题。这些观点颇受学界争议,但也颇具启...; 关键词：维特根斯坦数学哲学发现发明不可判定性

哥德尔之墙围困AI: 《新发现》2020年第3期56-60,共5页Roman Ikonicoff 竹叶(编译); 这是人工智能(AI)无形但固有的危险:我们不可能确切地知道,它们是否严格按照人类的旨意行事。得益于逻辑学家库尔特·哥德尔的成果,研究人员已将这种威胁AI未来的"不可判定性"理论化。"AI不仅是一项有望为经济、社会和世界带来革命性变...; 关键词：哥德尔不可判定性逻辑学家库尔特极度缺乏 AI 理论化死胡同

自指语句赋值与元胞自动机的动态特征之比较研究: 《湖南科技大学学报（社会科学版）》2019年第4期29-35,共7页李振宇; 国家社科基金重大项目(18ZDA031); Patrick Grim等人运用计算机模拟研究方法,揭示出在■ukasiewicz模糊逻辑系统中自指语句赋值具有周期性和混沌行为等动态特征,而且在系统内混沌行为本身不可判定。元胞自动机同样具有周期性与混沌行为,而Mikhail Prokopenk等人通过构造...; 关键词：计算机模拟方法自指混沌元胞自动机不可判定性

并发加权μ-演算的若干性质: 《计算机科学与探索》2018年第10期1684-1690,共7页余寒; 国家自然科学基金No.61602249~~; 最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量和限制转换过程的模态词,以及能够应对组合性系统的二元模态词,可以有效地表达系统的质化、量化和模块化...; 关键词：并发加权逻辑 μ-演算轮替树自动机可判定性小模型性

可判定性