幾何過程本體的構(gòu)建及其應(yīng)用研究.pdf

1、隨著計(jì)算機(jī)技術(shù)的飛速發(fā)展，計(jì)算機(jī)輔助教育已成為信息時(shí)代的重要教育形式。但是教學(xué)系統(tǒng)中的教育資源缺乏統(tǒng)一的規(guī)范化表示，導(dǎo)致網(wǎng)絡(luò)中存在許多相同或相似的資源而不能相互共享和重用。然而，本體的最大優(yōu)點(diǎn)在于它可將領(lǐng)域的概念和術(shù)語(yǔ)規(guī)范化。因此將教育資源采用本體技術(shù)來實(shí)現(xiàn)，能從根本上解決資源的共享和重用問題。目前大多數(shù)本體都是通過手工構(gòu)建的，且?guī)缀醵际墙Y(jié)構(gòu)化的靜態(tài)本體。近年來不斷有人提出半自動(dòng)地構(gòu)建領(lǐng)域本體、動(dòng)態(tài)本體等。
　　本文在此基礎(chǔ)上提出

2、了基于平面幾何的過程本體的半自動(dòng)構(gòu)建方法。根據(jù)幾何證明題描述和結(jié)構(gòu)的規(guī)范性，采用信息抽取技術(shù)對(duì)證明題的證明過程進(jìn)行解析，從過程的每個(gè)邏輯分段中自動(dòng)地提取其抽象模型和實(shí)例模型，并將新的模型存儲(chǔ)于本體中或?qū)σ汛嬖谟诒倔w中的模型進(jìn)行完善。提出了將此過程本體應(yīng)用于自動(dòng)解題的研究。采用正序根據(jù)題目的已知條件查詢過程本體中的模型得到某個(gè)結(jié)論，而該結(jié)論又可作為新的已知條件再查詢過程本體得到其它結(jié)論，直到得到題目的最終結(jié)論，從而實(shí)現(xiàn)基于過程本體的自動(dòng)問