基于自主發(fā)育思想的程序設(shè)計算法識別研究.pdf

1、算法識別，也被認為是程序理解，是一項重要但困難的工作。在過去的幾十年中，不斷有人提出各種方法來進行算法識別的工作，絕大多數(shù)的方法都是模板化的?；谀０宓淖R別工作其實就是一個匹配人為定義的各種模板的過程。為了某一種特定的算法，需要事先在模板庫中設(shè)定好這個算法的識別模板。這種方法在識別算法的工作中，獲得了不錯的效果，有較高的識別準確率。但同時，基于模板化的識別方法也給此項工作帶來了局限性:當一個算法有多種實現(xiàn)版本的情況下，人們一般需要在模板

2、庫中定義這個算法的多個實現(xiàn)模板，以達到識別的效果。但往往，針對有些算法，我們很難事先去確定它們的實現(xiàn)版本的數(shù)量，這樣我們也無法事先在模板庫中完全定義好它們的模板。當有一個未定義算法模板的程序需要進行算法識別時，往往給不了任何的答案。本文結(jié)合了國家自然科學基金項目:“網(wǎng)絡(luò)知識互聯(lián)結(jié)構(gòu)自主發(fā)育模型研究”，針對上述問題，我們認為程序設(shè)計中的算法也是一種特定的知識，如何使這些特定的知識不通過人為事先定義的方法就能識別，擺脫人為過多干預是我們的一

3、個研究目標。
　　 類似于算法識別這樣的人工智能任務(wù)，與其他人工智能任務(wù)有相似點，即受過專業(yè)訓練的人能夠輕松完成，而機器卻需要在這些專業(yè)人士的干預下勉強完成這些工作。這種任務(wù)被稱作為“泥濘的”任務(wù)。近十年來，通過模仿人類智能發(fā)育思想的自主式機器發(fā)育思想在機器人和人工智能領(lǐng)域取得到了一定的成功，得到了越來越多的關(guān)注，同時也給我們的算法識別工作帶來了新的思路。我們希望傳統(tǒng)意義上那些模板并不是由人為事先設(shè)定的，而是通過我們的發(fā)育程序，

4、根據(jù)接收到的輸入信息以及與周圍環(huán)境的交互中不斷的發(fā)育出來的。這樣就可以避免我們提到的模板定義不完全這個問題。
　　 本文將按如下步驟展開:
　　 首先，我們將度量各個程序代碼之間的差異性。程序代碼，通常被認為是非向量化的變量。我們把程序代碼樹轉(zhuǎn)化為語法解析樹，計算之間的樹編輯距離，將得到其相異度矩陣。
　　 其次，有了這個相異度矩陣，我們就可以通過自組織圖的對離散、非向量化的數(shù)據(jù)變量進行聚類算法把在輸入空間中有代

5、表性的程序代碼聚類在一張自組織圖上，通過這張自組織圖中的神經(jīng)元結(jié)點，即程序代碼，和輸入的程序代碼之間的距離來映射出輸入程序代碼的向量，我們稱它們?yōu)橄蛄炕某绦虼a模板。
　　 最后，自主心智發(fā)育思想框架下的神經(jīng)網(wǎng)絡(luò):葉分量分析法將被用做來對這些的數(shù)字化程序代碼向量進行發(fā)育，而兩層的葉分量分析法所組成多層在位學習網(wǎng)絡(luò)將能達到識別的作用。這樣的網(wǎng)絡(luò)達到能夠識別一個算法的多種實現(xiàn)的要求。
　　 基于以上理論與方法，討論本課題組