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