基于本体的平面几何规则自动生成方法的研究.pdfVIP

计算机仿真 2014 年 11 月 第 31 卷第11 期 文章编号: 1006-9348( 2014) 11-0323-05 基于本体的平面几何规则自动生成方法的研究 贺锦敖， T盘苹 (电子科技大学计算机科学与技术学院，四川成都 611731 ) 摘要:平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解。关键规则目前主要依赖领域专家的编 写，不具有扩展性和可持续性。通过对自然语言描述的平面几何定理的分析，构建其对应的对象和关系模型，提出了一种自 动提取和生成几何关系模型对应规则的方法，以平面几何定理的机器证明为例，验证了此方法的可行性。改进方法还可进 一步扩展至其它领被规则的自动生成。 关键词:规则自动生成;定理证明;几何本体 中回分类号:TP18 、1回 文献标识码:B Research 00 Automatic Rule Geoeratioo ßased 00 Geometry Ootology HE Jin-ao ,DING Pan-ping (Sch∞1 of Computer Science and Engineering , University of Electronic Science and Technology of China , Chengdu Sichuan 611731 , China) ABSTRA Cf:The main p町pose of domain rule generation is to ex国ct inner relationship from the domain or solve re- lated problems. However , the rules which are mainly extracted by domain expe血 manual1y nowadays are not extensi- ble and continuable. An automatic rule generation me出od is introduced in 由is paper. Firsùy , the natural-language- described geometric theorem is analyzed , and then a corresponding object and relationship model is constructed. Fi- nal1y , after running a java program ，也e Prolog rules are generated automatical1y. In addition , the method is validated by two examples and can be extended to automatic rule generation in other domains. KEYWORDS :Automatic rule generation; Theorem proof; Geometry ontology 命题所给的条件、已知的公理、定理及公式等推理规则，通过 1 号|言 定理机器证明(Automated Theorem Provi吨， ATP) ，就是 大量的试验匹配的方法进行证明。但这种方法所表现的信 息十分丰富，即中间过程的几何信息呈指数增长，从而也成 把证明定理的一般知识和规则以适当的形式存储到计算机 为该方法的一个瓶颈。 中，