吳麗麗　佘　莉　白亞秀

[摘要]文章采用面向?qū)ο蟮姆椒?，給出了建立在平面幾何學(xué)科知識范圍內(nèi)的知識庫系統(tǒng)模型：規(guī)則—元件體系及其推理規(guī)程。知識庫系統(tǒng)是智能教育平臺的主體。并采用層次模型建立知識的分類結(jié)構(gòu)，給出了其形式化的數(shù)據(jù)結(jié)構(gòu)。問題求解系統(tǒng)則是通過構(gòu)造正向、逆向或雙向的推理機(jī)，在狀態(tài)空間中進(jìn)行搜索求解。

[關(guān)鍵詞]面向?qū)ο螅恢R表示；知識庫系統(tǒng)CAI

[中圖分類號]G424

[文獻(xiàn)標(biāo)識碼]A

[文章編號]1008—1151(2005)10—0175—02