电子科技大学学报
電子科技大學學報
전자과기대학학보
JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
2011年
3期
429-434
,共6页
平面几何%本体%Prolog%RDF(S)%定理证明
平麵幾何%本體%Prolog%RDF(S)%定理證明
평면궤하%본체%Prolog%RDF(S)%정리증명
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明.
基于本體理論、本體模型等方麵的研究,以一箇平麵幾何定理證明問題為例,詳細地描述瞭平麵幾何本體的構建過程、基于本體和Prolog規則的推理,及其在平麵幾何問題求解中的應用.實驗結果錶明,將本體應用于幾何定理機器證明是一種行之有效的方法,該方法避開瞭以往的代數方法中多次反複判斷的問題,更接近自然語言的描述,能明確地錶達領域知識和實現概唸分層,從而能快速地構建幾何模型,還可以進行複雜關繫間的推理,最終實現基于本體和Prolog規則的平麵幾何定理證明.
기우본체이론、본체모형등방면적연구,이일개평면궤하정리증명문제위례,상세지묘술료평면궤하본체적구건과정、기우본체화Prolog규칙적추리,급기재평면궤하문제구해중적응용.실험결과표명,장본체응용우궤하정리궤기증명시일충행지유효적방법,해방법피개료이왕적대수방법중다차반복판단적문제,경접근자연어언적묘술,능명학지표체영역지식화실현개념분층,종이능쾌속지구건궤하모형,환가이진행복잡관계간적추리,최종실현기우본체화Prolog규칙적평면궤하정리증명.
