一阶谓词逻辑

作品数：53被引量：105H指数：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页徐英瑾 
弗雷格逻辑与人工智能的冲突英美分析哲学的主要学术训练方式,是建立在对于肇始于弗雷格的现代逻辑(一阶谓词逻辑与命题逻辑)的尊重之上的。严格地说,目前在"基于规则的人工智能"中所运用的哲学逻辑工具,均是弗雷格式的一阶谓词逻辑的...
关键词：一阶谓词逻辑 现代逻辑 哲学逻辑 人工智能 弗雷格 逻辑知识 分析哲学 学术训练 
逻辑与哲学:现代逻辑导论(第9版)
《中国哲学年鉴》2018年第1期379-379,共1页  张建军(译) 张燕京(译) 
该著是迄今为止国际上最畅销的现代逻辑基础教程。该教程提供了关于逻辑学的全面介绍。教程的前两部分通过伴以清晰阐释的循序渐进式训练,带领学生从语句逻辑通达一阶谓词逻辑。第三部分则覆盖逻辑学中其他比较稳固的范围,包括亚里士多...
关键词：现代逻辑 道义逻辑 逻辑哲学 一阶谓词逻辑 归纳逻辑 认知逻辑 模态逻辑 逻辑学 
基于逻辑的数据模型教学
《电脑知识与技术》2016年第11期147-147,共1页张胜 
一阶谓词逻辑除了可用在关系演算中表示关系和关系代数,还能作为一种数据模型存在,本文将讨论如何在教学中介绍该模型的语义和语法问题，
关键词：一阶谓词逻辑 数据模型 语法 语义 
中文专利文献摘要的知识表示被引量：1
《山东科技大学学报（自然科学版）》2015年第5期104-108,共5页郑红 胡思康 
在分析与领域相关的中文专利文献摘要内容和结构的基础上,提出用三元组语义网络表示知识以及知识间的语义关系,并用一阶谓词逻辑分析语义三元组的语义。推导出专利文献知识融合将要面临的问题,包括句法分析后获取的描述性知识的不一致...
关键词：知识表示 中文专利文献 三元组语义网络 一阶谓词逻辑 本体 
基于智能变电所拓扑操作票专家系统知识表达方法综述
《化工管理》2015年第30期46-46,共1页董开河 
1操作票专家系统的知识表达方法 计算机专家系统所包含的知识是和其他软件系统的知识是不同的,这是一个极其重要的特征。所以说,专家系统的中心就是知识库,专家系统功能的卓越性取决于知识库里知识的数量和质量。那么为了使专家系统具...
关键词：专家系统知识 操作票 知识表达 数据结构 产生式系统 计算机专家 软件系统 事实库 知识表示 一阶谓词逻辑 
Markov逻辑网研究综述
《软件工程与应用》2015年第3期73-80,共8页徐元子 张迎新 刘登第 
Markov逻辑网是将Markov网络与一阶谓词逻辑相结合的统计关系学习模型。Markov逻辑网在实体识别、数据融合、信息抽取等领域都有重要研究价值,具有广泛的应用。本文较为全面的介绍了Markov逻辑网的理论模型、推理、参数学习、与其他算...
关键词：MARKOV逻辑网 一阶谓词逻辑 统计关系学习 推理 参数学习 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部