四值模擬的方法和系統(tǒng)的制作方法
【專利說(shuō)明】
[0001] 專利權(quán)和商標(biāo)公告
[0002] 本申請(qǐng)包括從屬于或者可能從屬于專利權(quán)和/或商標(biāo)保護(hù)的物質(zhì)。由于本專利公 開出現(xiàn)在專利和商標(biāo)局的文件或記錄中，所W專利權(quán)和商標(biāo)的擁有者對(duì)于通過任何本專利 的公開復(fù)制的復(fù)制品沒有異議，但是無(wú)論如何保留所有的專利權(quán)和商標(biāo)權(quán)。
技術(shù)領(lǐng)域
[0003] 本發(fā)明總體上設(shè)及計(jì)算機(jī)實(shí)現(xiàn)的系統(tǒng)中的信息存儲(chǔ)和條件測(cè)試。更具體地，公開 的實(shí)施例設(shè)及通常用于查詢和推理引擎中的四值邏輯系統(tǒng)。
【背景技術(shù)】
[0004] 在現(xiàn)有技術(shù)中，各種其他邏輯系統(tǒng)或真值表已被公開。但是，現(xiàn)有技術(shù)缺乏當(dāng)前公 開的實(shí)施例的效率。

【發(fā)明內(nèi)容】

[0005] 本發(fā)明通過呈現(xiàn)出降低了傳統(tǒng)上與計(jì)算機(jī)架構(gòu)中的測(cè)試、操作和數(shù)據(jù)的分析關(guān)聯(lián) 的時(shí)間和計(jì)算開銷的方法、系統(tǒng)和方式的不明顯且獨(dú)特的組合、配置和使用，克服了現(xiàn)有技 術(shù)中的不足。
[0006] 公開的實(shí)施例通過呈現(xiàn)出允許將語(yǔ)法信息和語(yǔ)義信息兩者均編碼到語(yǔ)義網(wǎng)絡(luò)中 的與語(yǔ)義節(jié)點(diǎn)關(guān)聯(lián)的兩比特矢量符號(hào)的符號(hào)，克服了現(xiàn)有技術(shù)中的不足。公開的實(shí)施例還 通過對(duì)每個(gè)特征在遞歸的謂詞分析中假設(shè)的屬性進(jìn)行編碼，來(lái)克服現(xiàn)有技術(shù)中的不足。
【附圖說(shuō)明】
[0007] 圖1描述了公開的邏輯；
[0008] 圖2描述了實(shí)現(xiàn)針對(duì)語(yǔ)言生成的條件測(cè)試和變量量化的語(yǔ)法；
[0009] 圖3描述了語(yǔ)義網(wǎng)絡(luò)的圖解表示；
[0010] 圖4描述了對(duì)于數(shù)組內(nèi)的特定指針的屬性的分配；
[0011] 圖5描述了機(jī)器實(shí)施。
[0012] 基于結(jié)合關(guān)聯(lián)的附圖閱讀下面的詳細(xì)描述，本發(fā)明的運(yùn)些方面和其他方面將變得 明顯。
【具體實(shí)施方式】
[0013] 下面的詳細(xì)描述指向本發(fā)明的一些特定實(shí)施例。然而，本發(fā)明可按照如通過權(quán)利 要求和它們的等同物限定和覆蓋的多種不同方式來(lái)呈現(xiàn)。在該描述中，對(duì)附圖做出參照，其 中，貫穿整個(gè)附圖，相同的部件被指定同樣的數(shù)字符號(hào)。
[0014] 除非在該說(shuō)明書或權(quán)利要求書中另外注釋，否則在說(shuō)明書和權(quán)利要求書中使用的 所有術(shù)語(yǔ)具有通常具有本領(lǐng)域人員認(rèn)為屬于運(yùn)些術(shù)語(yǔ)的含義。
[0015] 除非上下文明確地另外要求，貫穿說(shuō)明書和權(quán)利要求書，詞"包括"、"包含"W及類 似的詞將被按照包容性的意思被解釋，而不是獨(dú)有的或全部的意思;也就是說(shuō)，按照"包括 但不限于"的意思進(jìn)行解釋。使用單數(shù)或復(fù)數(shù)數(shù)量的詞還分別包括多數(shù)或單數(shù)的數(shù)量。此 夕h當(dāng)詞"在此"、上"、下"W及類似含義的詞在該說(shuō)明書中被使用時(shí)，運(yùn)些詞應(yīng)指的 是作為整體的本申請(qǐng)，而不是本申請(qǐng)的任何特定部分。
[0016] 本發(fā)明的實(shí)施例的上面詳細(xì)的描述不意在是詳盡的或者將本發(fā)明限制為上面公 開的明確形式。雖然本發(fā)明的特定實(shí)施例或示例由于示意性目的在上面被詳細(xì)地描述，但 是如相關(guān)領(lǐng)域的技術(shù)人員將認(rèn)識(shí)到的，在本發(fā)明的范圍內(nèi)的各種等同的修改是可行的。例 如，雖然步驟按照給定順序被呈現(xiàn)，但是可選的實(shí)施例可執(zhí)行具有按照不同順序的步驟的 例程。在此提供的本發(fā)明的教導(dǎo)可被應(yīng)用于其他系統(tǒng)，而不僅僅是在此描述的系統(tǒng)。在此描 述的各種實(shí)施例可被組合W提供其他實(shí)施例。根據(jù)【具體實(shí)施方式】可對(duì)本發(fā)明做出運(yùn)些和其 他改變。
[0017] 所有上述參考和美國(guó)專利W及申請(qǐng)通過引用在此被合并。如果需要，則本發(fā)明的 各個(gè)方面可被修改，W采用上面描述的各種專利和申請(qǐng)的系統(tǒng)、功能和概念來(lái)提供本發(fā)明 的其他進(jìn)一步的實(shí)施例。
[0018] 參照?qǐng)D1，描述了針對(duì)四值邏輯的基本二進(jìn)制運(yùn)算符和邏輯非（忽略針對(duì)邏輯非的 單調(diào)論證)的示意圖。運(yùn)些運(yùn)算符被用于證明邏輯類的完備性。運(yùn)些邏輯可通過各種不同論 證推導(dǎo)出。從真值的布爾型分組進(jìn)行考慮，或者從集合理論和遞歸定義進(jìn)行考慮，將真值表 預(yù)先排列成格子結(jié)構(gòu)。所有運(yùn)些被構(gòu)造為W經(jīng)典邏輯的形式來(lái)保存一些主要公理。通過對(duì) 遞歸值進(jìn)行建模，在語(yǔ)義網(wǎng)絡(luò)中明確地假設(shè)真值使得條件的測(cè)試和變量的量化簡(jiǎn)化。對(duì)于 系統(tǒng)成長(zhǎng)的未定義值、默認(rèn)值允許對(duì)于網(wǎng)絡(luò)的動(dòng)態(tài)良性編碼，邏輯屬性可歸屬于許多 Kleene邏輯。第四屬性允許對(duì)變量進(jìn)行適當(dāng)?shù)牧炕图s束，W用于消除針對(duì)計(jì)算中的隨后 步驟的更新真值的影響。運(yùn)也為針對(duì)判定程序引入直觀可接受的"排中律（terium non datur)" W用于將馬爾科夫(Markov)過程建模成該邏輯提供可能性。
[0019] 通過將具有特定比特的屬性編碼到比特矢量，線性縮放可被保持。由于創(chuàng)建符號(hào) 表、測(cè)試特征W及輔助擴(kuò)展的堆編譯器實(shí)施，該系統(tǒng)在編譯器設(shè)計(jì)方面有別于現(xiàn)有技術(shù)。
[0020] 在圖1的第一欄中，邏輯非(not)符號(hào)被示出為^在圖1的第二欄中，與(AND)運(yùn)算 符被示出為A，在圖1的第=欄中，或(OR)運(yùn)算符被示出為V。第一列示出了應(yīng)用非運(yùn)算符之 前的值。例如，在第一列的第一行，值F在應(yīng)用非運(yùn)算符之前被示出，且T被示出為結(jié)果。
[0021] 在第二欄中，或運(yùn)算符從第一列取一個(gè)值，從第一行取一個(gè)值，在列的值與行的值 相交處示出邏輯運(yùn)算符的結(jié)果。在第=欄中，和運(yùn)算符按照如在第二欄中類似的方式被應(yīng) 用。例如，在第=欄中，示出了在第一行選擇最后一個(gè)元素D，在第一列選擇第二個(gè)元素F，結(jié) 果是值D。
[0022] 參照?qǐng)D2,示出了用于利用針對(duì)語(yǔ)言生成的條件測(cè)試和變量量化來(lái)實(shí)現(xiàn)句子"I saw the man with the telescope"的自上而下推導(dǎo)的語(yǔ)法。使用的基礎(chǔ)方法學(xué)是入找/出 找，其中，被從找取出或去除的符號(hào)的條件篩選器可被用于測(cè)試用于將基于找被推入的新 構(gòu)造的短語(yǔ)規(guī)則。運(yùn)些條件測(cè)試在理論時(shí)間O(C)被執(zhí)行。
[0023] 參照?qǐng)D3,利用對(duì)象510和關(guān)系520來(lái)示出語(yǔ)義網(wǎng)絡(luò)500的圖解表示，其中，所有對(duì)象 和關(guān)系是存儲(chǔ)器或數(shù)據(jù)庫(kù)中的節(jié)點(diǎn)。
[0024] 圖4描述了與存儲(chǔ)器中的語(yǔ)義節(jié)點(diǎn)關(guān)聯(lián)的兩比特矢量數(shù)組的圖解表示。圖4還示出 了跨越兩個(gè)數(shù)組分配真值，其中，X為插入數(shù)組中的特定指針。圖中詞的大小是計(jì)算機(jī)架構(gòu) 中的詞大小限制的結(jié)果。運(yùn)引起針對(duì)數(shù)組的實(shí)現(xiàn)的組塊因素。
[0025] 參照?qǐng)D5,示出利用計(jì)算機(jī)可讀的非暫時(shí)性介質(zhì)100的機(jī)器實(shí)施，計(jì)算機(jī)可讀的非 暫時(shí)性介質(zhì)100具有被發(fā)送到通用或?qū)Ｓ锰幚砥?00的指令集或機(jī)器可讀指令。處理器可與 非易失性存儲(chǔ)器300和多個(gè)數(shù)據(jù)庫(kù)W及其他組件(諸如，網(wǎng)絡(luò)、用戶界面和其他器件)進(jìn)行通 信。多個(gè)數(shù)據(jù)庫(kù)可包括一個(gè)或更多個(gè)語(yǔ)義網(wǎng)絡(luò)的數(shù)據(jù)庫(kù)410(諸如，圖3的網(wǎng)絡(luò)系統(tǒng)）、矢量數(shù) 組的數(shù)據(jù)庫(kù)420(矢量數(shù)組可與每個(gè)語(yǔ)義節(jié)點(diǎn)或其他網(wǎng)絡(luò)組件關(guān)聯(lián)）、邏輯連接詞的數(shù)據(jù)庫(kù) 430(諸如，圖1的連接詞）、語(yǔ)法短語(yǔ)結(jié)構(gòu)實(shí)施的數(shù)據(jù)庫(kù)440(諸如，圖2的實(shí)施及其他公開 的組件和系統(tǒng)的數(shù)據(jù)庫(kù)。圖5還描述了系統(tǒng)時(shí)鐘700、自上而下/自下而上語(yǔ)法分析器800W 及運(yùn)行時(shí)間找和堆600。
[0026] 根據(jù)上面的詳細(xì)描述可對(duì)本發(fā)明做出運(yùn)些和其他改變。一般而言，在權(quán)利要求中 使用的術(shù)語(yǔ)不應(yīng)被解釋為將本發(fā)明限制為說(shuō)明書中公開的特定實(shí)施例，除非上面的詳細(xì)描 述明確地限定該術(shù)語(yǔ)。因此，本發(fā)明的實(shí)際范圍包含公開的實(shí)施例W及實(shí)踐或?qū)崿F(xiàn)權(quán)利要 求下的發(fā)明的所有等同方式。
[0027] 雖然下面W特定權(quán)利要求形式來(lái)呈現(xiàn)本發(fā)明的一些方面，但是本發(fā)明注重任何數(shù) 量的權(quán)利要求形式的發(fā)明的各個(gè)方面。
[00%]公開的實(shí)施例包括下面的項(xiàng)：
[0029] 第一項(xiàng)。執(zhí)行四值邏輯W使短期存儲(chǔ)器最優(yōu)化并使長(zhǎng)期存儲(chǔ)器最大化的機(jī)器實(shí)現(xiàn) 的方法，所述方法包括：
[0030] a)使用包括(F、T、U、D)的符號(hào)來(lái)表示被映射到兩個(gè)矢量動(dòng)態(tài)數(shù)組的假、真、未定義 和已定義的值;運(yùn)些值還被映射到兩個(gè)矢量動(dòng)態(tài)數(shù)組中的指針且被存儲(chǔ)為語(yǔ)義網(wǎng)絡(luò)內(nèi)的節(jié) 占.
[0031] b)將F、T、U、郵良定為集合理論，諸如，{}為未定義，{T}為真，{F}為假，{}為未定義， {T，F(xiàn)}為已定義，運(yùn)些值被解釋為屬性{P}為真，hP}為假，{}為未定義，巧，-P}為已定義， 運(yùn)些屬性是用于針對(duì)在謂詞積分中的連續(xù)遞歸步驟測(cè)試條件和量化變量的屬性。
[0032] C)利用下面的二進(jìn)制連接詞，忽略單調(diào)論證，利用否定來(lái)定義邏輯:針對(duì)邏輯與 (勺、非（^):;下面的邏輯或（乂）連接詞被用于證明邏輯的完備性：
[0033]
[0034] -VT 是 F
[0035] -'1]是0
[0036] -D是 U;
[0037] d)針對(duì)連接詞A
[0038] Ap T U D
[0039] FFFFF
[0040] TFTUD
[0041] UFUUF
[0042] D F D F D；
[0043] e)針對(duì)連接詞V
[0044] VF T U D
[0045] FFTUD
[0046] TTTTT
[0047] UUTUT
[0048] D D T T D;
[0049] f)通過將