知识表示和推理

作品数：18被引量：75H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：常亮王小军周昌盛吕汉兴余晓东更多>>
相关机构：桂林电子科技大学中国科学院西安交通大学清华大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《海军工程大学学报》《计算机与现代化》更多>>
相关基金：国家自然科学基金云南省自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于镜像空间的平移嵌入模型
《华东理工大学学报（自然科学版）》2023年第2期269-275,共7页葛学伟 范贵生 虞慧群 
上海市自然科学基金项目(21ZR1416300)。
知识图广泛应用于许多人工智能(AI)任务。然而,现有知识图通常是不完整的,需对知识图进行补全或链接预测。本文通过对知识图中的实体和关系进行嵌入来预测知识图的缺失环节:首先,引入镜像空间的概念,使得模型具有学习对称和反对称模式...
关键词：知识表示和推理 知识图嵌入 关系模式 镜像空间 平移模型 
Petri网在智能评估系统知识表示和推理中的应用
《军事交通学院学报》2021年第2期84-88,共5页聂伟 
军队科研项目
为解决考核评估中传统算法存在的问题,实现计算机自动评估,将Petri网应用于模拟训练系统操作评估。提出Petri网的评估知识表示方法,针对故障处理操作的复杂性和动态性,将模糊Petri网应用于机电人员故障处理操作的评估推理。该应用能提...
关键词：PETRI网 知识表示 推理方法 智能评估系统 
几何机器明证引发的思考被引量：12
《数学教育学报》2020年第1期1-5,共5页张景中 彭翕成 邹宇 
国家自然科学基金项目——点几何及其机器证明(11701118)
时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至比题干还短,...
关键词：人工智能 教育应用 几何定理 机器明证 知识表示和推理 
基于直觉模糊Petri网的知识表示和推理被引量：12
《电子学报》2016年第1期77-86,共10页孟飞翔 雷英杰 余晓东 雷阳 
国家自然科学基金(No.61272011);国家自然科学青年基金(No.61309022)
针对模糊Petri网存在隶属度单一的问题,将直觉模糊集理论与Petri网理论相结合,构建直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)模型,用于知识的表示和推理.首先构建了IFPN模型,并将其应用于知识的表示,通过在模型中引入抑...
关键词：直觉模糊Petri网 直觉模糊产生式规则 知识表示 直觉模糊推理 
模糊Petri网在故障诊断知识表示和推理中的应用被引量：3
《海军工程大学学报》2012年第1期52-56,共5页潘兴隆 贺国 王三龙 
国家部委基金资助项目(415117123);海军工程大学博士研究生创新基金资助(HGBSJJ2011003)
针对传统的模糊产生式规则知识表示复杂、推理效率低、单一阈值设定不能满足复杂故障诊断需求的问题,给出了模糊产生式规则转换为模糊Petri网的一般方法和故障诊断模型,以及基于双阈值设定的两级故障诊断推理算法,并将其应用于某型柴油...
关键词：故障诊断 产生式规则 模糊PETRI网 阈值 
基于动态描述逻辑DDL的动作理论被引量：4
《计算机科学》2011年第7期203-208,共6页常亮 陈立民 
国家自然科学基金(60903079;60775035;60963010)资助
基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理...
关键词：动态描述逻辑 知识表示和推理 动作理论 智能主体 语义WEB 
可判定的时序动态描述逻辑被引量：6
《软件学报》2011年第7期1524-1537,共14页常亮 史忠植 古天龙 王晓峰 
国家自然科学基金(60903079;60775035;60963010;60803033);国家高技术研究发展计划(863)(2007AA01Z132);国家重点基础研究发展计划(973)(2007CB311004);广西自然科学基金(0832006Z)
动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维...
关键词：动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 
基于逻辑的行动理论综述被引量：1
《桂林电子科技大学学报》2010年第5期440-446,共7页常亮 
国家自然科学基金(60903079)
行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及...
关键词：行动理论 知识表示和推理 情景演算 命题动态逻辑 动态描述逻辑 
一种基于关系数据库的知识表示和推理方法被引量：17
《控制工程》2005年第1期40-43,共4页王小军 周昌盛 吕汉兴 
获得一种具有广泛的知识表示方法和灵活高效的推理逻辑是专家系统研究中一直追求的一个目标。将日益发展成熟的关系数据库技术引入专家系统,论述了一种基于关系数据库的知识表示方法和推理逻辑,利用关系数据库几乎不受限制的字段个数和...
关键词：关系数据库 专家系统 知识表示 推理方法 
基于上下文的知识表示和推理——人工智能的观点被引量：7
《计算机科学》2005年第1期142-146,共5页林仙 刘惟一 
国家自然科学基金(60263006);云南省自然科学基金(2002F0011M);中科院智能信息处理开放实验室课题(Ⅱ P2002-2)
本文中,我们从知识表示和推理(KRR)的角度概括地阐述了上下文推理的概念和基本原理。首先阐述了上下文的概念;然后介绍了上下文推理的三种基本形式和上下文理论的两个基本原理,也就是局部性原理和一致性原理;接着讨论了上下文推理的形...
关键词：上下文 知识表示 推理 人工智能 形式化问题 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部