知识编译

作品数：24被引量：37H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吕帅殷明浩王金艳刘磊谷文祥更多>>
相关机构：吉林大学东北师范大学广西师范大学西北农林科技大学更多>>
相关期刊：《华侨大学学报（自然科学版）》《计算机学报》《东北师大学报（自然科学版）》《人工智能科学与工程》更多>>
相关基金：国家自然科学基金国家教育部博士点基金吉林省科技发展计划基金吉林省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
知识编译中的SDD构建及其复杂度研究
《人工智能科学与工程》2024年第4期11-20,共10页梁建华 杨文忠 赵宇 
国家自然科学基金项目(62262065)。
本文针对知识编译中的句子决策图(SDD)进行了研究。首先,阐述了关于句子决策图的基本概念及其相关技术。然后,在此基础上提出了一般SDD的自下而上的构建方法。同时,算法还可选地压缩每个划分,以返回压缩后的SDD,并对未压缩SDD和规范、压...
关键词：人工智能 知识编译 句子决策图 V形树 合取/析取范式 规范性 复杂度 编译时间 
伪布尔约束的一种模型计数方法
《计算机科学》2024年第S02期150-154,共5页郑苏豪 牛秦洲 陶小梅 
国家自然科学基金(61906051)。
伪布尔约束问题是一类与布尔约束问题相似的组合优化难题。解决这类问题的核心在于以不同的数学形式对伪布尔约束进行编码,例如线性规划、整数规划以及其他形式的组合优化。当前流行的解决方法是将问题转化为布尔公式,然后运用冲突导向...
关键词：伪布尔约束 SAT问题 模型计数 知识编译 子句 
基于形式化可解释人工智能的网络入侵检测方法被引量：2
《智能安全》2024年第3期34-44,共11页周倩如 
国家科技部项目(G2022182006L)。
随着人工智能的火速发展,神经网络被广泛应用到各行各业,但是神经网络模型的不可解释限制了其所做出决策的可信度。目前的可解释机器学习方法大都只能提供模糊的、近似的解释,在涉及安全相关的重要领域,每一个字节的解释偏差都可能引发...
关键词：可解释人工智能 知识编译 神经网络 入侵检测 
一种面向知识编译的OBDD构造方法被引量：1
《广西师范大学学报（自然科学版）》2021年第4期47-54,共8页王金艳 胡春 高健 
国家自然科学基金(61763003);广西多源信息挖掘与安全重点实验室系统性研究课题(19-A-02-01);广西研究生教育创新计划(XYCSZ2020072);广西高等学校千名中青年骨干教师培育计划;“八桂学者”工程专项;广西区域多源信息集成与智能处理协同创新中心项目。
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技...
关键词：人工智能 知识编译 有序二元决策图 可满足性问题 离线预处理 在线推理 
基于MACR和CAL启发式的求差知识编译算法被引量：2
《电子学报》2020年第2期285-290,共6页牛当当 吕帅 王金艳 刘斌 
国家自然科学基金(No.61602388,No.61763003);吉林省科技发展计划资助项目(No.20180101053JC);陕西省自然科学基础研究计划项目(No.2017JM6059);中央高校基本科研业务费专项资金(No.2452019064);中国博士后科学基金(No.2017M613216);陕西省博士后基金(No.2016BSHEDZZ121);陕西省重点研发计划项目(No.2019ZDLNY07-06-01);广西自然科学基金(No.2016GXNSFAA380192);西北农林科技大学博士科研启动基金(No.Z109021813);广西多源信息挖掘与安全重点实验室开放基金(No.MIMS19-05)。
DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策略MACR(maximum complementary amount of clauses with middle result),用于动态选择与中间结果互补量最...
关键词：知识编译 扩展规则 超扩展规则 EPCCL理论 启发式策略 
基于相邻子句规约的求差知识编译算法
《哈尔滨工程大学学报》2019年第12期2044-2049,共6页牛当当 吕帅 王金艳 
国家自然科学基金项目(61502197,61503044,61763003,61502111);吉林省科技发展计划项目(20180101053JC);广西省自然科学基金项目(2016GXNSFAA380192);西北农林科技大学博士科研启动基金项目(Z109021813)
利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量。为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于约简EPCCL理论中满足规约规则的相邻子句,进而降低了基于超扩...
关键词：自动推理 知识编译 扩展规则 超扩展规则 子句集 EPCCCL理论 规约规则 相邻子句规约 
基于MOVR启发式的求差知识编译算法
《电子学报》2019年第11期2299-2303,共5页牛当当 吕帅 王金艳 
国家自然科学基金(No.61502197,No.61503044,No.61763003,No.61502111);吉林省科技发展计划资助项目(No.20180101053JC);广西省自然科学基金(No.2016GXNSFAA380192);西北农林科技大学博士科研启动基金(No.Z109021813)
DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设计了一种新的启发式策略MOVR(maximum occurrence number of variables in middle result),用于动态地从...
关键词：知识编译 扩展规则 超扩展规则 EPCCL理论 启发式策略 
多智能体模态逻辑系统KD45_n中的知识遗忘
《计算机科学》2019年第7期195-205,共11页文习明 方良达 余泉 常亮 王驹 
国家自然科学基金项目(61603152,61463044,61363030);广西可信软件重点实验室研究课题(KX201604,KX201606,KX201419);广西自然科学基金项目(2015GXNSFAA139285)资助
遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研...
关键词：多智能体模态逻辑 知识推理 知识编译 知识遗忘 
多智能体模态逻辑系统K_n中的知识遗忘被引量：1
《逻辑学研究》2019年第2期43-62,共20页文习明 方良达 余泉 常亮 王驹 
国家自然科学基金(61603152;61463044;61363030;61862051);广西可信软件重点实验室开放课题(KX201604;KX201606;KX201419);广西自然科学基金(No.2015GXNSFAA139285)
如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓...
关键词：多智能体模态逻辑 知识推理 知识编译 知识遗忘 
EPCCL理论的并行知识编译算法被引量：1
《电子学报》2018年第3期537-543,共7页牛当当 刘磊 吕帅 
国家自然科学基金(No.61300049;No.61502197;No.61503044);教育部高等学校博士学科点专项科研基金(No.20120061120059);吉林省青年科研基金项目(No.20140520069JH;No.20150520058JH);吉林省自然科学基金项目(No.20150101054JC)
基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理论的并行合并算法PUAE(Parallel computing Union of Any number of EPCCL).通过对EPCCL理论原始子句集...
关键词：知识编译 扩展规则 超扩展规则 EPCCL理论 并行编译 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部