基于實(shí)例模型的知識(shí)推理及其在自動(dòng)閱卷系統(tǒng)中的應(yīng)用.pdf

1、腦力勞動(dòng)的主要特點(diǎn)之一是推理功能。計(jì)算機(jī)產(chǎn)生智能行為的關(guān)鍵之一,在于實(shí)現(xiàn)自動(dòng)推理。我國(guó)在自動(dòng)推理尤其是初中幾何的自動(dòng)推理領(lǐng)域取得了卓越的成就。本文擬利用CBR技術(shù)實(shí)現(xiàn)初中幾何的知識(shí)推理。本文通過深入分析與研究初中幾何推理的特點(diǎn)、CBR的特點(diǎn)以及面臨的一些通用的難題，提出一系列可行的方法，實(shí)現(xiàn)初中幾何基于實(shí)例模型的反向鏈推理。并將其應(yīng)用于初中數(shù)學(xué)的自動(dòng)閱卷系統(tǒng)。
　　本文的主要工作與創(chuàng)新點(diǎn)主要有：
　　?實(shí)現(xiàn)了初中數(shù)學(xué)知識(shí)的形

2、式化表示。根據(jù)初中數(shù)學(xué)中知識(shí)的特點(diǎn)，提出了一種分層的初中數(shù)學(xué)形式化表示方法。將初中數(shù)學(xué)的知識(shí)分為個(gè)體、原子命題、實(shí)例三層，三層從左向右依次嵌套，原子命題的表示以個(gè)體為基本元素，實(shí)例的表示又以原子命題為基本元素。
　　?實(shí)例檢索是CBR中一個(gè)非常關(guān)鍵的環(huán)節(jié)，對(duì)CBR的效率與精確度有很大影響。本文為實(shí)例定義了一個(gè)索引，并在索引的基礎(chǔ)上實(shí)現(xiàn)了一個(gè)實(shí)例與當(dāng)前環(huán)境的相似性度量。然后提出了根據(jù)實(shí)例的謂詞類型對(duì)實(shí)例實(shí)行分存儲(chǔ)的實(shí)例庫(kù)構(gòu)造策略。最

3、后在實(shí)例庫(kù)與相似性度量的基礎(chǔ)之上，研究并得到了一個(gè)行之有效的面向反向推理的實(shí)例索引機(jī)制。
　　?檢索到的實(shí)例由于與當(dāng)前環(huán)境不一致，因此并不能直接用于當(dāng)前環(huán)境，因此我們?cè)趹?yīng)用實(shí)例之前要進(jìn)行適應(yīng)性修改（同一化）。但是CBR中適應(yīng)性修改并沒有一個(gè)通用的算法，必須要具體領(lǐng)域具體分析。本文根據(jù)初中幾何基于實(shí)例的實(shí)例反向推理的特點(diǎn)，提出了一套從實(shí)例到當(dāng)前環(huán)境的點(diǎn)與變量的映射獲取方法，并根據(jù)此映射對(duì)實(shí)例進(jìn)行點(diǎn)和變量的替換，從而使實(shí)例的環(huán)境與當(dāng)前