期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
可判定的时序动态描述逻辑 被引量：6
1
作者 常亮 史忠植 +1 位作者 古天龙 王晓峰 《软件学报》 EI CSCD 北大核心 2011年第7期1524-1537,共14页
动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维... 动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理,从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持. 展开更多
关键词 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法
在线阅读 下载PDF
几何机器明证引发的思考 被引量：12
2
作者 张景中 彭翕成 邹宇 《数学教育学报》 CSSCI 北大核心 2020年第1期1-5,共5页
时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至... 时代发展要求教育资源智能化,而不是简单的"电子化".智能解答能在教育领域得以应用的基本要求是能被人理解接受,即有很好的可读性.最新研究表明,人类的解答未必是最好的,计算机可能给出让人惊讶的解答.计算机给出的解答甚至比题干还短,这看似"有悖"常识,但又引起思考,如何知识表示才能尽量简洁而又方便推理.知识的创新表示,要尽量符合信息时代的要求,同时也可能造成原有知识体系的重新定位. 展开更多
关键词 人工智能 教育应用 几何定理 机器明证 知识表示和推理
在线阅读 下载PDF
基于动态描述逻辑DDL的动作理论 被引量：4
3
作者 常亮 陈立民 《计算机科学》 CSCD 北大核心 2011年第7期203-208,共6页
基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理... 基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理问题。首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复杂动作定义式,刻画出关于动作的知识;这两部分知识与关于具体状态的知识一起构成基于DDL的知识表示系统。接下来,针对该系统中刻画的各种知识,对相关推理问题进行了严格定义,给出了相应的推理机制和算法。最后探讨了基于DDL的动作理论在智能主体建模中的应用。基于DDL的动作理论既具有较强的知识表示能力,又提供了丰富的推理服务,适用于语义Web环境下对动作的刻画和推理。 展开更多
关键词 动态描述逻辑 知识表示和推理 动作理论 智能主体 语义WEB
在线阅读 下载PDF
基于逻辑的行动理论综述 被引量：1
4
作者 常亮 《桂林电子科技大学学报》 2010年第5期440-446,共7页
行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及... 行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点。接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇。 展开更多
关键词 行动理论 知识表示和推理 情景演算 命题动态逻辑 动态描述逻辑
在线阅读 下载PDF
基于镜像空间的平移嵌入模型
5
作者 葛学伟 范贵生 虞慧群 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2023年第2期269-275,共7页
知识图广泛应用于许多人工智能(AI)任务。然而,现有知识图通常是不完整的,需对知识图进行补全或链接预测。本文通过对知识图中的实体和关系进行嵌入来预测知识图的缺失环节:首先,引入镜像空间的概念,使得模型具有学习对称和反对称模式... 知识图广泛应用于许多人工智能(AI)任务。然而,现有知识图通常是不完整的,需对知识图进行补全或链接预测。本文通过对知识图中的实体和关系进行嵌入来预测知识图的缺失环节:首先,引入镜像空间的概念,使得模型具有学习对称和反对称模式的能力;其次,在新的空间模型中,关系仍然被建模为平移,而实体被建模为具有镜像点的点;最后,提出了MTransE模型将镜像空间的概念应用到TransE上,并在4个广泛使用的数据集上进行实验。实验结果表明,该方法能减少参数的规模,并提高了在4个广泛使用的知识补全数据集上的性能。 展开更多
关键词 知识表示和推理 知识图嵌入 关系模式 镜像空间 平移模型
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部