基于本体和Prolog规则的几何定理证明的研究



基于本体和Prolog规则的几何定理证明的研究

分类1：教育论文网→工业技术论文→自动化技术、计算机技术论文→自动化基础理论论文→人工智能理论论文
分类2：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→信息处理（信息加工）论文→文字信息处理论文

基于本体和Prolog规则的几何定理证明的研究

论文目录
摘要	第1-5页
ABSTRACT	第5-9页
第一章绪论	第9-16页
· 研究背景及意义	第9-10页
· 国内外研究现状	第10-14页
· 几何定理证明发展现状	第10-13页
· 本体发展历史	第13-14页
· 本文的研究内容	第14-15页
· 本文的组织结构	第15-16页
第二章本体理论与技术	第16-30页
2.1 语义 Web	第16-18页
2.1.1 语义 Web 概述	第16-17页
2.1.2 语义 Web 与本体	第17-18页
· 本体基础理论	第18-22页
· 本体概述	第18-19页
· 本体描述语言	第19-22页
· 本体构建	第22-26页
· 本体构建原则	第22-23页
· 本体构建方法	第23-24页
· 本体构建工具	第24-26页
· 描述逻辑与规则语言	第26-28页
· 描述逻辑概述	第26-27页
· 本体规则语言	第27-28页
2.5 推理引擎 AllegroGraph	第28-29页
· 本章小结	第29-30页
第三章几何本体模型的研究与构建	第30-40页
· 几何证明本体知识库	第30-31页
· 几何本体模型的构建	第31-35页
· 几何本体模型构建的研究	第31-33页
· 几何本体模型构建方法的研究	第33-35页
· 平面几何本体模型的设计	第35-39页
· 本章小结	第39-40页
第四章基于本体与规则定理证明	第40-60页
4.1 基于本体与 Prolog 几何定理证明	第40-49页
· 思想概述	第40页
4.1.2 基于本体的 Prolog 规则推理	第40-41页
· 自动推理算法设计	第41-44页
· 平面几何案例	第44-49页
· 几何定理规则的半自动生成	第49-58页
· 概述	第49页
· 规则生成理论研究	第49-51页
· 规则半自动生成方式设计	第51-53页
· 规则半自动生成案例	第53-58页
· 本章小结	第58-60页
第五章实验设计与结果分析	第60-76页
· 实验概述	第60-63页
· 实验的程序架构	第60-61页
· 实验环境及工具	第61-63页
· 实验的数据结构设计	第63-68页
· 设计概述	第63页
· 知识库数据的获取	第63-65页
· 内存数据结构设计	第65-66页
· 数据库辅助数据设计	第66-68页
· 规则半自动生成实验分析	第68-71页
· 几何定理自动证明实验分析	第71-74页
5.5 与 Math-xp 证明方法的比较	第74-75页
· 本章小结	第75-76页
第六章总结和展望	第76-78页
· 工作总结	第76-77页
· 工作展望	第77-78页
致谢	第78-79页
参考文献	第79-82页
攻硕期间取得的研究成果	第82-83 页

本篇论文共83页，点击这进入下载页面。

更多论文
基于本体和Prolog规则的几何定理证
RFID在物流信息管理中的应用
中山市烟洲小学图书馆图书借阅管理
分布式高可靠性海量数据处理系统中
平台无关模型在企业管理信息系统中
基于视频的人脸检测系统的研究与实
基于WPF和Silverlight的动态应用程
国家保密局办公自动化信息系统的设
图书馆光碟管理系统设计与实现
移动图书营销系统设计与实现
基于J2EE的油田人力资源管理系统的
兖矿数字电视系统平台的设计与实现
金融行业内容管理系统的设计与实现
基于.NET的学生事务管理系统的设计
网上党校学习系统的设计与实现
驾驶者信息系统中人机接口的设计与
基于J2EE的企业论坛系统的设计与实
远程在线教育管理系统的设计与实现
濮阳市中学人力资源管理系统研究与
物业信息发布系统的开发
基于jBPM工作流的HIS系统组件开发
营运车辆卫星定位安全服务系统设计
基于C/S和B/S模式相结合的燃料管理
基于C/S与B/S混合架构课室申请管理
车载电子警察系统的研究与设计
社交网络服务系统Web前端设计与实现
报业协同编辑系统的设计与实现
新疆联通BSS报表中心系统的设计与实
九江学院在线考试系统的设计与实现
在线考试系统及后台题库设计与实现
九江学院网络招标系统的设计与实现
九江学院团务管理系统的设计与实现
油田企业井下作业管理系统的设计与
第三方物流系统的设计与实现
建筑工程质量管理信息系统的设计与
物资采购招投标系统设计与实现
基于J2EE的办公自动化系统设计与实
基于校园应用的一卡通系统设计与实
基于山东铝业公司工资管理系统设计
供电企业设备缺陷管理系统设计与实
基于SOA与多渠道的农村三资与三务公
低碳敬香系统的设计与实现
基于Web服务器日志挖掘的数据预处理
基于ISO 18000-6C标准的UHF RFID读
兰州石化公司油品运输设计与实现
永康市职业技术学校校园管理信息系
车辆与驾驶人档案影像管理系统的设
数据挖掘在设备管理中的应用
智慧医疗监控终端软件系统的设计与
基于加权网络的协同过滤推荐
基于元数据库的通用ETL系统设计与开
基于主动数据库技术的仓库信息管理
化工生产装置运行状态监测管理系统
基于Android和OpenGL的多媒体播放器
10KV配网工程建设管理系统设计与实
建设银行南昌洪都支行人力资源信息
粮食仓库实时监测系统的设计与实现
中山市公安局巡警支队枪支管理信息
联通新疆分公司BSS资料稽核系统的设
BPM在基于SOA架构的IT规划项目中的
苏里格气田苏十区块集气站采气监控
哈萨克文字符编码及输入法的设计与
广安市气象信息共享平台的研究与开
企业内网管理及补丁分发系统的设计
广西林火监测业务系统的设计与实现

知识库论文本体几何定理自动证明论文
版权申明：目录由用户hzbrf0**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved