一种规约于可满足性问题(SAT)的知识推理算法

1

作者 苏开乐 陈清亮 岳伟亚 《计算机科学与探索》 CSCD 2007年第1期79-86,共8页

传统的知识推理算法主要依赖于通用的定理证明器,因此会有明显的组合爆炸问题和半自动化问题,只能处理小规模的问题。在文[1]中,给出了一个实用而紧致的知识的语义模型——知识结构(knowledge struc- ture),并给出相应的利用BDD(Binary ... 传统的知识推理算法主要依赖于通用的定理证明器,因此会有明显的组合爆炸问题和半自动化问题,只能处理小规模的问题。在文[1]中,给出了一个实用而紧致的知识的语义模型——知识结构(knowledge struc- ture),并给出相应的利用BDD(Binary Decision Diagram)的符号化计算方法,实验表明这种基于BDD的算法比传统方法有很大的优势,但这种基于BDD的方法在计算规模大的例子时仍存在明显的组合爆炸。文章在知识结构(knowledge structure)的语义基础上,通过挖掘知识结构语义中各元素的关系,把知识的计算规约于可满足性问题(SAT),因为SAT Solver在符号化计算方面以及在计算规模和效率上都要明显优于BDD。实验结果证实了这种方法的有效性。 展开更多

关键词 可满足性问题 知识结构 推理算法 计算规模 组合爆炸 计算方法 符号化 定理证明器 语义模型 语义基础 实验 结构语义 自动化 小规模 元素 效率 通用 处理

在线阅读 下载PDF 职称材料

联合结构-语义关系图知识推理的输电线路螺栓缺陷识别方法 被引量：1

2

作者 赵振兵 王睿 +2 位作者 王艺衡 苗思雨 赵文清 《智能系统学报》 CSCD 北大核心 2024年第6期1584-1592,共9页

针对输电线路螺栓缺陷识别任务中存在的视觉不可分与语义歧义问题,提出联合结构-语义关系图知识推理的输电线路螺栓缺陷识别方法。通过语义关系图提取螺栓各属性有判别力的特征类映射,经结构关系图捕获螺栓上下文信息并建立跨不同尺度... 针对输电线路螺栓缺陷识别任务中存在的视觉不可分与语义歧义问题,提出联合结构-语义关系图知识推理的输电线路螺栓缺陷识别方法。通过语义关系图提取螺栓各属性有判别力的特征类映射,经结构关系图捕获螺栓上下文信息并建立跨不同尺度的空间关系,采用图卷积神经网络经协作学习,利用螺栓各属性之间的结构知识与语义知识实现语义关系图节点的更新,通过螺栓训练数据集统计的标签共现信息辅助图知识推理网络提高螺栓缺陷识别的准确率。在实验阶段,选取3类典型金具上的13类螺栓属性作为研究对象。对比实验结果表明,本文方法对螺栓缺陷的识别效果优于其他方法,较基线模型提升了8.12%的准确率。 展开更多

关键词 输电线路 螺栓 缺陷识别 知识表达 知识推理 图神经网络 结构关系 语义关系

在线阅读 下载PDF 职称材料

基于损伤树模型的战场损伤评估研究 被引量：22

3

作者 王润生 贾希胜 《兵工学报》 EI CAS CSCD 北大核心 2005年第1期72-76,共5页

引入人工智能技术进行准确快速的战场损伤评估时 ,必须解决损伤评估知识获取和表示问题。在装备结构树、损伤模式及其影响分析的基础上 ,建立了某装备系统损伤树 ,解决了如何通过损伤树获取相互关联的评估知识问题 ,基于损伤树模型进行... 引入人工智能技术进行准确快速的战场损伤评估时 ,必须解决损伤评估知识获取和表示问题。在装备结构树、损伤模式及其影响分析的基础上 ,建立了某装备系统损伤树 ,解决了如何通过损伤树获取相互关联的评估知识问题 ,基于损伤树模型进行了面向对象的知识表示和基于框架的知识组织。基于框架的知识组织把每种知识封装在一个框架中且各框架相对独立 ,使得知识库容易维护且扩展性好 ,有利于提高推理效率 ,满足装备评估要求。最后制定了有效的推理控制策略。 展开更多

关键词 树模型 推理控制 知识表示 知识获取 面向对象 扩展性 损伤评估 损伤树 装备 维护

在线阅读 下载PDF 职称材料

证据推理法在战略环境评价中的应用 被引量：7

4

作者 周美春 钱新 +2 位作者 钱瑜 张玉超 王勤耕 《中国环境科学》 EI CAS CSCD 北大核心 2008年第11期1042-1046,共5页

将基于证据理论(D-S理论)的证据推理法(ER)用于战略环境评价(SEA),阐述了D-S理论以及ER法的基本原理,选取我国能源战略评价实例,展示ER法运用信度结构和ER递归运算表述和综合初始评价信息,并结合决策者偏好的效用函数,得出每一替代方案... 将基于证据理论(D-S理论)的证据推理法(ER)用于战略环境评价(SEA),阐述了D-S理论以及ER法的基本原理,选取我国能源战略评价实例,展示ER法运用信度结构和ER递归运算表述和综合初始评价信息,并结合决策者偏好的效用函数,得出每一替代方案的期望效用,最后依据各替代方案的期望效用得出各方案的优劣次序,为决策提供依据. 展开更多

关键词 证据推理法(ER) 战略环境评价(sEA) 证据理论(D-s理论) 信度结构 效用函数

在线阅读 下载PDF 职称材料

基于案例推理和神经元网络的桥梁知识的复用 被引量：5

5

作者 彭卫兵 任爱珠 徐峰 《计算机工程》 CAS CSCD 北大核心 2007年第23期202-204,207,共4页

采用面向对象方法进行桥梁知识数据组织,建立了包含几何信息和非几何信息的桥梁案例数据,并通过系统建模平台,建立了和中小跨径桥梁通用图库中项目图纸信息一一对应的可供推理的案例数据库。案例数据采用SQL Server 2005数据库技术进行... 采用面向对象方法进行桥梁知识数据组织,建立了包含几何信息和非几何信息的桥梁案例数据,并通过系统建模平台,建立了和中小跨径桥梁通用图库中项目图纸信息一一对应的可供推理的案例数据库。案例数据采用SQL Server 2005数据库技术进行结构化存储。研究了适合桥梁结构设计的构件相似性定义,建立了获取桥梁结构设计相似案例方法。采用人工神经元网络技术,挖掘相似案例中蕴涵的知识,实现对最相似案例的修改,形成符合新的设计要求的桥梁设计案例。实现桥梁数据的参数和知识驱动,形成了基于挖掘以往设计案例中包含的知识的桥梁结构设计方法,为桥梁结构设计企业重复利用以往设计案例提供了有效的解决方法和新的思路。 展开更多

关键词 桥梁结构设计 知识复用 案例推理 人工神经元网络

在线阅读 下载PDF 职称材料

基于知识点题型分布和分值的智能组卷算法研究 被引量：33

6

作者 王雍钧 黄毓瑜 《计算机应用与软件》 CSCD 北大核心 2004年第8期111-113,共3页

首先介绍了试题库的结构与建立 ,在试题库中根据知识点把所有试题进行了划分 ,同时说明了组卷控制参数知识库的结构 ,论述了由知识点的教学要求利用组卷控制参数知识推出知识点题型分布和优化调整知识点难度系数的推理机制。在此基础上 ... 首先介绍了试题库的结构与建立 ,在试题库中根据知识点把所有试题进行了划分 ,同时说明了组卷控制参数知识库的结构 ,论述了由知识点的教学要求利用组卷控制参数知识推出知识点题型分布和优化调整知识点难度系数的推理机制。在此基础上 ,较详细地阐述了基于知识点的智能组卷算法及该算法应用于“全国注册建筑师考试系统”的智能组卷过程。 展开更多

关键词 试题库 智能组卷算法 题型分布 计算机考试系统

在线阅读 下载PDF 职称材料

专家医生的知识结构及诊断推理方式 被引量：7

7

作者 王雁 姚梅林 《心理科学进展》 CSSCI CSCD 北大核心 2009年第1期64-70,共7页

医学专长研究中"中间者效应"的发现,引发了研究者对专家医生知识结构的探讨。在"知识打包"的基础上,医生的临床知识以"疾病脚本"的方式组织起来。随着临床经验的增加,专家医生积累了丰富的疾病脚本。在... 医学专长研究中"中间者效应"的发现,引发了研究者对专家医生知识结构的探讨。在"知识打包"的基础上,医生的临床知识以"疾病脚本"的方式组织起来。随着临床经验的增加,专家医生积累了丰富的疾病脚本。在临床诊断中,他们无需对病人所有的体征和症状进行仔细地和系统地分析,而是通过非分析性的推理方式——"模式识别"或"样例识别"便可自动激活与之匹配的疾病脚本,据此对病人做出迅速而准确的诊断。医学专长的本质就在于专家医生以"疾病脚本"的方式组织起来的知识结构。"适应性专长"代表了未来医学专长研究的新方向。 展开更多

关键词 医学专长 专家医生 知识结构 诊断推理方式 适应性专长

在线阅读 下载PDF 职称材料

人类推理的“推理题与推理知识双重结构模型” 被引量：9

8

作者 胡竹菁 胡笑羽 《心理学探新》 CSSCI 北大核心 2015年第3期212-216,共5页

本文将"知识和试题双重结构模型"重构成"推理题与推理知识双重结构模型",其主要观点包括:(1)"双重结构"是指在人类的推理加工过程中存在着两种结构,即"推理题的内在结构"和"推理者的推理... 本文将"知识和试题双重结构模型"重构成"推理题与推理知识双重结构模型",其主要观点包括:(1)"双重结构"是指在人类的推理加工过程中存在着两种结构,即"推理题的内在结构"和"推理者的推理知识结构";(2)推理者对完成推理任务所需要的"推理知识"的理解水平决定其推理性质是属于"理性加工"还是"非理性加工";(3)判定推理结论的过程中存在"形式"和"内容"两种判定标准,并由此决定其推理性质是属于"逻辑加工"还是"非逻辑加工"。 展开更多

关键词 推理题与推理知识双重结构模型 逻辑加工 非逻辑加工 理性加工 非理性加工

在线阅读 下载PDF 职称材料

基于KBE的摩托车车架的有限元分析系统的研究 被引量：4

9

作者 孙学军 何玉林 杜静 《工程图学学报》 CSCD 北大核心 2005年第1期16-21,共6页

研究了基于 KBE 的摩托车车架有限元分析系统的框架结构,提出了面向对象的知识表达方法和基于实例的推理与基于规则的推理相结合的混合推理机制,并结合摩托车车架设计分析实例进行了试验。

关键词 计算机应用 知识工程 知识表达 知识推理 摩托车车架

在线阅读 下载PDF 职称材料

语义结构理论与临床推理 被引量：5

10

作者 邓云龙 袁道瑞 +2 位作者 杨帆 潘辰 田勇泉 《医学与哲学（A）》 北大核心 2010年第1期28-29,34,共3页

临床推理是医生的核心能力之一。临床推理的语义结构理论认为,语义轴由临床意义相反的两个词构成,能精确地表征临床知识并促进医生精确地回忆知识;语义轴是正确临床诊断的必要条件,医生使用语义轴的数量与其临床诊断的正确性呈正相关。... 临床推理是医生的核心能力之一。临床推理的语义结构理论认为,语义轴由临床意义相反的两个词构成,能精确地表征临床知识并促进医生精确地回忆知识;语义轴是正确临床诊断的必要条件,医生使用语义轴的数量与其临床诊断的正确性呈正相关。应用语义结构理论进行医学教学改革可能有益于医学生临床推理能力的迅速提高。 展开更多

关键词 语义结构 知识组织 临床推理 语义轴

在线阅读 下载PDF 职称材料

面向飞机结构设计的CBR技术研究 被引量：2

11

作者 彭培林 蔡文沁 姜寿山 《机械科学与技术》 CSCD 北大核心 2005年第2期226-229,共4页

CBR是进行知识重用的一项重要技术,将CBR技术应用于飞机结构设计中,可以大量借鉴以往机型的设计 方案,提高飞机结构设计效率。本文研究面向飞机结构设计的CBR技术,通过对零件几何和非几何特征的组织构 造实例的表示模型,采用基于相... CBR是进行知识重用的一项重要技术,将CBR技术应用于飞机结构设计中,可以大量借鉴以往机型的设计 方案,提高飞机结构设计效率。本文研究面向飞机结构设计的CBR技术,通过对零件几何和非几何特征的组织构 造实例的表示模型,采用基于相似度的实例检索算法,通过实例的检索获得符合设计制造要求的最佳匹配实例。以 某机型机翼长桁为例进行验证。 展开更多

关键词 基于实例的推理 知识重用 飞机结构设计

在线阅读 下载PDF 职称材料

飞机结构件三维模型工艺性优化技术研究 被引量：4

12

作者 王凯 许建新 《机械设计与制造》 北大核心 2015年第8期178-181,185,共5页

针对MBD技术在航空制造企业产品研发当中的应用,研究了基于知识库的产品三维模型工艺性优化技术。通过对飞机结构件的可制造性分析,总结其工艺性优化内容。提出了"模型信息提取与简析—知识库建立—知识推理—优化结果可视化"... 针对MBD技术在航空制造企业产品研发当中的应用,研究了基于知识库的产品三维模型工艺性优化技术。通过对飞机结构件的可制造性分析,总结其工艺性优化内容。提出了"模型信息提取与简析—知识库建立—知识推理—优化结果可视化"模式的零件三维模型工艺性优化流程。综合运用多种知识与推理机制,建立模型特征与制造资源、工艺知识的关联,并对知识库结构以及推理过程进行了描述。解决了并行工程中的工艺性问题。开发的工艺性优化系统验证了该方法的可行性。 展开更多

关键词 飞机结构件 三维模型 知识库 推理过程 工艺性优化

在线阅读 下载PDF 职称材料

中外两种推理理论的实验比较研究 被引量：2

13

作者 胡笑羽 胡竹菁 《心理学探新》 CSSCI 北大核心 2019年第6期501-507,共7页

通过两个实验对中国学者提出的"推理题与推理者的推理知识双重结构模型"和Evans提出的"双重加工理论"进行了实验比较研究。实验一通过两种评定方法对相应性质命题进行评定后所得实验结果表明Evans等(1983)有关"... 通过两个实验对中国学者提出的"推理题与推理者的推理知识双重结构模型"和Evans提出的"双重加工理论"进行了实验比较研究。实验一通过两种评定方法对相应性质命题进行评定后所得实验结果表明Evans等(1983)有关"信念效应"研究中的"结论可信性"变量可以视为与胡竹菁等(1996)实验中的"内容正确性"变量是同一性质的变量;实验二根据"形式正确性"和"内容正确性"两个自变量设计的推理实验结果与Evans等(1983)的研究结果基本一致;但增加"内容熟悉性"这一自变量设计的推理实验结果表明"推理题与推理者的推理知识双重结构模型"比Evans提出的"双重加工理论"能更好地解释推理者对性质三段论的推理结果。 展开更多

关键词 双重加工理论 信念效应 推理题与推理者的推理知识双重结构模型 形式判定标准 内容判定标准

在线阅读 下载PDF 职称材料

我在推理心理学领域中的研究历程 被引量：2

14

作者 胡竹菁 《心理与行为研究》 CSSCI 北大核心 2015年第5期599-605,共7页

本文将笔者30年来在"人类推理心理学领域"的持续研究成果总结为以下三个方面:(1)探求什么因素会影响人类推理的实验研究;(2)国外推理心理学领域的著名理论与经典实验的介绍和评述研究;(3)"推理题与推理者的推理知识双重... 本文将笔者30年来在"人类推理心理学领域"的持续研究成果总结为以下三个方面:(1)探求什么因素会影响人类推理的实验研究;(2)国外推理心理学领域的著名理论与经典实验的介绍和评述研究;(3)"推理题与推理者的推理知识双重结构模型"的提出与发展。 展开更多

关键词 推理题与推理者的推理知识双重结构模型 推理题的形式结构 推理题的内容结构 推理者的形式知识结构 推理者的内容知识结构

在线阅读 下载PDF 职称材料

用概念图表示规则及其推理方法 被引量：3

15

作者 张蕾 《西北大学学报（自然科学版）》 CAS CSCD 1994年第4期319-322,共4页

利用概念结构理论，将概念图的知识表示方法与规则的知识表示方法结合起来，提出了用概念图表示规则，并讨论了这种知识表示下的推理方法。

关键词 概念结构 推理 知识表示 概念图

在线阅读 下载PDF 职称材料

基于CBR勘探平巷掘进范例库的研究与开发 被引量：4

16

作者 王树理 王成虎 +1 位作者 郑秀华 吕科验 《东华理工学院学报》 2004年第3期220-224,共5页

CBR方法是近年来人工智能领域非常先进和实用的方法 ,在众多领域中都获得了巨大的成功 ,为了充分实现勘探平巷掘进施工技术中的人工智能思想 ,笔者基于CBR方法开发了勘探平巷掘进施工范例库。文章介绍了基于范例推理思想及其设计方法 ,... CBR方法是近年来人工智能领域非常先进和实用的方法 ,在众多领域中都获得了巨大的成功 ,为了充分实现勘探平巷掘进施工技术中的人工智能思想 ,笔者基于CBR方法开发了勘探平巷掘进施工范例库。文章介绍了基于范例推理思想及其设计方法 ,结合勘探平巷掘进施工技术……工程实例利用CBR的基本原理做成范例库 ,同时介绍了如何进行范例的搜索、改写与复用以及机器学习等问题。通过该范例库的建立 。 展开更多

关键词 范例库 CBR 人工智能 基于范例推理 机器学习 搜索 复用 平巷 掘进施工 勘探

在线阅读 下载PDF 职称材料

心理认知结构与性质多面体重心坐标系 被引量：1

17

作者 冯嘉礼 《广西师范大学学报（自然科学版）》 CAS 1989年第2期1-6,共6页

高考招生按总分分段投档方法的数学分析表明:人类进行这类感觉在其中起重要作用的思维决策过程,实质上是在一个既能容纳客体又能容纳主体心理重心点的性质多面体重心坐标系中完成的。它是对笛氏坐标施行“截取”和“压缩”操作后构建起... 高考招生按总分分段投档方法的数学分析表明:人类进行这类感觉在其中起重要作用的思维决策过程,实质上是在一个既能容纳客体又能容纳主体心理重心点的性质多面体重心坐标系中完成的。它是对笛氏坐标施行“截取”和“压缩”操作后构建起来的.它提供了刻划主体心理感觉的度量化标准和描述判断决策过程的思维——数学坐标,是存在于人类心理上的一个认知结构。也是人类非单调推理的一个自然的数学表示框架。 展开更多

关键词 认知心理学 认知结构 思维科学 性质多面体 重心坐标系 高考分析 非单调推理 知识表示

在线阅读 下载PDF 职称材料

知识管理自学习案例平行结构体方面相似度模型

18

作者 张建华 《情报杂志》 CSSCI 北大核心 2014年第10期196-200,F0003,共6页

为建立知识管理系统的自学习与自组织机制,本文将基于案例推理的技术思想引入知识管理自学习子系统,对知识管理自学习案例的平行结构体方面相似度进行系统而深入地研究。首先,论文对相关文献进行述评,阐明了本文研究的出发点,诠释了知... 为建立知识管理系统的自学习与自组织机制,本文将基于案例推理的技术思想引入知识管理自学习子系统,对知识管理自学习案例的平行结构体方面相似度进行系统而深入地研究。首先,论文对相关文献进行述评,阐明了本文研究的出发点,诠释了知识管理自学习案例平行结构体方面的内涵及其特征;继而,分七种情况深入讨论了平行结构体方面维度相似度的计算方法,并在此基础上提出了方面相似度的计算策略;最后,通过算例分析了相关技术策略与实施细节。 展开更多

关键词 知识管理系统 方面相似度 案例推理 平行结构体方面 自学习

在线阅读 下载PDF 职称材料

图神经网络应用于知识图谱推理的研究综述 被引量：28

19

作者 孙水发 李小龙 +4 位作者 李伟生 雷大江 李思慧 杨柳 吴义熔 《计算机科学与探索》 CSCD 北大核心 2023年第1期27-52,共26页

知识推理(KR)作为知识图谱构建的一个重要环节,一直是该领域研究的焦点问题。随着知识图谱应用研究的不断深入和范围的不断扩大,将图神经网络(GNN)应用于知识推理的方法能够在获取知识图谱中实体、关系等语义信息的同时,充分考虑知识图... 知识推理(KR)作为知识图谱构建的一个重要环节,一直是该领域研究的焦点问题。随着知识图谱应用研究的不断深入和范围的不断扩大,将图神经网络(GNN)应用于知识推理的方法能够在获取知识图谱中实体、关系等语义信息的同时,充分考虑知识图谱的结构信息,使其具备更好的可解释性和更强的推理能力,因此近年来受到广泛关注。首先梳理了知识图谱和知识推理的基本知识及研究现状,简要介绍了基于逻辑规则、基于表示学习、基于神经网络和基于图神经网络的知识推理的优势与不足;其次全面总结了基于图神经网络的知识推理最新进展,将基于图神经网络的知识推理按照基于递归图神经网络(RecGNN)、卷积图神经网络(ConvGNN)、图自编码网络(GAE)和时空图神经网络(STGNN)的知识推理进行分类,对各类典型网络模型进行了介绍和对比分析;然后介绍了基于图神经网络的知识推理在医学、智能制造、军事、交通等领域的应用;最后提出了基于图神经网络的知识推理的未来研究方向,并对这个快速增长领域中的各方向研究进行了展望。 展开更多

关键词 知识图谱 知识推理(KR) 图神经网络(GNN) 语义信息 结构信息

在线阅读 下载PDF 职称材料

基层战士经常性思想政治工作专家系统

20

作者 钟将 常开群 孔令刚 《重庆工学院学报（自然科学版）》 2009年第3期158-162,共5页

根据部队思想政治工作的实际需要,提出了一种基于模糊数学的心理诊断及疏导专家系统.考虑到某些知识具有的模糊性和不确定性,系统采用了框架和模糊产生式规则相结合的知识表示方法,结合正向模糊推理技术和依据最大匹配可能性分布平均值... 根据部队思想政治工作的实际需要,提出了一种基于模糊数学的心理诊断及疏导专家系统.考虑到某些知识具有的模糊性和不确定性,系统采用了框架和模糊产生式规则相结合的知识表示方法,结合正向模糊推理技术和依据最大匹配可能性分布平均值选择的冲突消解策略,给出了实例的具体实现过程.结果表明,该方法可靠有效,具有一定的实际应用价值. 展开更多

关键词 战士经常性思想工作 专家系统 知识库 模糊推理 产生式规则

在线阅读 下载PDF 职称材料