中學(xué)幾何過程本體的自動生成及其在機(jī)器證明中的應(yīng)用.pdf

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

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

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