原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于ontology的平面几何知识库设计
第 卷第 期 计算机应用
!! ( ^/0 *!! @ C/ * (
年 月
!! ( Y/QS.L 5SS0GR?.G/-K Z?L @ !!
文章编号： （ ）
## $ %+# !! ( $ # $ )
基于,-./0/12 的平面几何知识库设计
吴文渊，曾振柄，符红光
（中国科学院成都计算机应用研究所 自动推理实验室，四川 成都’#3#）
摘 要：文中给出了,-./0/12 建模方法在平面几何知识库设计中的一个应用实例。先从总体上
介绍了,-./0/12 建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构
及其实现。我们提出概念分层，等价类存贮，启发式双向推理，推理经验生成，交互解题，数字测试等
多种平面几何知识库的相关技术；能生成与“吴法”等代数方法不同的、传统的、较优的可读证明；并提
高了系统的重用性、可靠性、可维护性和知识扩展性。
关键词： 建模方法； 框架结构；知识重用；启发式双向推理
,-./0/12 4567
中图分类号： 文献标识码：
89(#* # 5
!#$%$% ’()*!% +,# -(.
/0 *1/,.2 %(1/.2 +,#! ( (/(*(%2
:; :-=2?- @ ABCD AE-=FG-1 @ H; I/-1=1?-1
!#$%#’%( ) % *+’%,#’-. /-#0%1213 #1. 4%3#,,213 5 67-13.+ 810’2’+’- %) 6%,9 +’- *99 :2;#’2%10 5
6721-0- *;#.-,( %) ;2-1;-0 5 67-13.+ 2;7+#1 ’#3# 5 6721#=
,3456785 9 J. GK G00K.L?.M E/N ./ K ?- /-./0/12 ./ MKG1- O-/N0M1 F?KGK /P 0Q-.?L2 1/Q.L2 * HGLK.02 N G-.L/MR .E
GM? @ PL?QN/LO @ ?SS0GR?.G/-K ?-M SL/KSR. /P /-./0/12 @ .E- KE/N .E FG0MG-1 SL/RKK /P 1/Q.L2 /-./0/12 ?-M PG-?002 MKRLGF .E
?LREG.R.L /P /L O-/N0M1 F?KGK NEGRE GK F?KM /- 1/Q.L2 /-./0/12 * J- ?MMG.G/- @ N SLK-. KTL?0 .RE-GUK @ KRE ?K ELGK.GR
P/LN?LM ?-M F?RON?LM L?K/-G-1 @ R?K K.M2 @ E2S/.EKGV $ ?-M $ -QLGR?0 .K. .R * @ F2 NEGRE G. R?- 1-L?. L0?.GT02 /S.GQQ @
.L?MG.G/-?0 ?-M L?M?F0 SL//PK P/L 1/Q.L2 .E/LQK *
’:; =64 9 ,-./0/12 W 4567 W O-/N0M1 $ LK?FG0G.2 W ELGK.GR L?K/-G-1
用，更使其成为知识工
文档评论（0）