几何知识对象的形式化和规范

本文介绍了我们在几何知识对象的识别,形式化,结构化和规范化方面的工作,目的是进行语义表示和知识管理。 我们根据几何知识在几何文献中的积累和表示方式对几何知识进行分类,通过调整一阶逻辑的语言来对几何知识陈述进行形式化,在可检索和可扩展的数据结构中指定具有嵌入式知识的知识对象,并通过建模对其进行组织它们之间关系的层次结构。 给出了一些有关几何知识对象的形式规范的示例,以说明我们的方法。 该方法的基本思想已成功用于自动几何推理,知识库创建和电子文档生成。