基于,-.012平面几何知识库设计.PDFVIP

第 卷第 期 计算机应用 !! ( ^/0 *!! @ C/ * ( 年 月 !! ( Y/QS.L 5SS0GR?.G/-K Z?L @ !! 文章编号： （ ） ## $ %+# !! ( $ # $ ) 基于,-./0/12 的平面几何知识库设计 吴文渊，曾振柄，符红光 （中国科学院成都计算机应用研究所 自动推理实验室，四川 成都’#3#） 摘 要：文中给出了,-./0/12 建模方法在平面几何知识库设计中的一个应用实例。先从总体上 介绍了,-./0/12 建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构 及其实现。