搜索到184篇“ 一阶谓词“的相关文章
- 基于一阶谓词逻辑的结构设计规范表示方法
- 2024年
- 目前,基于BIM模型的合规性审查采用人工方式,工作量繁重且自动化程度低,开展自动合规性审查研究具有重要意义。在结构设计领域能够有效支撑规范知识表示与推理并支持设计审查自动化的设计规范表达方法有待开发。基于一阶谓词逻辑,通过转译《混凝土结构设计规范》中的设计条款,提出一种结构设计规范规则表达和推理方法。该方法可实现将半结构化设计规范条款转换为结构化知识并支持灵活查询与推理,通过“谓词定义”和“函数定义”转译设计规范中语言类、表格类和计算公式类设计条款,提出两种规范条款谓词定义方式。对于语言模糊类、表后注释类和条款补充类的设计条款给出转译解决方案。提出的方法有效地解决了传统一阶谓词对于结构设计条款表示不充分和不精确的问题,进而为设计规范的计算机表达提供一种参考方法。
- 张吉松于泽涵赵丽华
- 关键词：知识表示一阶谓词逻辑合规性审查人工智能
- 基于一阶谓词逻辑的结构设计规范表示方法
- 设计规范的知识表示和计算机表达是实现工程设计与审查自动化和智能化的技术基础。在结构设计领域,能够有效支撑知识表示与推理,以及支持设计审查自动化的设计规范表达方法有待开发。一阶谓词逻辑以数理逻辑为基础,擅长精确性知识的表示...
- 于泽涵张吉松赵丽华刘鑫任国乾
- 关键词：知识表示一阶谓词逻辑合规性审查人工智能
- 文献传递
- 基于一阶谓词逻辑的智能操作票一体化系统被引量：11
- 2021年
- 针对目前电网操作票系统智能性和通用性的不足,提出了一种命令票-操作票-程序化操作集成自动化系统,可以实现检修计划中操作任务的自动解析,相关电网数据的智能搜索和查询,以及一体化完成调度操作票的推理生成和自动执行。系统通过Rabbit消息队列与外部实现了良好的通信和数据交互。基于一阶谓词逻辑的知识表示方式,对命令票推理的事实库和专家规则库进行了灵活、通用的建模。设计了调度命令票智能生成的推理机制,并进一步研究操作序列的生成方法。基于Python语言进行系统开发和应用,证明了智能系统的有效性和实用性。
- 徐尧燚朱思婷刘奇詹鹏黎翔管霖
- 关键词：知识库一阶谓词逻辑调度命令
- 基于一阶谓词的变电站操作票规范化考核系统设计被引量：2
- 2018年
- 针对变电站操作票具有操作项目繁多、要求严格的特点,为了规范化操作票内容,开发了操作票规范化学习与考核系统。对标准操作票的具体内容进行了分类和整理,采用一阶谓词逻辑表示法,将标准操作票的各项操作内容进行形式转化,得到一阶谓词形式的标准操作票。分析了操作票的学习与考核方法,该方法对操作票的具体内容进行了规范,保证了操作票的正确性,使开票工作更高效、准确。
- 马进王建伟袁雪峰王静
- 关键词：变电站操作票一阶谓词
- 基于一阶谓词公式去除商务数据冗余关联规则的研究被引量：6
- 2017年
- 由于现代网络数据量的急速增长,利用现有的算法生成关联规则时,冗余规则的数量远远大于实际有价值的规则,冗余规则不仅影响用户分析,而且使关联规则的利用率也大大降低。针对关联规则的冗余问题,提出了一种基于一阶谓词公式去除商务数据冗余关联规则的方法,利用一阶谓词公式来表示关联规则,通过等价公式进行转换,并利用算法和矩阵等价将谓词公式转换为邻接矩阵,然后利用冗余规则算法进行删除。实验原始数据为UCI数据集,并利用Weka生成关联规则。最后利用Matlab和Java实现冗余规则的去除。
- 郭瑞钱晓东
- 关键词：关联规则关联矩阵邻接矩阵
- 一阶谓词逻辑下子句型信念的非修正推理方法
- 实现计算机的自动推理是人工智能领域中的一个重要课题。对于传统的常识推理，新知识可由旧知识以经典逻辑的原理推理得到。然而在实际应用中，知识往往是不确定、不一致和不完全的，通常被称为信念。根据经典逻辑的原理，以不一致的知识作...
- 张嵩
- 关键词：一阶谓词逻辑先验知识
- 文献传递
- 基于偏序规律的μ-演算一阶谓词界程逻辑模型检测被引量：4
- 2016年
- 基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的模型检测目前性能最好的算法的时间复杂度与公式中不动点算子交错嵌套深度d呈指数关系,空间复杂度与d呈线性关系.文中设计了一个基于μ-演算的一阶谓词界程逻辑在有限控制移动界程上的模型检测高效算法,这也是目前已知的第3个同类算法,算法的时间复杂度与d/2+1呈指数关系,空间复杂度与d呈线性关系.文中所做的工作有:(1)找到了基于μ-演算的一阶谓词界程逻辑模型检测计算过程中的中间结果满足的两组偏序关系;(2)利用找到的偏序关系设计了一个快速模型检测算法;(3)分析了算法的复杂度.
- 江华
- 一阶谓词公式F与其Herbrand扩张之间的关系
- 2016年
- 任意一个一阶谓词公式F,先找到其中的个体常元和函数符号,并由此产生公式F的Herbrand域,然后用Herbrand域中的项替代公式F中的变元,以消去量词符号而得到公式F的函数形式.公式F的所有可能的函数形式组成的集合就是Herbrand扩张.研究了寻找一阶谓词公式与Herbrand扩张之间的关系.
- 张韬汤建钢
- 关键词：命题公式可满足性
- 一阶谓词逻辑的图形推理法被引量：6
- 2014年
- 针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
- 耿霞张继军李蔚妍
- 关键词：一阶谓词逻辑谓词
- 一阶谓词公式关联矩阵的构造方法被引量：1
- 2014年
- 一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。
- 耿霞张继军吴秋兰
- 关键词：关联矩阵逻辑推理二叉树
相关作者
- 张迎新
- 作品数：3被引量：3H指数：1
- 供职机构：中国人民解放军71375部队
- 研究主题：MARKOV逻辑网 网络评论 条件随机场 一阶谓词逻辑 一阶谓词
- 赵曼
- 作品数：9被引量：14H指数：2
- 供职机构：中国社会科学院
- 研究主题：学者 逻辑 社会责任 一阶谓词 反驳
- 杜国平
- 作品数：104被引量：179H指数：8
- 供职机构：中国社会科学院
- 研究主题：逻辑 金岳霖 逻辑学 表示法 括号
- 刘登第
- 作品数：24被引量：54H指数：4
- 供职机构：空军指挥学院
- 研究主题：可靠性 无损检测 数据融合 仿真系统 仿真
- 徐元子
- 作品数：8被引量：11H指数：2
- 供职机构：中国人民解放军空军指挥学院
- 研究主题：表象 维度 MARKOV逻辑网 遗传算法 航空兵
