基于受限漢語(yǔ)和模塊組合的自動(dòng)程序設(shè)計(jì)研究.pdf

1、自動(dòng)程序設(shè)計(jì)是軟件工程師的夢(mèng)想。隨著人工智能、認(rèn)知科學(xué)的理論研究發(fā)展,以及人們?cè)谲浖a(chǎn)領(lǐng)域的實(shí)踐,一些特定領(lǐng)域的、自動(dòng)、半自動(dòng)程序設(shè)計(jì)系統(tǒng)已經(jīng)出現(xiàn)。自動(dòng)程序設(shè)計(jì)系統(tǒng)是對(duì)人們?cè)诟飨嚓P(guān)領(lǐng)域研究與實(shí)踐成果的綜合運(yùn)用和系統(tǒng)總結(jié),是軟件生產(chǎn)的重要發(fā)展方向。自動(dòng)程序設(shè)計(jì)是人工智能的一個(gè)重要分支,是人工智能各個(gè)研究領(lǐng)域中最為復(fù)雜的一個(gè)。它的復(fù)雜性源于它的綜合性:它涉及了人工智能中幾乎所有領(lǐng)域的研究,是這些領(lǐng)域研究的綜合運(yùn)用。國(guó)外對(duì)自然語(yǔ)言的研究相對(duì)

2、于我國(guó)來(lái)說(shuō)發(fā)展要快。這主要是國(guó)外大多是以英語(yǔ)為基礎(chǔ)的自然語(yǔ)言,而我國(guó)則是以漢語(yǔ)為基礎(chǔ)的自然語(yǔ)言。因此要實(shí)現(xiàn)從受限自然語(yǔ)言表達(dá)的需求到計(jì)算機(jī)可以理解的程序設(shè)計(jì)語(yǔ)言代碼,它們之間的本質(zhì)聯(lián)系在于其共同的語(yǔ)義內(nèi)涵,它們是分別從不同的角度、用不同的方式對(duì)同一語(yǔ)義內(nèi)涵的描述。軟件重用技術(shù)作為自動(dòng)程序設(shè)計(jì)的方法之一,軟件重用技術(shù)支持人們用通用的可重用軟模塊,以“積木式”的方法開(kāi)發(fā)、維護(hù)或移植軟件,提高軟件生產(chǎn)率。本文詳細(xì)研究了受限漢語(yǔ)的形式化。在符合

3、本研究的領(lǐng)域范圍之內(nèi),針對(duì)受限漢語(yǔ)的規(guī)范、受限漢語(yǔ)的子集設(shè)計(jì)等進(jìn)行了相關(guān)研究。另外,在根據(jù)漢語(yǔ)注重語(yǔ)義的基礎(chǔ)上對(duì)格語(yǔ)法進(jìn)行研究,設(shè)計(jì)出適合本文的受限漢語(yǔ)文法。本文綜合了上述兩個(gè)方面的研究,以受限漢語(yǔ)和模塊組合為基礎(chǔ),對(duì)自動(dòng)程序設(shè)計(jì)進(jìn)行了初步的研究,提出了一個(gè)基本框架。本文的研究?jī)?nèi)容主要是計(jì)算機(jī)怎樣對(duì)受限漢語(yǔ)的理解和模塊的組合生成,分別對(duì)受限漢語(yǔ)的形式,漢語(yǔ)表達(dá)需求的自動(dòng)分詞,語(yǔ)義的分析,中間代碼的生成,以及模塊組合和最后C代碼的生成分別