一阶谓词

作品数：67被引量：132H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁毓林陈振宇夏年喜李蔚妍耿霞更多>>
相关机构：北京大学复旦大学上海大学中国社会科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家社会科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于一阶谓词逻辑的结构设计规范表示方法
《土木与环境工程学报（中英文）》2024年第1期254-262,共9页张吉松 于泽涵 赵丽华 
辽宁省科技厅博士科研启动基金(2019-BS-041);辽宁省教育厅青年科技人才育苗项目(JDL2019036);辽宁省教育厅基础研究项目(JDL 2019018)。
目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过...
关键词：结构设计规范 知识表示 一阶谓词逻辑 合规性审查 人工智能 
乔姆斯基的形式语言理论与计算机程序的电路控制
《西部学刊》2023年第21期156-160,共5页陈锐 
湖南省教育科学“十四五”规划2023年度基金项目“现代思想政治教育心理学的认知心理范式研究”(编号:XJK23CLS001)的阶段性成果。
一阶谓词逻辑是语言学数学化的标准形式,具有公理递归演绎特性;乔姆斯基的形式语言理论和计算机程序语言都具备了一阶谓词逻辑的公理递归特性;计算机语言与乔姆斯基语言学具有完全的逻辑等价性,这使得人工智能处理人类语言成为可能;人...
关键词：一阶谓词逻辑 公理体系 递归 计算机程序语言 乔姆斯基 辩证统一 
谓词逻辑中公理化真度的若干评注
《宁夏大学学报（自然科学版）》2022年第1期30-32,40,共4页马硕 惠小静 郝娇 
国家自然科学基金资助项目(11471007,61763045);延安大学研究生教育创新计划项目(YCX2021056)。
根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.
关键词：一阶谓词逻辑 真度 广义矛盾式 矛盾式 定理 
基于一阶谓词逻辑的智能操作票一体化系统被引量：11
《电气自动化》2021年第1期4-9,共6页徐尧燚 朱思婷 刘奇 詹鹏 黎翔 管霖 
广州供电局科技项目(GZHKJXM20170059)。
针对目前电网操作票系统智能性和通用性的不足,提出了一种命令票-操作票-程序化操作集成自动化系统,可以实现检修计划中操作任务的自动解析,相关电网数据的智能搜索和查询,以及一体化完成调度操作票的推理生成和自动执行。系统通过Rabbi...
关键词：操作票集成 知识库 一阶谓词逻辑 调度命令 操作序列 
分析哲学的逻辑知识真对人工智能有用吗?被引量：1
《社会科学文摘》2020年第6期81-83,共3页徐英瑾 
弗雷格逻辑与人工智能的冲突英美分析哲学的主要学术训练方式,是建立在对于肇始于弗雷格的现代逻辑(一阶谓词逻辑与命题逻辑)的尊重之上的。严格地说,目前在"基于规则的人工智能"中所运用的哲学逻辑工具,均是弗雷格式的一阶谓词逻辑的...
关键词：一阶谓词逻辑 现代逻辑 哲学逻辑 人工智能 弗雷格 逻辑知识 分析哲学 学术训练 
一种嵌入式软件自动测试的脚本语言被引量：6
《控制与信息技术》2019年第3期48-51,55,共5页龙小奇 张家欢 唐林 陈泽华 蒋鹏 
为了提高黑盒自动化测试的人机交互便捷性以及测试用例的可维护性,文章设计了一种基于自然语言的脚本语言,通过设计用例模型和用例描述规则,实现使用自然语言作为用例脚本的描述语言并建立脚本解析机制,将自然语言描述的测试过程转化为...
关键词：自然语言 脚本 一阶谓词 软件可维护性 自动测试系统 
逻辑与哲学:现代逻辑导论(第9版)
《中国哲学年鉴》2018年第1期379-379,共1页  张建军(译) 张燕京(译) 
该著是迄今为止国际上最畅销的现代逻辑基础教程。该教程提供了关于逻辑学的全面介绍。教程的前两部分通过伴以清晰阐释的循序渐进式训练,带领学生从语句逻辑通达一阶谓词逻辑。第三部分则覆盖逻辑学中其他比较稳固的范围,包括亚里士多...
关键词：现代逻辑 道义逻辑 逻辑哲学 一阶谓词逻辑 归纳逻辑 认知逻辑 模态逻辑 逻辑学 
基于一阶谓词的变电站操作票规范化考核系统设计被引量：2
《吉林电力》2018年第2期21-22,31,共3页马进 王建伟 袁雪峰 王静 
计及雾霾因素的光伏微电网功率预测技术研究;中央高校科研业务费项目(2016MS142);中央高校基本科研业务费专项资金资助(2016MS140)
针对变电站操作票具有操作项目繁多、要求严格的特点,为了规范化操作票内容,开发了操作票规范化学习与考核系统。对标准操作票的具体内容进行了分类和整理,采用一阶谓词逻辑表示法,将标准操作票的各项操作内容进行形式转化,得到一阶谓...
关键词：变电站 操作票 一阶谓词 考核系统 
基于Markov逻辑网的事件表象统一方法
《计算机应用研究》2016年第12期3547-3553,共7页徐元子 张迎新 刘登第 
国家自然科学基金资助项目(91024006)
为解决Web数据集成中大量事件表象语句共指现实世界同一事件,导致数据冗余问题,提出一种基于Markov逻辑网的事件表象统一方法。该方法从共指事件表象集合中获得较准确详细的一条表象,作为统一的事件表象对应现实事件,为数据集成提供高...
关键词：事件表象统一 共指事件表象 MARKOV逻辑网 维度内容 一阶谓词 
基于偏序规律的μ-演算一阶谓词界程逻辑模型检测被引量：4
《计算机学报》2016年第12期2547-2561,共15页江华 
国家自然科学基金(61472406);福建省自然科学基金(2015J01269;2016J01304);韶关市哲学社会科学规划课题(G2012001);广东省自然科学基金(S2013010015944);闽南师范大学人才引进项目资助~~
基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的模型检测目前性能最好的算法的时间复杂度与公式中不动点算子交错嵌套深度d呈指数关系,空间复杂度与d呈线...
关键词：模型检测 移动界程 μ-演算 嵌套谓词等式系 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部