帶有自動(dòng)推理功能的程序設(shè)計(jì)ICAI系統(tǒng)研究.pdf

1、我們從兩方面著手來(lái)提高程序設(shè)計(jì)教學(xué)軟件的質(zhì)量:一方面從程序設(shè)計(jì)教學(xué)自身著手,選取合適的程序設(shè)計(jì)方法進(jìn)行教學(xué);另一方面從外部努力,改進(jìn)教學(xué)的方法和技術(shù).該系統(tǒng)選用薛錦云教授的PAR方法為主要教學(xué)內(nèi)容,應(yīng)用人工智能的知識(shí)表示和自動(dòng)推理原理及泛型思想,使得系統(tǒng)具有以下核心功能:①展示幾種典型例題的解;②以泛型思想為指導(dǎo),實(shí)現(xiàn)了無(wú)限題庫(kù),可以自動(dòng)生成與典型例題類(lèi)似的問(wèn)題給學(xué)生求解并給予提示;③對(duì)于這些題目,計(jì)算機(jī)可以自動(dòng)推理出由問(wèn)題到程序的全過(guò)

2、程供學(xué)生學(xué)習(xí);也可通過(guò)自動(dòng)推理根據(jù)用戶的實(shí)際做題情況實(shí)時(shí)給出提示,交互式地幫助學(xué)生學(xué)習(xí)算法程序設(shè)計(jì);④學(xué)生可以從問(wèn)題庫(kù)中獲得練習(xí),并調(diào)用轉(zhuǎn)換器,將自己的APLA程序轉(zhuǎn)化為可執(zhí)行語(yǔ)言程序,運(yùn)行以檢驗(yàn)其正確性;⑤對(duì)教師而言,可以對(duì)已有的實(shí)例庫(kù)、問(wèn)題庫(kù)進(jìn)行添加操作等.在系統(tǒng)的研制過(guò)程中,我們深入研究了系統(tǒng)的各方面相關(guān)知識(shí),并進(jìn)行了多方面的創(chuàng)新:在教學(xué)內(nèi)容方面,首次選用PAR方法為主要內(nèi)容.PAR方法可以說(shuō)清"問(wèn)題→程序"的能力;在實(shí)現(xiàn)技術(shù)方面

3、,借鑒了當(dāng)代流行的泛型思想,并將人工智能在知識(shí)表示、自動(dòng)推理等研究中形式的思想方法和成果應(yīng)用于程序設(shè)計(jì)ICAI系統(tǒng)的開(kāi)發(fā),使得系統(tǒng)具有一個(gè)既有問(wèn)題又有解答的無(wú)限題庫(kù),這些解答是由自動(dòng)推理產(chǎn)生的而不再是固定問(wèn)題、答案的推砌;在系統(tǒng)功能方面,充分體現(xiàn)了建構(gòu)主義思想,具有良好的人機(jī)交互性、并發(fā)性和開(kāi)放性.此外,系統(tǒng)還具有良好的可移植性和易維護(hù)性等特點(diǎn);當(dāng)然多媒體技術(shù)在該系統(tǒng)中也得到了充分的展現(xiàn).至此,該文進(jìn)行了一次程序設(shè)計(jì)ICAI系統(tǒng)開(kāi)發(fā)的有