收藏本站
《中国科学院研究生院(计算技术研究所)》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

数学概念的知识获取与分析方法研究

曾庆田  
【摘要】: 基于知识的定理机器证明、数学软件系统集成、数学语义Web、高级数学教学系统等对数学知识的表示和获取产生了巨大的需求。面向Web的数学内容标注语言,如MathML、OpenMath、OMDoc等受到极大关注。同时,出现了数学领域知识获取的多个工程,如MBase、HELM、MOWGLI等。随着中国科学院计算技术研究所国家知识基础设施(NKI)的建设,我们于2001年开始启动了数学领域知识的表示与获取工作。已经在数论、集合论、代数、图论、分析学等几个分支上进行了数学知识的表示和获取工作,获得了数千个数学概念和数学命题。 本文主要围绕数学概念的知识表示、获取、正确性验证、组织与管理等方面的内容,开展了如下几个方面的研究工作: (1)面向多用途的数学概念知识分层表示方法。首先给出了面向多用途的数学知识系统体系结构,分析了数学知识获取可能潜在的用途,给出了满足多服务需求的综合数学知识表示体系。知识表示采取分层的组织方式,主要分为三层:①谓词逻辑层;②知识描述层;③知识关系层。给出了基于本体、框架和逻辑的数学知识表示语言以及数学概念形式定义的表示语言。在概念的知识表示体系中,充分考虑了知识之间的继承关系、知识的多粒度表达、知识的可共享性和可重用性、不同知识表示方法之间的相互协调与转换等因素。 (2)满足完整性约束的数学概念知识获取方法。定义了概念与概念之间的关联关系,建立了概念的关联空间,证明了关联空间是一个偏序空间,对概念的关联度进行了量化分析,给出了用于数学概念关联刻画的四元指标(相对抽象度、关联度、出度、描述复杂度)。在概念关联空间的指引下,给出了概念驱动的数学知识获取方法,该方法不但可以获取给定知识而且可以获得与给定知识相关联的知识,从而满足知识的相对完整性约束。 (3)数学概念的继承层次结构及其生成算法。首先给出了概念类划分标准以及概念类之间的继承关系。在同一个概念类内部,定义了数学概念等同、概念蕴含、概念重叠、概念互斥等关系。从概念的构成出发,定义了常见的概念构造子,分析了不同的概念构造子得到的概念与原先概念之间满足的关系。最后,给出了概念的知识继承关系及其层次结构,并得到了概念知识继承结构的自动生成算法。 (4)数学概念知识表示的异常分析及其检查方法。首先综述了已有的知识分析和验证方法与工具,给出了数学概念知识库检查的基本流程。然后详细分析了概念知识表示中可能出现的语法错误并给出了检查方法。重点分析了数学概
【学位授予单位】:中国科学院研究生院(计算技术研究所)
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP182

知网文化
【引证文献】
中国博士学位论文全文数据库 前1条
1 杨晓蓉;分布式农业科技信息共享关键技术研究与应用[D];中国农业科学院;2011年
中国硕士学位论文全文数据库 前2条
1 程英迅;基于军事本体的智能检索引擎研究[D];电子科技大学;2010年
2 刘汉武;数学知识获取研究和知识管理平台的实现[D];首都师范大学;2005年
【参考文献】
中国期刊全文数据库 前3条
1 王丽丽;曹存根;顾芳;田雯;;基于本体论的民族知识获取与分析[J];计算机科学;2003年05期
2 高颖;曹存根;睦跃飞;;音乐领域本体的建立和分析[J];计算机科学;2004年01期
3 曾庆田,曹存根,眭跃飞,司晋新,田国刚,刘汉武;基于本体的数学知识获取与知识继承机制研究[J];微电子学与计算机;2003年09期
【共引文献】
中国期刊全文数据库 前10条
1 濮永仙;;贝叶网在农业专家系统中的研究与应用[J];安徽农业科学;2011年07期
2 虞欣;;多级Bayesian Network的影像纹理分类方法[J];测绘科技情报;2005年04期
3 黄培红;;自然语言理解——一个关于机器感悟人类语言实质的逻辑理论[J];四川兵工学报;2009年01期
4 刘英,倪中华;基于全生命周期的机床产品协同设计知识专家系统[J];成组技术与生产现代化;2005年02期
5 陈刚;基于本体论的远程教学系统领域知识建模[J];中国远程教育;2004年23期
6 黄荣怀,李茂国,沙景荣;知识工程学:一个新的重要研究领域[J];电化教育研究;2004年10期
7 邓文新;;本体论基础及其网络教学应用研究[J];电化教育研究;2007年12期
8 李睿;王旭阳;萧波;;智能教学系统中知识查询研究[J];电化教育研究;2011年04期
9 葛小三;边馥苓;;基于常识的空间推理研究[J];地理与地理信息科学;2006年04期
10 王艳妮;刘刚;;地质灾害领域本体的研究与应用[J];地理与地理信息科学;2011年06期
中国重要会议论文全文数据库 前5条
1 伍春香;陈世鸿;;基于本体的教育资源检索机制研究[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
2 翟建设;高志超;;军事气象水文保障知识本体构建研究[A];2009第五届苏皖两省大气探测、环境遥感与电子技术学术研讨会专辑[C];2009年
3 马玉莲;王宇冬;王鑫;;基于解释的分类算法[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
4 张杨;房斌;徐传运;;基于本体和描述逻辑的图像语义识别[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
5 马力波;黄席樾;陈东义;;基于多智能体的远程机器人自主性变换控制机制研究[A];2003年中国智能自动化会议论文集(上册)[C];2003年
中国博士学位论文全文数据库 前10条
1 宋岩;基于多Agent和本体的散杂货港口集团船舶调度系统研究[D];北京交通大学;2011年
2 郑军红;基于知识工程的智能夹具设计系统构建研究[D];浙江大学;2010年
3 王强;空间信息服务聚合的关键技术研究[D];解放军信息工程大学;2010年
4 戴小鹏;知识网格及其在农业生物灾害预警中关键技术研究[D];湖南农业大学;2010年
5 管红波;食品连锁经营中的有效客户反应研究[D];东华大学;2010年
6 周栩;本体工程中若干问题的研究[D];吉林大学;2011年
7 蔡盈芳;基于本体的航空产品知识库构建研究[D];北京交通大学;2011年
8 杜萍;基于本体的中国行政区划地名识别与抽取研究[D];兰州大学;2011年
9 刘峥;图像的语义标注及其改善问题研究[D];山东大学;2011年
10 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年
中国硕士学位论文全文数据库 前10条
1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年
2 张微;多Agent在供应链销售系统中应用[D];河北工程大学;2010年
3 龚华明;旅游本体知识库的构建及推理应用研究[D];昆明理工大学;2009年
4 孙杰;电气行业ETO型产品设计一体化研究及其应用[D];武汉理工大学;2010年
5 张卓;基于分层需求的领域本体构建及语义标注方法研究[D];东北财经大学;2010年
6 祁美玲;智能故障诊断融合技术在数控机床故障诊断中的应用[D];大连交通大学;2010年
7 迟铁;基于Agent的无线网络在建筑环境中的应用研究[D];沈阳建筑大学;2011年
8 顾复;协同环境下基于语义网络的产品结构模型重用实现技术[D];浙江大学;2011年
9 黄朝阳;支持敏捷生产的工艺智能化技术研究与应用[D];东华大学;2011年
10 陈静;基于多Agent的高校数字图书馆个性化信息服务系统模型研究[D];西安电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 侯汉清;李华;;《中国分类主题词表》(第二版)评介[J];国家图书馆学刊;2006年02期
2 耿增民;刘万春;朱玉文;;受限领域的自动文摘方法研究[J];北京理工大学学报;2006年08期
3 王芳;滕桂法;张玉新;任力生;马建斌;赵洋;;基于本体的农业问答语义管理系统设计与实现[J];河北农业大学学报;2008年05期
4 靳伟;张月清;王芳;;基于本体的分类检索系统的设计与实现[J];河北农业大学学报;2010年02期
5 董素芬;蔡金金;赵全东;;基于本体的农业检索系统研究[J];河北农业大学学报;2010年05期
6 于洪涛;段军义;;基于分类和聚类相结合的个性化检索方法研究[J];燕山大学学报;2007年06期
7 项欣;;基于数据挖掘的个性化信息服务[J];电脑知识与技术;2010年18期
8 林甲祥;麻伟斌;吴小竹;陈崇成;王伟斌;;网格服务模型元数据的组织管理与应用研究[J];地球信息科学学报;2010年02期
9 肖珑,陈凌,冯项云,冯英;中文元数据标准框架及其应用[J];大学图书馆学报;2001年05期
10 张景中;机器证明的回顾与展望[J];大自然探索;1997年01期
中国博士学位论文全文数据库 前10条
1 应晓敏;面向Internet个性化服务的用户建模技术研究[D];中国人民解放军国防科学技术大学;2003年
2 陈治平;智能搜索引擎理论与应用研究[D];湖南大学;2003年
3 李景;本体理论及在农业文献检索系统中的应用研究——以花卉学本体建模为例[D];中国科学院研究生院(文献情报中心);2004年
4 李瑞轩;异构信息集成中的查询处理与优化研究[D];华中科技大学;2004年
5 强保华;异构数据库语义集成技术研究[D];重庆大学;2005年
6 黄茂军;地理本体的形式化表达机制及其在地图服务中的应用研究[D];武汉大学;2005年
7 杜文华;本体的构建及其在数字图书馆中的应用研究[D];武汉大学;2005年
8 于海波;基于规则和本体的应用安全策略研究[D];吉林大学;2006年
9 林松涛;模块化本体建设研究[D];北京邮电大学;2006年
10 郭岩;网络日志中用户兴趣的挖掘及利用[D];中国科学院研究生院(计算技术研究所);2004年
中国硕士学位论文全文数据库 前10条
1 易靖;基于信息粒度原理的文本分类方法的研究[D];北京工业大学;2001年
2 李勇;智能检索中基于本体的个性化用户建模技术及应用[D];国防科学技术大学;2002年
3 艾丹祥;基于本体论的知识检索研究[D];武汉大学;2004年
4 俞鸿魁;基于层次隐马尔可夫模型的汉语词法分析和命名实体识别技术[D];北京化工大学;2004年
5 丁建;分布式数据库的查询优化算法研究[D];上海师范大学;2005年
6 温滔;自适应歧义切分的汉语分词系统的设计与实现[D];苏州大学;2005年
7 王晓燕;面向特定领域的需求获取与分析技术研究[D];山东大学;2006年
8 熊晶;P2P环境下基于Ontology的搜索引擎[D];中国海洋大学;2006年
9 于浚涛;基于最大熵的汉语介词短语自动识别[D];大连理工大学;2006年
10 姚崇东;基于XML的多源异构数据集成的实现方法研究[D];哈尔滨工程大学;2007年
【二级引证文献】
中国期刊全文数据库 前3条
1 魏清凤;罗长寿;孙素芬;张峻峰;;云计算在我国农业信息服务中的研究现状与思考[J];中国农业科技导报;2013年04期
2 郭平;刘波;沈岳;;农业云大数据自组织推送关键技术综述[J];软件;2013年03期
3 戴建国;王克如;李少昆;赖军臣;肖春华;李栓明;王琼;;基于REST架构和XML的农情数据共享研究[J];中国农业科学;2012年20期
中国硕士学位论文全文数据库 前2条
1 吕雯玲;针对农民的农业信息推送平台构建探讨[D];华中师范大学;2013年
2 王宗宝;安徽省农业科技信息服务平台构建研究[D];安徽财经大学;2014年
【相似文献】
中国期刊全文数据库 前10条
1 杨忠祥;;自然语言的学习与知识获取问题[J];计算机研究与发展;1989年01期
2 王宗军;一种增强型智能决策支持系统的结构设计[J];计算机工程与设计;1994年04期
3 王国胤,施鸿宝,王栩;用前向神经网络获取特定结构的规则知识[J];西安交通大学学报;1996年01期
4 陆志峰,赵杰雄;知识获取系统TPKA的研究[J];暨南大学学报(自然科学与医学版);1996年03期
5 王继成;一个基于符号神经网络的知识获取系统[J];电子学报;1998年08期
6 陈森昌,刘建华,黄树槐;挖掘专家知识[J];华中理工大学学报;1999年01期
7 闵联营;知识获取技术探析[J];交通与计算机;1999年05期
8 刘斌,赵卫东,何建敏;知识获取的粗分析方法[J];计算机工程与应用;2001年17期
9 钱揖丽,郑家恒;文本切分知识获取及其应用[J];计算机工程与应用;2003年02期
10 陶贵明;张锡恩;;基于运动仿真的故障知识获取研究[J];微计算机信息;2006年07期
中国重要会议论文全文数据库 前10条
1 许春义;魏艳红;刘爱国;;新型焊接工艺设计专家系统[A];第十次全国焊接会议论文集(第2册)[C];2001年
2 王重鸣;陆兴海;王世潮;王叶毅;;决策知识结构获取与表征的多方法分析[A];全国第七届心理学学术会议文摘选集[C];1993年
3 蒋文科;杨云森;许文华;邝朴生;;基于模糊神经网络的知识获取系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(下册)[C];1995年
4 马建军;陈文伟;;IDSS中知识获取的一种新方法[A];1996中国控制与决策学术年会论文集[C];1996年
5 翟忠平;王坚;凌卫青;;企业模型诊断系统(IEM-D)的规则知识获取[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年
6 张辉;钱宗才;屈景辉;刘敬华;;基于粗糙集理论的知识获取研究及应用[A];全面建设小康社会:中国科技工作者的历史责任——中国科协2003年学术年会论文集(上)[C];2003年
7 王志海;胡学钢;胡可云;王漫;蔡智明;张奠成;;一种面向知识获取的数据库逆向工程方法[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
8 周强;陈祖舜;梅立军;;情境描述的构建方法研究[A];全国第八届计算语言学联合学术会议(JSCL-2005)论文集[C];2005年
9 朱宏辉;陈定方;;知识获取与知识进化模型[A];2007年中国智能自动化会议论文集[C];2007年
10 王秀芳;齐玮;慕晓冬;;数据挖掘在故障诊断专家系统知识获取中的应用[A];第十九届中国(天津)'2005IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2005年
中国重要报纸全文数据库 前10条
1 贺俊;汇聚亿万草根智慧 奇虎发布经验搜索[N];证券日报;2006年
2 记者  章迪思;区域创新能力 上海重回榜首[N];解放日报;2006年
3 记者  冯娟;创新:冠军有“短腿”[N];上海金融报;2006年
4 王春 程蓉 龚黎明;上海综合创新能力缘何全国领先[N];科技日报;2006年
5 记者 任荃;区域创新 上海领跑[N];文汇报;2006年
6 瞿剑;“网络版权难解”困扰读书人[N];科技日报;2008年
7 高远心;微软三款企业级核心产品助力动态IT[N];电子资讯时报;2008年
8 王素梅 本报记者  李明 张莉莉 高欣;“十五”以来我省区域创新能力分析[N];辽宁日报;2006年
9 本报记者 曾东君;Web2.0颠覆网络教育“产业链”[N];中国电脑教育报;2007年
10 中科院计算所 张子云曹鹏;主体与协同:专家系统的发展方向[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 生佳根;基于本体的知识获取、管理和应用方法研究[D];南京航空航天大学;2012年
2 郝宇;基于Kolmogorov复杂性的知识获取方法研究[D];清华大学;2005年
3 康向平;基于形式概念分析理论的知识获取模型研究[D];山西大学;2012年
4 张方华;知识型企业的社会资本与技术创新绩效研究[D];浙江大学;2005年
5 郭永洪;基于本体的鱼病知识获取与诊断推理集成系统研究[D];中国农业大学;2004年
6 杨春立;产品知识管理系统研究[D];大连理工大学;2005年
7 黎常;中外合资企业讨价还价、管理控制与知识获取研究[D];浙江大学;2007年
8 王立生;社会资本、吸收能力对知识获取和创新绩效的影响研究[D];浙江大学;2007年
9 耿生玲;软集理论及其在知识获取中的应用研究[D];陕西师范大学;2013年
10 唐朝晖;铅锌生产过程密闭鼓风炉故障诊断技术及应用[D];中南大学;2008年
中国硕士学位论文全文数据库 前10条
1 王海燕;基于中小企业产业网络的知识创新研究[D];广东外语外贸大学;2008年
2 马雪;基于本体的隐性知识管理系统研究[D];西北大学;2008年
3 韩冠宇;智能化机械传动装置CAD系统[D];北京工业大学;2001年
4 杨继宏;人工智能技术在远程作业系统中的应用研究[D];西南交通大学;2003年
5 黄国平;推理机与基于数据库知识获取“松耦合”的一个专家系统之设计和实现[D];暨南大学;2002年
6 李敦峰;可视化集成专家系统开发工具的设计与实现[D];昆明理工大学;2004年
7 王晓倩;机械产品设计知识库系统研究[D];西安建筑科技大学;2005年
8 周开朋;湿地保护的本体设计及其文档集的分级排序[D];大连理工大学;2006年
9 邹艳;粗糙集理论在不完备信息系统知识获取中的应用研究[D];重庆师范大学;2006年
10 孙林嘉;基于粗糙集与神经网络的煤矿瓦斯预测知识获取方法研究[D];山西大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026