中學幾何過程本體的自動生成及其在機器證明中的應用.pdf

1、本體論是為解決知識在計算機中的存儲和共享而產(chǎn)生的新興學科，它是知識與計算機的橋梁。人工智能的高級應用建立在完整、嚴謹?shù)臋C器知識表述之上，所以本體論的發(fā)展直接影響人工智能的后續(xù)進展。
　　本體論在近幾十年得到了長足的發(fā)展，但距離成熟運用還有一段不小的距離，尤其是本體構建方法及其使用上表現(xiàn)更為明顯。由于缺乏統(tǒng)一的規(guī)范，這些方法基本取決于專家對各自領域的熟悉度及具體的使用要求，限制了本體的通用和共享效率。目前的構建方式大部分是專家手工構

2、建，較少部分實現(xiàn)了半自動構建，自動構建的幾乎沒有。因此，當前的本體被限制在各個領域，交叉學科很難找到完全適合使用的本體，這違背了本體共享的初衷。
　　本文在本體論的基本理論上，結合知識的結構以及它在人類大腦和機器中的存儲、進化方式，提出了一種自動化的本體構建方式，并在中學幾何的證明過程中進行運用和驗證。全文主要工作內容包括以下幾個方面：
　　1、學習本體的基本理論與知識的含義和進化階層，研究知識在認知心理學和復雜性科學中的結

3、構，提出了金字塔型知識體系結構。根據(jù)知識結構與本體和大腦三者間的關系，提出金字塔型本體構建方式。
　　2、以中學幾何的證明過程做為實驗對象，根據(jù)金字塔構建方式分析并確定構建中的知識結構。同時，確定手動構建的知識以及自動處理的數(shù)據(jù)。
　　3、構建一個中學幾何證明過程的本體(中學幾何過程本體)。對構建過程中的歧義、同義及自動糾錯和自然語言等問題做描述和處理。
　　4、結合幾何證明的流程化特點，提出一種還原幾何證明過程的多叉