[實用新型]一種用以處理自然語言斷言的系統(tǒng)有效
| 申請?zhí)枺?/td> | 200920218657.X | 申請日： | 2009-10-10 |
| 公開（公告）號： | CN201876881U | 公開（公告）日： | 2011-06-22 |
| 發(fā)明（設(shè)計）人： | 亞蘭·道格拉斯 | 申請（專利權(quán)）人： | 新諾普系統(tǒng)公司 |
| 主分類號： | G06F17/50 | 分類號： | G06F17/50 |
| 代理公司： | 北京安信方達(dá)知識產(chǎn)權(quán)代理有限公司 11262 | 代理人： | 劉紅梅;顏濤 |
| 地址： | 美國加利*** | 國省代碼： | 美國;US |
| 權(quán)利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關(guān)鍵詞： | 一種 用以 處理 自然語言 斷言 系統(tǒng) | ||
1.一種用以處理自然語言斷言的系統(tǒng)，其特征在于，所述系統(tǒng)包括：
自然語言斷言處理器，被配置為包括：
識別裝置，用于識別自然語言斷言(NLA)；
第一轉(zhuǎn)譯裝置，用于利用自然語言解析器以及合成技術(shù)而將所述自然語言斷言轉(zhuǎn)譯為驗證語言斷言，所述第一轉(zhuǎn)譯裝置運(yùn)作地連結(jié)至所述識別裝置；以及
第二轉(zhuǎn)譯裝置，用于利用驗證語言斷言解析器以及樣式匹配技術(shù)而將所述驗證語言斷言轉(zhuǎn)譯為已解釋NLA(NLA*)，所述第二轉(zhuǎn)譯裝置運(yùn)作地連結(jié)至所述第一轉(zhuǎn)譯裝置；
檢閱裝置，用于允許所述NLA*以及所述NLA的使用者檢閱，所述檢閱裝置運(yùn)作地連結(jié)至所述自然語言斷言處理器；以及
驗證裝置，用于利用以使用者檢閱作為基礎(chǔ)的所述驗證語言斷言而執(zhí)行驗證，所述驗證裝置運(yùn)作地連結(jié)至所述自然語言斷言處理器。
2.如權(quán)利要求1所述系統(tǒng)，其特征在于，所述自然語言斷言處理器更包括注解裝置，用于將所述驗證的結(jié)果注解于所述自然語言斷言上，所述注解裝置運(yùn)作地連結(jié)至所述驗證裝置。
3.如權(quán)利要求2所述系統(tǒng)，其特征在于，每個識別裝置處理多個斷言。
4.如權(quán)利要求1所述系統(tǒng)，其特征在于，所述自然語言斷言處理器更包括比較裝置，用于將所述自然語言斷言與在高速緩沖存儲器中的一組自然語言斷言進(jìn)行比較，以及在所述自然語言斷言匹配于所述組自然語言斷言中的一個自然語言斷言的時候直接繼續(xù)執(zhí)行驗證，所述比較裝置運(yùn)作地連結(jié)至所述識別裝置及所述驗證裝置，其中，所述驗證裝置使用存儲在所述高速緩沖存儲器中且與已匹配的自然語言斷言關(guān)聯(lián)的驗證語言斷言。
5.如權(quán)利要求4所述系統(tǒng)，其特征在于，所述比較裝置在所述自然語言斷言不匹配于所述一個自然語言斷言時繼續(xù)進(jìn)行所述轉(zhuǎn)譯。?
6.一種用以處理自然語言斷言的系統(tǒng)，其特征在于，所述系統(tǒng)包括：
自然語言斷言處理器，接收與集成電路的描述關(guān)聯(lián)的多個自然語言斷言，以及將所述多個自然語言斷言轉(zhuǎn)換為多個驗證語言斷言；以及
一組模擬器以及驗證工具，接收所述多個驗證語言斷言以及所述集成電路的所述描述，并產(chǎn)生所述驗證語言斷言的報告。?
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于新諾普系統(tǒng)公司，未經(jīng)新諾普系統(tǒng)公司許可，擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/200920218657.X/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
