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

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

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

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