專利名稱：基于不完備知識(shí)的推理技術(shù)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種機(jī)器翻譯中的分析推理方法，屬于機(jī)器翻譯技術(shù)領(lǐng)域。
在基于規(guī)則的機(jī)譯系統(tǒng)中，無(wú)論規(guī)則設(shè)計(jì)得多么細(xì)致合理，總會(huì)有一些語(yǔ)言現(xiàn)象沒(méi)有被考慮到，一般機(jī)譯系統(tǒng)遇到此類問(wèn)題都無(wú)能為力。
本發(fā)明的目的旨在提供一種基于不完備知識(shí)的推理技術(shù)，該技術(shù)可在知識(shí)不完備的情況下，求出與正確解最為逼近的解。
本發(fā)明是通過(guò)如下方法實(shí)現(xiàn)的一種使用計(jì)算機(jī)進(jìn)行的基于不完備知識(shí)的推理技術(shù)，其采取如下步驟(一)根據(jù)需要定義次要特征；(二)將原文句子生成部分結(jié)構(gòu)樹(shù)；(三)對(duì)生成的部分歸約結(jié)構(gòu)樹(shù)，執(zhí)行以下算法步驟(1)首先將現(xiàn)有規(guī)則中的上下文相關(guān)測(cè)試條件去掉，然后對(duì)部分樹(shù)的最高層進(jìn)行歸約，若歸約成功，則本算法成功結(jié)束；否則轉(zhuǎn)步驟(2)；(2)進(jìn)一步將規(guī)則頭部中的次要特征去掉，然后繼續(xù)對(duì)最高層結(jié)點(diǎn)進(jìn)行歸約，若歸約成功，則本算法成功結(jié)束，否則轉(zhuǎn)步驟(3)；(3)根據(jù)部分樹(shù)結(jié)構(gòu)，若最高層中各結(jié)點(diǎn)已為樹(shù)中的葉結(jié)點(diǎn)，則直接將其歸約為句子；否則將最高層中各結(jié)點(diǎn)均還原為其對(duì)應(yīng)的下一層結(jié)點(diǎn)，生成新的中間結(jié)果，轉(zhuǎn)步驟(1)對(duì)新的部分樹(shù)重復(fù)上述過(guò)程。
本發(fā)明通過(guò)忽略嚴(yán)格的上下文相關(guān)條件或次要語(yǔ)義特征，利用逐步減少條件的逼近方法，進(jìn)行較寬約束的歸約，實(shí)現(xiàn)了對(duì)未訓(xùn)練結(jié)構(gòu)的逼近翻譯，從而擴(kuò)大了規(guī)則體系的覆蓋范圍，大大提高了機(jī)譯系統(tǒng)的自適應(yīng)性。
以下結(jié)合附圖和發(fā)明實(shí)例對(duì)本發(fā)明作詳細(xì)描述。


圖1是本發(fā)明的算法流程圖；圖2為部分結(jié)構(gòu)樹(shù)。
本發(fā)明是使用普通計(jì)算機(jī)實(shí)現(xiàn)的，其步驟為一、定義次要特征。
次要特征可根據(jù)需要任意定義。這里，我們將次要特征定義為文法體系的特征分類中除語(yǔ)法特征以外的全部特征。
二、對(duì)原文句子調(diào)用翻譯處理算法，若用現(xiàn)有規(guī)則無(wú)法對(duì)其進(jìn)行歸約，則無(wú)法生成一完整的歸約結(jié)構(gòu)樹(shù)，而是生成部分結(jié)構(gòu)樹(shù)(即缺少根結(jié)點(diǎn)的不完整結(jié)構(gòu)樹(shù))。部分結(jié)構(gòu)樹(shù)如圖2所示。
三、對(duì)由步驟二生成的部分歸約結(jié)構(gòu)樹(shù)，執(zhí)行以下算法步驟(參見(jiàn)圖1)(1)部分樹(shù)的最高一層為P1＝Pi1 Pi2...Pik，置當(dāng)前中間結(jié)果為Pi＝P1。
(2)對(duì)于中間結(jié)果Pi，由于沒(méi)有規(guī)則可將其歸約為句子，因此首先將現(xiàn)有規(guī)則中的上下文相關(guān)函數(shù)去掉，然后對(duì)Pi進(jìn)行歸約。若歸約成功，則本算法成功結(jié)束；否則轉(zhuǎn)步驟(3)；(3)進(jìn)一步將規(guī)則頭部中的次要特征去掉，然后繼續(xù)對(duì)Pi進(jìn)行歸約。若歸約成功，則本算法成功結(jié)束，否則轉(zhuǎn)步驟(4)；(4)根據(jù)部分樹(shù)結(jié)構(gòu)，若Pi中各結(jié)點(diǎn)已為樹(shù)中的葉結(jié)點(diǎn)，則直接將其歸約為句子；否則將Pi中各結(jié)點(diǎn)還原為其對(duì)應(yīng)的下一層結(jié)點(diǎn)，生成新的中間結(jié)果，轉(zhuǎn)步驟(2)對(duì)新的部分結(jié)構(gòu)樹(shù)重復(fù)上述過(guò)程。
由于翻譯處理機(jī)制已用現(xiàn)有規(guī)則對(duì)部分樹(shù)的最高層歸約過(guò)，但無(wú)法將其歸約為句子，說(shuō)明現(xiàn)有規(guī)則知識(shí)是不完備的。因此，首先需要放寬規(guī)則的條件限制，使其能覆蓋更多的語(yǔ)言現(xiàn)象，然后再對(duì)部分樹(shù)的最高層進(jìn)行歸約。
放寬規(guī)則條件限制的方法有兩種一是去掉規(guī)則中的上下文相關(guān)函數(shù)，使規(guī)則中的當(dāng)前頭部模式不再限制在特定上下文環(huán)境中；二是去掉規(guī)則頭部中的次要特征，只要滿足主要特征即可匹配。
因此，上述算法所表達(dá)的方法就是首先將現(xiàn)有規(guī)則中的上下文相關(guān)測(cè)試條件去掉，然后對(duì)部分樹(shù)的最高一層進(jìn)行歸約，若歸約成功，則本算法成功結(jié)束。若不成功，則進(jìn)一步將規(guī)則頭部中的次要特征去掉，然后繼續(xù)對(duì)最高層結(jié)點(diǎn)進(jìn)行歸約，若歸約成功，則本算法成功結(jié)束。若還不成功，則根據(jù)部分樹(shù)結(jié)構(gòu)，若最高層中各結(jié)點(diǎn)已為樹(shù)中的葉結(jié)點(diǎn)，則直接將其歸約為句子；否則將最高層中各結(jié)點(diǎn)均還原為其對(duì)應(yīng)的下一層結(jié)點(diǎn)，生成新的中間結(jié)果，然后對(duì)新的部分結(jié)構(gòu)樹(shù)重復(fù)上述過(guò)程。
下面舉例說(shuō)明本技術(shù)。
將句子“You could take note of the signatures.”翻譯為中文“你應(yīng)該注意那些簽名”。
現(xiàn)有字為詞條1signature NP簽名詞條2the T詞條3take note of VP注意詞條4could AUX 能詞條5you NP你們現(xiàn)有規(guī)則為規(guī)則1T NP-＞，NP，那些 NP規(guī)則2VP NP-＞，VP，VP NP規(guī)則3AUX VP-＞，VP，AUX VP規(guī)則4NP VP-＞SEARCH(L，(1，1)，NP)，S，NP VP其中NP表示名詞短語(yǔ)，VP表示動(dòng)詞短語(yǔ)，AUX表示助動(dòng)詞，T表示冠詞，S表示句子。
歸約過(guò)程
(1)使用詞條1至5對(duì)原句歸約結(jié)果為NP AUX VP T NP.
(2)使用規(guī)則1將T NP歸約為NP，整句的歸約結(jié)果為NP AUX VP NP.
(3)使用規(guī)則2將VP NP歸約為VP，整句的歸約結(jié)果為NP AUX VP.
(4)使用規(guī)則3將AUX VP歸約為VP，整句的歸約結(jié)果為NP VP.
(5)當(dāng)前歸約結(jié)果與其它規(guī)則頭部匹配都不成功，雖然能與規(guī)則4的頭部匹配，但由于NP VP的左邊沒(méi)有NP，所以SEARCH函數(shù)不能夠滿足。因此，利用現(xiàn)有字典和規(guī)則無(wú)法歸約該句子，即對(duì)本句的分析屬于基于不完備知識(shí)的推理。下面執(zhí)行本算法首先去掉規(guī)則中的上下文相關(guān)函數(shù)，在本例中，去掉規(guī)則4中的上下文相關(guān)函數(shù)，得到新的規(guī)則為規(guī)則1T NP-＞，NP，那些 NP規(guī)則2VP NP-＞，VP，VP NP規(guī)則3AUX VP-＞，VP，AUX VP規(guī)則4NP VP-＞，S，NP VP(6)用規(guī)則4新的形式可將當(dāng)前歸約結(jié)果歸約為句子，本過(guò)程成功結(jié)束。
權(quán)利要求
1.一種使用計(jì)算機(jī)進(jìn)行的基于不完備知識(shí)的推理技術(shù)，其步驟為(一)根據(jù)需要定義次要特征；(二)將原文句子生成部分結(jié)構(gòu)樹(shù)；(三)對(duì)生成的部分歸約結(jié)構(gòu)樹(shù)，執(zhí)行以下算法步驟(1)首先將現(xiàn)有規(guī)則中的上下文相關(guān)測(cè)試條件去掉，然后對(duì)部分樹(shù)的最高層進(jìn)行歸約，若歸約成功，則本算法成功結(jié)束；否則轉(zhuǎn)步驟(2)；(2)進(jìn)一步將規(guī)則頭部中的次要特征去掉，然后繼續(xù)對(duì)最高層結(jié)點(diǎn)進(jìn)行歸約，若歸約成功，則本算法成功結(jié)束，否則轉(zhuǎn)步驟(3)；(3)根據(jù)部分樹(shù)結(jié)構(gòu)，若最高層中各結(jié)點(diǎn)已為樹(shù)中的葉結(jié)點(diǎn)，則直接將其歸約為句子；否則將最高層中各結(jié)點(diǎn)均還原為其對(duì)應(yīng)的下一層結(jié)點(diǎn)，生成新的中間結(jié)果，轉(zhuǎn)步驟(1)對(duì)新的部分樹(shù)重復(fù)上述過(guò)程。
全文摘要
本發(fā)明技術(shù)的步驟為:根據(jù)需要定義次要特征;將原文句子生成部分結(jié)構(gòu)樹(shù);對(duì)生成的部分歸約結(jié)構(gòu)樹(shù),從其最高層開(kāi)始?xì)w約;將現(xiàn)有規(guī)則中的上下文相關(guān)測(cè)試條件去掉,然后對(duì)各結(jié)點(diǎn)進(jìn)行歸約,若歸約不成功,則進(jìn)一步將規(guī)則中的次要特征去掉后繼續(xù)歸約,直至歸約成功或各結(jié)點(diǎn)已為葉結(jié)點(diǎn)可直接歸約為句子為止。本技術(shù)用于機(jī)譯系統(tǒng)中,可在知識(shí)不完備的情況下,求出與正確解最為逼近的解。
文檔編號(hào)G06F17/28GK1175039SQ9711194
公開(kāi)日1998年3月4日 申請(qǐng)日期1997年7月2日 優(yōu)先權(quán)日1997年7月2日
發(fā)明者陳肇雄 申請(qǐng)人:陳肇雄