丁盘苹
- 作品数：4 被引量：45H指数：2
- 供职机构：电子科技大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于混合推理的知识库的构建及其应用研究被引量：42
- 2012年
- 该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.
- 钟秀琴刘忠丁盘苹
- 关键词：本体知识库
- 基于本体与Prolog的平面几何定理证明被引量：4
- 2011年
- 基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。
- 钟秀琴符红光丁盘苹
- 关键词：本体PROLOG定理证明
- 基于本体的平面几何规则自动生成方法的研究被引量：1
- 2014年
- 平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解。关键规则目前主要依赖领域专家的编写,不具有扩展性和可持续性。通过对自然语言描述的平面几何定理的分析,构建其对应的对象和关系模型,提出了一种自动提取和生成几何关系模型对应规则的方法,以平面几何定理的机器证明为例,验证了此方法的可行性。改进方法还可进一步扩展至其它领域规则的自动生成。
- 贺锦敖丁盘苹
- 关键词：定理证明
- 基于本体和Prolog规则的几何定理证明的研究
- 随着计算机技术的发展，人工智能技术取得了突破性的进步。机器定理证明是人工智能领域重要的研究课题，到目前为止已经有几种较为成熟的方法，如吴先生的代数法、张景中院士的―消点算法、基于规则的定理证明等，这些方法与传统的几何命题...
- 丁盘苹
- 关键词：数据库技术语义分析程序语言
- 文献传递
