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

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

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