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

Research on Automatic Rule Generation Based on Geometry Ontology

平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解。关键规则目前主要依赖领域专家的编写,不具有扩展性和可持续性。通过对自然语言描述的平面几何定理的分析,构建其对应的对象和关系模型,提出了一种自动提取和生成几何关系模型对应规则的方法,以平面几何定理的机器证明为例,验证了此方法的可行性。改进方法还可进一步扩展至其它领域规则的自动生成。

The main purpose of domain rule generation is to extract inner relationship from the domain or solve related problems. However, the rules which are mainly extracted by domain experts manually nowadays are not extensible and continuable, An automatic rule generation method is introduced in this paper. Firstly, the natural-language- described geometric theorem is analyzed, and then a corresponding object and relationship model is constructed. Finally, after running a java program, the Prolog rules are generated automatically. In addition, the method is validated by two examples and can be extended to automatic rule generation in other domains.