基于本体与Prolog的平面几何定理证明 (2011年)

【文件属性】：

文件名称：基于本体与Prolog的平面几何定理证明 (2011年)

文件大小：554KB

文件格式：PDF

更新时间：2024-06-13 21:06:05

自然科学 论文

【摘要】基于本体理论、本体模型等方面的研究，以一个平面几何定理证明问题为例，详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理，及其在平面几何