基于范例、規(guī)則推理的新型程序設(shè)計ICAI系統(tǒng)研究與實現(xiàn).pdf

1、該文主要工作如下:1.分析研究自動推理理論及程序設(shè)計課程的特點,選擇適合程序設(shè)計的自動推理方法——基于范例、規(guī)則自動推理.2.對PAR方法進(jìn)行研究與總結(jié),收集已有PAR方法開發(fā)實例,并用PAR方法推導(dǎo)大量的典型算法程序,總結(jié)出其中規(guī)律;將適合用PAR方法開發(fā)的算法程序進(jìn)行分類,并且構(gòu)造相應(yīng)的問題模板和解題模板,形成生成無限題庫和基于范例推導(dǎo)自動推理的理論依據(jù).3.研究人工智能知識表示方法及PAR方法的量詞變換規(guī)則,組織基于規(guī)則推導(dǎo)的規(guī)則

2、庫.4.構(gòu)建一個基于范例、規(guī)則推理的新型程序設(shè)計的ICAI系統(tǒng).該文對程序設(shè)計的自動推理做了有意的探索;對PAR方法進(jìn)行問題分類,將形成的可重用程序模板用于自動推理,這樣不僅有利于PAR方法的進(jìn)一步研究與深化,而且大大增強了PAR方法對實現(xiàn)軟件開發(fā)的形式化和自動化所起的作用,同時有助于現(xiàn)在正在進(jìn)行的Radl-Apla轉(zhuǎn)換器的研究;組織整理量詞轉(zhuǎn)換規(guī)則庫,使算法設(shè)計的量詞轉(zhuǎn)換部分可基于規(guī)則推理自動完成,這為將來用邏輯語言完成這部分工作奠定