析取范式

作品数：102被引量：135H指数：7
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：黄文奇宋恩民苏岐芳张型岱王廷明更多>>
相关机构：华中理工大学华中科技大学中央广播电视大学北京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中德政府合作项目河北省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
知识编译中的SDD构建及其复杂度研究
《人工智能科学与工程》2024年第4期11-20,共10页梁建华 杨文忠 赵宇 
国家自然科学基金项目(62262065)。
本文针对知识编译中的句子决策图(SDD)进行了研究。首先,阐述了关于句子决策图的基本概念及其相关技术。然后,在此基础上提出了一般SDD的自下而上的构建方法。同时,算法还可选地压缩每个划分,以返回压缩后的SDD,并对未压缩SDD和规范、压...
关键词：人工智能 知识编译 句子决策图 V形树 合取/析取范式 规范性 复杂度 编译时间 
关于在线性条件下NP≠P的证明
《科技风》2022年第21期23-25,104,共4页樊雪双 李云娟 
本文证明了逻辑公式中所含有的辑门的总个数是否可转化为多项式的等价于逻辑公式中所含有的自由变元总次数是否可转化为多项式的。从而利用逻辑公式中所含有的自由变元总次数,来判断P类与NP类问题。针对NP中的类皇后问题Simqueen(n),证...
关键词：析取范式 P类与NP类问题 非单调电路复杂度 Simqueen(n) 
利用聚类分析构建基于析取范式的置信规则库被引量：1
《福州大学学报（自然科学版）》2019年第4期435-440,共6页张婕 傅仰耿 巩晓婷 
国家自然科学基金资助项目(71501047; 61773123)
针对现有基于析取范式的置信规则库构建方法存在过拟合、未合理利用已知数据信息等问题,提出利用聚类分析构建基于析取范式的置信规则库的新方法.该方法通过对样本数据的输出结果进行聚类分析,获取输出结果的分布特征,以确定系统的规则...
关键词：置信规则库 析取范式 规则库构建 证据推理 聚类 K均值 
主范式及其应用
《知识文库》2019年第10期66-67,共2页白昊月 
本文介绍了命题公式主范式的基本定义及相关定理,并对其作出了相应解释,探讨了命题公式主范式的求法:等值演算法,以及它的用途,最后给出了主范式的应用,并联系实际对这些应用加以阐述.1主范式可分为主析取范式与主合取范式。主析取范式...
关键词：主范式 命题公式 命题变项 主合取范式 主析取范式 
两类动态信息模型及其应用
《计算机科学》2018年第11期238-243,共6页张凌 任雪芳 史开泉 
福建省中青年教师教育科研项目(JA15495;JA15503);龙岩学院重点学科资助项目;大数据挖掘与应用福建省高校重点实验室(龙岩学院)资助
P-集合(P-sets)是一类具有动态特征的集合模型,在P-集合中,元素的属性满足数理逻辑中的合取范式。P-集合是把动态特性引入到有限普通元素集合(有限Cantor set)X内,来改进有限普通元素集合X而提出的。逆P-集合(Inverse P-sets)是另一类...
关键词：P-集合 逆P-集合 合取范式 析取范式 递推搜索-发现 挖掘-获取 
两类动态信息规律模型及其在信息伪装、风险识别中的应用被引量：12
《计算机科学》2018年第9期230-236,共7页任雪芳 张凌 史开泉 
福建省中青年教师教育科研项目(JA15495;JA15503);龙岩学院重点学科资助项目;大数据挖掘与应用福建省高校重点实验室(龙岩学院)资助
函数P-集合是P-集合的函数形式,是通过改进P-集合得到的一个具有动态特征、规律(函数)特征的信息规律模型。在函数P-集合中,函数的属性满足数理逻辑中的合取范式。函数逆P-集合是函数P-集合的对偶模型,在函数逆P-集合中,函数的属性满足...
关键词：函数P-集合 函数逆P-集合 信息规律 合取范式 析取范式 
离散数学课程中主范式求解问题的教学研究
《课程教育研究》2017年第17期131-131,共1页李凡 
《离散数学》是我国工科高校教学体系中的核心基础课程之一。其中,命题逻辑部分里利用真值表求解命题公式的主范式又是课程的重点内容之一。目前常见的离散数学教材对该部分的讲解均缺乏原理性的介绍,使得学生理解起来有一定的难度。本...
关键词：离散数学 真值表 主合取范式 主析取范式 
基于下确界不可约的概念格属性约简方法被引量：1
《计算机工程》2016年第11期213-218,共6页吴杰 梁妍 马垣 
辽宁科技大学青年基金"基于粒计算的概念格约简方法研究"(2014QN21)
对概念格的属性约简方法进行研究。证明概念格中任意属性亏值都为可辨识属性集,下确界不可约概念的属性亏值集合与全部属性亏值集合的辨识函数具有相同的最小析取范式,概念元素为下确界不可约概念当且仅当其必为属性概念,并且每个属性...
关键词：概念格 属性亏值 最小析取范式 下确界不可约 属性概念 属性约简 
主析取范式在项目投资中的应用
《科技风》2015年第5期97-97,共1页于剑标 李小荣 
在项目投资中,有许多问题可以利用离散数学中主析取范式来处理和解决。本文通过几个具体实例来了解和探讨主析取范式在项目投资中的应用,其思维方法和处理问题的过程,大家可以参考和借鉴,有利于提高大家分析问题、处理问题和解决实际问...
关键词：项目投资 主析取范式 应用 
属性约简中的范式转换算法研究被引量：3
《计算机应用与软件》2015年第1期271-274,共4页俞雪平 胡云安 
通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率。同时考虑到范式的动态变化,设计一种边转换边化简的增量转换算法,可以利用已有结果直接进行计算。对于减量情况,抽象出范式转换的数学...
关键词：约简 增量 析取范式 合取范式 范式转换 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部