一種知識(shí)地圖的建立和學(xué)科知識(shí)導(dǎo)航方法
【專利摘要】一種知識(shí)地圖的建立方法，該方法為：以命題作為節(jié)點(diǎn)，用表示命題之間邏輯關(guān)系的蘊(yùn)涵算子鏈接上述節(jié)點(diǎn)，形成一種特殊的布爾網(wǎng)絡(luò)，完成知識(shí)地圖的建立；所述邏輯關(guān)系由邏輯連接詞—布爾函數(shù)作為關(guān)系，所述蘊(yùn)涵算子包括二元蘊(yùn)涵算子、三元蘊(yùn)涵算子和三元以上蘊(yùn)涵算子。本發(fā)明延續(xù)了命題邏輯的做法，發(fā)展出一套無(wú)關(guān)具體應(yīng)用場(chǎng)景的無(wú)向有環(huán)圖知識(shí)表示方法，更便于實(shí)現(xiàn)數(shù)理學(xué)科知識(shí)的自動(dòng)推理。
【專利說(shuō)明】-種知識(shí)地圖的建立和學(xué)科知識(shí)導(dǎo)航方法

【技術(shù)領(lǐng)域】
[0001] 本發(fā)明涉及一種知識(shí)表達(dá)技術(shù)，將一個(gè)領(lǐng)域知識(shí)表達(dá)為機(jī)器可以識(shí)別處理的形 式，具體涉及一種知識(shí)地圖的建立和學(xué)科知識(shí)導(dǎo)航方法。

【背景技術(shù)】
[0002] 人工智能是研究如何使機(jī)器具有人類智能的學(xué)科。人之所以具有智能，是因?yàn)槿?擁有知識(shí)。同樣，要使機(jī)器具有智能，就必須使它擁有知識(shí)，擁有的知識(shí)越多，其智能就越 高。但人類的知識(shí)大多是很抽象的，而且我們習(xí)慣于用自然語(yǔ)言表達(dá)，那么，如何使機(jī)器具 有知識(shí)？這就是知識(shí)表示和知識(shí)獲取。
[0003] 所謂知識(shí)表示，就是研究在機(jī)器中如何用最合適的形式對(duì)知識(shí)進(jìn)行描述，使知識(shí) 形式化、模型化，以便在機(jī)器中存儲(chǔ)和使用知識(shí)。對(duì)于人們習(xí)慣的知識(shí)表示形式（如自然 語(yǔ)言表示)，機(jī)器不一定能接受，所以必須把人類知識(shí)變換成一定形式的機(jī)器內(nèi)部的知識(shí)模 型，為機(jī)器所接受。
[0004] 目前的產(chǎn)生式規(guī)則表示法、邏輯表示法比較有效，但多為有向無(wú)環(huán)圖，使得表示結(jié) 果依賴于具體應(yīng)用場(chǎng)景。而像引文分析法，根據(jù)文獻(xiàn)相互引用關(guān)系構(gòu)成知識(shí)地圖無(wú)法深入 到學(xué)科本身的邏輯結(jié)構(gòu)中，只能以單個(gè)文獻(xiàn)作為地圖節(jié)點(diǎn)。


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

[0005] 本發(fā)明的目的在于提供一種知識(shí)地圖的建立和學(xué)科知識(shí)導(dǎo)航方法，其延續(xù)了命題 邏輯的做法，發(fā)展出一套無(wú)關(guān)具體應(yīng)用場(chǎng)景的無(wú)向有環(huán)圖知識(shí)表示方法，更便于實(shí)現(xiàn)數(shù)理 學(xué)科知識(shí)的自動(dòng)推理。
[0006] 本發(fā)明的技術(shù)解決方案是： 一種知識(shí)地圖的建立方法，其特殊之處在于，該方法為：以命題作為節(jié)點(diǎn)，用表示命題 之間邏輯關(guān)系的蘊(yùn)涵算子鏈接上述節(jié)點(diǎn)，形成一種特殊的布爾網(wǎng)絡(luò)，完成知識(shí)地圖的建立； 所述邏輯關(guān)系由邏輯連接詞一布爾函數(shù)作為關(guān)系，所述蘊(yùn)涵算子包括二元蘊(yùn)涵算子、三元 蘊(yùn)涵算子和三元以上蘊(yùn)涵算子。
[0007] 上述蘊(yùn)涵算子用映射真值表表不；T表不命題已知為真，I表不不確定命題真假，F(xiàn) 表示命題已知為假，根據(jù)實(shí)際需要，基于上述三個(gè)真值形成連續(xù)的真值表示；所述映射真值 表包括表示命題的初始真值和經(jīng)過(guò)蘊(yùn)涵算子作用后的穩(wěn)定真值。
[0008] 上述映射真值表具體是： 將傳統(tǒng)真值表中復(fù)合命題的真值T對(duì)應(yīng)的原子命題狀態(tài)作為T狀態(tài)布爾函數(shù)的映射不 動(dòng)點(diǎn)，將傳統(tǒng)真值表中復(fù)合命題的真值F對(duì)應(yīng)的原子命題狀態(tài)作為F狀態(tài)布爾函數(shù)的映射 不動(dòng)點(diǎn)，形成映射真值表； T狀態(tài)布爾函數(shù)的映射真值表和F狀態(tài)布爾函數(shù)的映射真值表可以相互推導(dǎo)，實(shí)際應(yīng) 用中只選擇T狀態(tài)布爾函數(shù)的映射真值表表示該布爾函數(shù)。
[0009] 上述蘊(yùn)涵算子由以下規(guī)則找到： 1) 在布爾函數(shù)為真時(shí)的各個(gè)子映射真值表中，真值必須要有封閉性：若從完整的映射 真值表中提出TF映射真值表，映射結(jié)果不能有I ;提出TI映射真值表，映射結(jié)果不能有F ; 提出IF映射真值表，映射結(jié)果不能有T ; 2) 當(dāng)TT、TF、FT為真時(shí)，F(xiàn)F是否為真，對(duì)布爾函數(shù)的映射結(jié)果沒(méi)有影響； 3) 當(dāng)若干個(gè)布爾函數(shù)滿足輪換關(guān)系時(shí)，優(yōu)先選擇保持A項(xiàng)在映射中不變的布爾函數(shù)， 其次選擇B項(xiàng)不變的，三元及三元以上以此類推； 4) 另外還要排除掉混在η元布爾函數(shù)的n-1元布爾函數(shù)；在這種情況中存在不影響其 它命題真值的命題； 5) 不改變?cè)~項(xiàng)的前提下，能由同元數(shù)以下的布爾函數(shù)生成的布爾函數(shù)，不計(jì)。
[0010] 蘊(yùn)涵算子的編輯方式基于這樣的性質(zhì)： 【基溫涵算子】形如·Λ"··Λυ 的溫涵算子稱為關(guān)于巧，巧，…，巧的η?；?蘊(yùn)涵算子；任意一個(gè)η元蘊(yùn)涵算子用η元和η元以下的基蘊(yùn)涵算子的邏輯合取表示；二元基 蘊(yùn)涵算子為1011，三元基蘊(yùn)涵算子為11101111。
[0011] 三元以內(nèi)蘊(yùn)涵算子由基蘊(yùn)涵算子邏輯合取生成規(guī)則如下： 1011(Α，Β) Λ1011(Β，Α) = 1001(Α，Β) 1011 (A, Β) Λ 1011 (A, Β) = 1011 (A, Β) 11101111 (A, B，C) Λ 1011 (A, Β) = 1011 (A, Β) Λ 1011 (A, C) 11101111(A，B，C) Λ 1〇11(Β，Α) = 1011(Β，Α) Λ l〇ll(B，C) 11101111 (A，B，C) Λ 1011 (A，C) = 1011 (A，C) 11101111 (A, Β，C) Λ 1011 (B，C) = 1011 (B，C) 11101111 (A, B，C) Λ 1011 (C, A) = 11001011 (C, A, Β) 11101111 (A, B，C) Λ 1011 (C，B) = 11001011 (A, C，B) 11101111 (A, B，C) Λ 11101111 (A, B，C) = 11101111 (A, B，C) 11101111 (A, B，C) Λ 11101111 (B，C, A) = 11101011 (B, A, C) 11101111 (A, B，C) Λ 11101111 (C, A, B) = 11101011 (A, B，C) 11101111 (A, B，C) Λ 11101111 (C，B，A) = 11101011 (B，A, C) 11101111 (A, B，C) Λ 11101111 (B, A, C) = 11101111 (A, B，C) 11101111 (A, B，C) Λ 11101111 (A, C，B) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 1011 (A, B) = 1011 (A, Β) Λ 1011 (A, C) 11101011 (A, B，C) Λ 1011 (B，A) = 11100001 (A, C，B) 11101011 (A, B，C) Λ 1011 (A, C) = 1011 (A, Β) Λ 1011 (A, C) 11101011 (A, B，C) Λ 1011 (B，C) = 11001011 (A, B，C) 11101011 (A, B，C) Λ 1011 (C，A) = 11100001 (A, B，C) 11101011 (A, B，C) Λ 1011 (C，B) = 11001011 (B，C，A) 11101011 (A, B，C) Λ 11101111 (A, B，C) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (B，C, A) = 11101001 (A, B，C) 11101011 (A, B，C) Λ 11101111 (C，A, B) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (C，B，A) = 11101001 (A, B，C) 11101011 (A, B，C) Λ 11101111 (B，A, C) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (A, C，B) = 11101011 (A, B，C) 11001011 (A, B，C) Λ 1011 (A, B) = 1011 (A, B) Λ 1011 (A, C) Λ 1011 (B，C) 11001011 (A, B，C) Λ 1011 (B，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 1011 (A, C) = 1011 (A, B) Λ 1011 (A, C) Λ 1011 (B，C) 11001011 (A, B，C) Λ 1011 (B，C) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 1011 (C, A) = 1001 (B，C) Λ 1011 (C, A) Λ 1011 (B，A) 11001011 (A, B，C) Λ 1011 (C，B) = 1001 (B，C) 11001011 (A, B，C) Λ 11101111 (A, B，C) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 11101111 (B，C，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 11101111 (C，A, B) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 11101111 (C，B，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 11101111 (B，A, C) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 11101111 (A, C，B) = 11001011 (A, B，C) 11101001 (A, B，C) Λ 1011 (A, B) = 11100001 (B，C，A) 11101001 (A, B，C) Λ 1011 (B, A) = 11100001 (A, C，B) 11101001 (A, B，C) Λ 1011 (A, C) = 11100001 (B，C，A) 11101001 (A, B，C) Λ 1011 (B，C) = 11100001 (A, C，B) 11101001 (A, B，C) Λ 1011 (C, A) = 11100001 (A, B，C) 11101001 (A, B，C) Λ 1011 (C，B) = 11100001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (A, B，C) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (B，C, A) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (C, A, B) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (C，B，A) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (B, A, C) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (A, C，B) = 11101001 (A, B，C) 11100001 (A, B，C) Λ 1011 (A, B) = 1001 (A, C) Λ 1011 (A, B) Λ 1011 (C，B) 11100001 (A, B，C) Λ 1011 (B, A) = 1001 (B，C) Λ 1011 (C, A) Λ 1011 (B. A) 11100001 (A, B，C) Λ 1011 (A, C) = 1001 (A, C) Λ 1011 (A, B) Λ 1011 (C，B) 11100001(A，B，C) Λ l〇ll(B，C) = 1001(B，C) Λ l〇ll(C，A) Λ lOll(B.A) 11100001 (A, B，C) Λ 1011 (C, A) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 1011 (C，B) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (A, B，C) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (B，C, A) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (C, A, B) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (C，B，A) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (B, A, C) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (A, C，B) = 11100001 (A, B，C) 上述蘊(yùn)涵算子的可視化是這樣實(shí)現(xiàn)：一個(gè)蘊(yùn)涵算子用韋恩圖表示蘊(yùn)涵算子聯(lián)系的各個(gè) 命題的真值TI所構(gòu)成的狀態(tài)空間，箭頭表示經(jīng)過(guò)該算子作用，命題真值的演化方向。
[0012] 一種上述知識(shí)地圖進(jìn)行學(xué)科知識(shí)導(dǎo)航方法，其特征在于，該方法是一種真值傳遞 機(jī)制，建立歸納樹，再根據(jù)該歸納樹完成演繹推理和歸納推理。
[0013] 上述建立歸納樹通過(guò)以下方法和規(guī)則建立： 1】【傳播規(guī)則】 1.1】一個(gè)節(jié)點(diǎn)如果是a (a e (〇，1])，則該節(jié)點(diǎn)向它所在蘊(yùn)涵算子的其他節(jié)點(diǎn)傳播真 值，2中的情況例外； 1. 2】 1. 2. 1】【可滿足性】一個(gè)節(jié)點(diǎn)A在一個(gè)蘊(yùn)涵算子F中，如果存在從0變?yōu)?的情況，則 稱節(jié)點(diǎn)A在蘊(yùn)涵算子F中是可以滿足的，反之稱A在F中不能滿足； 1. 2. 2】【最小滿足組】在一個(gè)η元蘊(yùn)涵算子F中，如果節(jié)點(diǎn)A最少需要m個(gè)節(jié)點(diǎn)為1， 才能獲得真值1，則稱節(jié)點(diǎn)A在蘊(yùn)涵算子F中的最小滿足組為m ; 1. 2. 3】【尋找最小滿足組的方式】一個(gè)命題在它所在的蘊(yùn)涵算子中尋找最小滿足組的 方式由這個(gè)蘊(yùn)涵算子自身的特性決定； 1. 2. 4】【模糊節(jié)點(diǎn)與準(zhǔn)確節(jié)點(diǎn)】 1.2.4. 1】【模糊節(jié)點(diǎn)】如果一個(gè)節(jié)點(diǎn)的真值不是0,也不是1，則稱這個(gè)節(jié)點(diǎn)為模糊節(jié) 占. 1.2. 4. 2】【準(zhǔn)確節(jié)點(diǎn)】如果一個(gè)節(jié)點(diǎn)的真值是1或0,則稱這個(gè)節(jié)點(diǎn)為準(zhǔn)確節(jié)點(diǎn)； 1. 2. 5】【上游蘊(yùn)涵算子與下游蘊(yùn)涵算子】 1. 2. 5. 1】【上游蘊(yùn)涵算子】節(jié)點(diǎn)A在蘊(yùn)涵算子F中獲得了一個(gè)非0真值，F(xiàn)稱為A的上 游蘊(yùn)涵算子，如果A的真值被其他蘊(yùn)涵算子F'改變了（4)，則F'是A的新上游蘊(yùn)涵算子，F(xiàn) 變?yōu)橄掠翁N(yùn)涵算子（1. 2. 5. 2); -個(gè)節(jié)點(diǎn)在初始被賦值1，該節(jié)點(diǎn)沒(méi)有上游蘊(yùn)涵算子； 1. 2. 5. 2】【下游蘊(yùn)涵算子】節(jié)點(diǎn)A有非0真值，并且節(jié)點(diǎn)A參與多個(gè)蘊(yùn)涵算子，這些蘊(yùn) 涵算子除了上游蘊(yùn)涵算子1. 2. 5. 1，都是下游蘊(yùn)涵算子； 1.3】【模糊真值規(guī)則】 1. 3. 1】【歸納樹】一個(gè)節(jié)點(diǎn)A展開成一個(gè)歸納樹，第一層是A自己，第二層是A所在的 各個(gè)蘊(yùn)涵算子的最小滿足組；第三層是滿足組節(jié)點(diǎn)的滿足組，以此類推；但出現(xiàn)在第η層的 節(jié)點(diǎn)不能再出現(xiàn)在該節(jié)點(diǎn)展開的子樹里；初始已知節(jié)點(diǎn)不向下層尋找滿足組； 1. 3. 2】【分叉機(jī)制】表中存在"或"的情況，每出現(xiàn)一次"或"，就做一次分叉，但這只是 一種分叉，只能叫做算子內(nèi)分叉，還有一種情況也要做分叉，就是induction的上游有不止 一個(gè)蘊(yùn)涵算子可以滿足節(jié)點(diǎn)A ;這時(shí)候節(jié)點(diǎn)A需要去選擇，到底讓哪一個(gè)蘊(yùn)涵算子來(lái)滿足自 己，所以就有多種可能，這種叫做算子間分叉； 1. 3. 3】【合法樹枝的選擇規(guī)則】 1. 3. 3. 1】【第一優(yōu)先度規(guī)則】包涵更多初始已知節(jié)點(diǎn)的樹枝被選擇；同一個(gè)初始已知節(jié) 點(diǎn)在樹枝中出現(xiàn)若干次，只記一次； 一個(gè)初始已知節(jié)點(diǎn)A的下層樹枝包涵η個(gè)已知節(jié)點(diǎn)，即使n> 1,也不選擇下層樹枝,選擇 的樹枝只截止到節(jié)點(diǎn)A ; 1. 3. 3. 2】【第二優(yōu)先度規(guī)則】 1. 3. 3. 2. 1】【合法樹枝的模糊值計(jì)算規(guī)則】在某一合法樹枝內(nèi)，末端節(jié)點(diǎn)若為初始已知 節(jié)點(diǎn)，記為1 ;如果一個(gè)初始已知節(jié)點(diǎn)出現(xiàn)在這個(gè)樹枝上的若干個(gè)末端，只記一次；若末端 節(jié)點(diǎn)不是初始已知節(jié)點(diǎn)，則記為0。若有η個(gè)1，m個(gè)0,則頂端節(jié)點(diǎn)的模糊值為nAn+m); 1. 3. 3. 2. 2】【模糊值大的優(yōu)先】如果若干樹枝包含的初始已知節(jié)點(diǎn)數(shù)量一樣多，則取模 糊值大的樹枝； 1. 3. 4】【樹枝選擇規(guī)則的等價(jià)表述】在所有合法樹枝中，在末端節(jié)點(diǎn)中，不同的初始已 知節(jié)點(diǎn)個(gè)數(shù)為n，未知節(jié)點(diǎn)個(gè)數(shù)為m。則等價(jià)表述為，先找η大的樹枝，η-樣多，就找m小 的樹枝； 2】【傳播停止規(guī)則】如果一個(gè)蘊(yùn)涵算子的第η次迭代結(jié)果與第n-1次迭代結(jié)果相同，則 停止在該蘊(yùn)涵算子內(nèi)迭代傳播； 3】【傳播重啟規(guī)則】直到一個(gè)外部的蘊(yùn)涵算子改變了一個(gè)已經(jīng)停止迭代的蘊(yùn)涵算子中 的一個(gè)節(jié)點(diǎn)的真值，停止迭代的蘊(yùn)涵算子將再次迭代； 4】【節(jié)點(diǎn)真值改變規(guī)則】 4. 1】初始狀態(tài)節(jié)點(diǎn)被賦值，會(huì)從0變?yōu)? ; 4. 2】一個(gè)節(jié)點(diǎn)參與兩個(gè)蘊(yùn)涵算子，被傳播了不同的真值，較大的真值將覆蓋較小的真 值。
[0014] 上述演繹推理是指：若干命題沿著其下游蘊(yùn)涵算子計(jì)算其它命題的模糊真值。
[0015] 上述歸納推理是指：若干命題沿著其上游蘊(yùn)涵算子尋找該若干命題的最小滿足 組。
[0016] 本發(fā)明的優(yōu)點(diǎn)在于：與本體網(wǎng)用節(jié)點(diǎn)表示類或個(gè)體、用邊表示個(gè)體關(guān)系(謂詞）這 種類似謂詞邏輯的思路不同，本發(fā)明延續(xù)了命題邏輯的做法，發(fā)展出一套無(wú)關(guān)具體應(yīng)用場(chǎng) 景的無(wú)向有環(huán)圖知識(shí)表示方法，更便于實(shí)現(xiàn)數(shù)理學(xué)科知識(shí)的自動(dòng)推理。

【專利附圖】

【附圖說(shuō)明】
[0017] 圖1為二元布爾函數(shù)真值表；圖1由圖1-1和圖1-2連續(xù)組成； 圖2為三元布爾函數(shù)真值表；圖2由圖2-1、圖2-2、圖2-3、圖2-4及圖2-5連續(xù)組成； 圖3為蘊(yùn)涵算子可視化韋恩圖；圖3由圖3-1、圖3-2、圖3-3、圖3-4、圖3-5及圖3-6 連續(xù)組成； 圖4為演繹部分尋找最小滿足組的方式圖； 圖5為一個(gè)知識(shí)地圖實(shí)例示意圖； 圖6為演繹部分實(shí)例求節(jié)點(diǎn)【b=e】的真值示意圖； 圖7為演繹部分實(shí)例求節(jié)點(diǎn)【b=e】的真值樹枝示意圖； 圖8為演繹部分實(shí)例求節(jié)點(diǎn)【b=e】的真值中確定其模糊值的樹枝示意圖； 圖9為演繹部分實(shí)例真值傳播結(jié)果示意圖； 圖10為歸納部分實(shí)例真值傳播結(jié)果示意圖。

【具體實(shí)施方式】
[0018] 把命題作為節(jié)點(diǎn)，邏輯連接詞(布爾函數(shù)）作為關(guān)系，推廣命題邏輯的二元蘊(yùn)涵算 子，將三元和三元以上的邏輯連接詞模塊化，形成一種特殊的布爾網(wǎng)絡(luò)。并給出了基于此方 案的自動(dòng)推理、知識(shí)導(dǎo)航方法。
[0019] 下面給出本發(fā)明的具體實(shí)現(xiàn)方法。
[0020] SOl在該知識(shí)地圖方案中，節(jié)點(diǎn)表示命題，節(jié)點(diǎn)由蘊(yùn)涵算子鏈接。
[0021] S02蘊(yùn)涵算子。蘊(yùn)涵算子用于表示命題之間的邏輯關(guān)系，可用映射真值表表示蘊(yùn) 涵算子。T表不命題已知為真，I表不不確定命題真假。映射真值表左邊表不命題的初始真 值，右邊表示經(jīng)過(guò)算子作用后的穩(wěn)定真值。
[0022] 參見圖1，二元布爾函數(shù)映射真值表；參見圖2,三元布爾函數(shù)映射真值表；四元算 子省略，η元蘊(yùn)涵算子可由以下規(guī)則找到： 1)在布爾函數(shù)為真時(shí)的各個(gè)子映射真值表中，真值必須要有封閉性：若從完整的映射 真值表中提出TF映射真值表，映射結(jié)果不能有I ;提出TI映射真值表，映射結(jié)果不能有F ; 提出IF映射真值表，映射結(jié)果不能有T。
[0023] 2)當(dāng)TT、TF、FT為真時(shí)，F(xiàn)F是否為真，對(duì)布爾函數(shù)的映射結(jié)果沒(méi)有影響。
[0024] 3)當(dāng)若干個(gè)布爾函數(shù)滿足輪換關(guān)系時(shí)，我們優(yōu)先選擇保持A項(xiàng)在映射中不變的布 爾函數(shù)，其次選擇B項(xiàng)不變的，三元及三元以上以此類推。
[0025] 4)另外還要排除掉混在一元布爾函數(shù)的零元布爾函數(shù)。
[0026] 5)不改變?cè)~項(xiàng)的前提下，能由同元數(shù)以下的布爾函數(shù)生成的布爾函數(shù)，不計(jì)。
[0027] S03蘊(yùn)涵算子的編輯方式基于這樣的性質(zhì)： 【基溫涵算子】形如以1八…aU 4巧的溫涵算子稱為關(guān)于巧>巧>…，巧的η?；鶞?涵算子。任意一個(gè)η元蘊(yùn)涵算子用η元和η元以下的基蘊(yùn)涵算子的邏輯合取表示。二元基 蘊(yùn)涵算子為1011，三元基蘊(yùn)涵算子為11101111。
[0028] 三元以內(nèi)蘊(yùn)涵算子由基蘊(yùn)涵算子邏輯合取生成規(guī)則如下： 1011(Α，Β) Λ1011(Β，Α) = 1001(Α，Β) 1011 (A, Β) Λ 1011 (A, Β) = 1011 (A, Β) 11101111 (A, B，C) Λ 1011 (A, Β) = 1011 (A, Β) Λ 1011 (A, C) 11101111(A，B，C) Λ 1〇11(Β，Α) = 1011(Β，Α) Λ l〇ll(B，C) 11101111 (A，B，C) Λ 1011 (A，C) = 1011 (A，C) 11101111 (A, Β，C) Λ 1011 (B，C) = 1011 (B，C) 11101111 (A, B，C) Λ 1011 (C, A) = 11001011 (C, A, Β) 11101111 (A, B，C) Λ 1011 (C，B) = 11001011 (A, C，B) 11101111 (A, B，C) Λ 11101111 (A, B，C) = 11101111 (A, B，C) 11101111 (A, B，C) Λ 11101111 (B，C, A) = 11101011 (B, A, C) 11101111 (A, B，C) Λ 11101111 (C, A, B) = 11101011 (A, B，C) 11101111 (A, B，C) Λ 11101111 (C，B，A) = 11101011 (B，A, C) 11101111 (A, B，C) Λ 11101111 (B, A, C) = 11101111 (A, B，C) 11101111 (A, B，C) Λ 11101111 (A, C，B) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 1011 (A, B) = 1011 (A, Β) Λ 1011 (A, C) 11101011 (A, B，C) Λ 1011 (B，A) = 11100001 (A, C，B) 11101011 (A, B，C) Λ 1011 (A, C) = 1011 (A, Β) Λ 1011 (A, C) 11101011 (A, B，C) Λ 1011 (B，C) = 11001011 (A, B，C) 11101011 (A, B，C) Λ 1011 (C，A) = 11100001 (A, B，C) 11101011 (A, B，C) Λ 1011 (C，B) = 11001011 (B，C，A) 11101011 (A, B，C) Λ 11101111 (A, B，C) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (B，C, A) = 11101001 (A, B，C) 11101011 (A, B，C) Λ 11101111 (C，A, B) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (C，B，A) = 11101001 (A, B，C) 11101011 (A, B，C) Λ 11101111 (B，A, C) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (A, C，B) = 11101011 (A, B，C) 11001011 (A, B，C) Λ 1011 (A, B) = 1011 (A, B) Λ 1011 (A, C) Λ 1011 (B，C) 11001011 (A, B，C) Λ 1011 (B，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 1011 (A, C) = 1011 (A, B) Λ 1011 (A, C) Λ 1011 (B，C) 11001011 (A, B，C) Λ 1011 (B，C) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 1011 (C, A) = 1001 (B，C) Λ 1011 (C, A) Λ 1011 (B，A) 11001011 (A, B，C) Λ 1011 (C，B) = 1001 (B，C) 11001011 (A, B，C) Λ 11101111 (A, B，C) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 11101111 (B，C，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 11101111 (C，A, B) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 11101111 (C，B，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 11101111 (B，A, C) = 11001011 (A, B，C) 11001011 (A, B，C) Λ 11101111 (A, C，B) = 11001011 (A, B，C) 11101001 (A, B，C) Λ 1011 (A, B) = 11100001 (B，C，A) 11101001 (A, B，C) Λ 1011 (B, A) = 11100001 (A, C，B) 11101001 (A, B，C) Λ 1011 (A, C) = 11100001 (B，C，A) 11101001 (A, B，C) Λ 1011 (B，C) = 11100001 (A, C，B) 11101001 (A, B，C) Λ 1011 (C, A) = 11100001 (A, B，C) 11101001 (A, B，C) Λ 1011 (C，B) = 11100001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (A, B，C) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (B，C, A) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (C, A, B) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (C，B，A) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (B, A, C) = 11101001 (A, B，C) 11101001 (A, B，C) Λ 11101111 (A, C，B) = 11101001 (A, B，C) 11100001 (A, B，C) Λ 1011 (A, B) = 1001 (A, C) Λ 1011 (A, B) Λ 1011 (C，B) 11100001 (A, B，C) Λ 1011 (B, A) = 1001 (B，C) Λ 1011 (C, A) Λ 1011 (B. A) 11100001 (A, B，C) Λ 1011 (A, C) = 1001 (A, C) Λ 1011 (A, B) Λ 1011 (C，B) 11100001(A，B，C) Λ l〇ll(B，C) = 1001(B，C) Λ l〇ll(C，A) Λ lOll(B.A) 11100001 (A, B，C) Λ 1011 (C, A) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 1011 (C，B) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (A, B，C) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (B，C, A) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (C, A, B) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (C，B，A) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (B, A, C) = 11100001 (A, B，C) 11100001 (A, B，C) Λ 11101111 (A, C，B) = 11100001 (A, B，C) S04蘊(yùn)涵算子的可視化方案如下： 參見圖3,圖3中用韋恩圖表示一個(gè)蘊(yùn)涵算子聯(lián)系的三個(gè)命題的真值TI所構(gòu)成的狀態(tài) 空間(外圈是III，AB重疊部分是TTI，BC重疊部分是ITT，AC重疊部分是TIT，ABC重疊部 分是TTT)，箭頭表示經(jīng)過(guò)該算子作用，命題真值的演化方向。
[0029] S05真值傳遞機(jī)制 Deduction演擇部分 1】【傳播規(guī)則】 1.1】一個(gè)節(jié)點(diǎn)如果是a (a e (〇，1])，則該節(jié)點(diǎn)向它所在蘊(yùn)涵算子的其他節(jié)點(diǎn)傳播真 值，2中的情況例外。
[0030] 1.2】【滿足條件】 1.2. 1】【可滿足性】一個(gè)節(jié)點(diǎn)A在一個(gè)蘊(yùn)涵算子F中，如果存在從0變?yōu)?的情況，則 稱節(jié)點(diǎn)A在蘊(yùn)涵算子F中是可以滿足的，反之稱A在F中不能滿足。
[0031] 1. 2. 2. 1】【最小滿足組】在一個(gè)η元蘊(yùn)涵算子F中，如果節(jié)點(diǎn)A最少需要m個(gè)節(jié)點(diǎn) 為1，才能獲得真值1，則稱節(jié)點(diǎn)A在蘊(yùn)涵算子F中的最小滿足組為m。
[0032] 1. 2. 2. 2】【尋找最小滿足組的方式】參見圖4 ; 1. 2. 3. 1【模糊節(jié)點(diǎn)】如果一個(gè)節(jié)點(diǎn)的真值不是0,也不是1，則稱這個(gè)節(jié)點(diǎn)為模糊節(jié)點(diǎn)。
[0033] 1. 2. 3. 2】【準(zhǔn)確節(jié)點(diǎn)】如果一個(gè)節(jié)點(diǎn)的真值是1或0,則稱這個(gè)節(jié)點(diǎn)為準(zhǔn)確節(jié)點(diǎn)。
[0034] 1. 2. 4. 1】【上游算子】節(jié)點(diǎn)A在蘊(yùn)涵算子F中獲得了一個(gè)非0真值，F(xiàn)稱為A的上 游蘊(yùn)涵算子，如果A的真值被其他蘊(yùn)涵算子F'改變了（4)，則F'是A的新上游蘊(yùn)涵算子，F(xiàn) 變?yōu)橄掠翁N(yùn)涵算子（1. 2. 4. 2)。一個(gè)節(jié)點(diǎn)在初始被賦值1，該節(jié)點(diǎn)沒(méi)有上游蘊(yùn)涵算子。
[0035] 1. 2. 4. 2】【下游算子】節(jié)點(diǎn)A有非0真值，并且節(jié)點(diǎn)A參與多個(gè)蘊(yùn)涵算子，這些蘊(yùn) 涵算子除了上游蘊(yùn)涵算子（1. 2. 4. 1 )，都是下游蘊(yùn)涵算子。
[0036] 1.3】【模糊真值規(guī)則】 1.3. 1】【歸納樹】一個(gè)節(jié)點(diǎn)A展開成一個(gè)歸納樹，第一層是A自己，第二層是A所在的 各個(gè)蘊(yùn)涵算子的最小滿足組。第三層是滿足組節(jié)點(diǎn)的滿足組，以此類推。但出現(xiàn)在第η層 的節(jié)點(diǎn)不能再出現(xiàn)在該節(jié)點(diǎn)展開的子樹里。初始已知節(jié)點(diǎn)不向下層尋找滿足組。
[0037] 1. 3. 2】【分叉機(jī)制】表中存在"或"的情況，每出現(xiàn)一次"或"，就做一次分叉，但這 只是一種分叉，只能叫做算子內(nèi)分叉，還有一種情況也要做分叉，就是induction的上游有 不止一個(gè)蘊(yùn)涵算子可以滿足節(jié)點(diǎn)A ;這時(shí)候節(jié)點(diǎn)A需要去選擇，到底讓哪一個(gè)蘊(yùn)涵算子來(lái)滿 足自己，所以就有多種可能，這種叫做算子間分叉； 參加圖5,以下面知識(shí)地圖為例： 若【a=b】真值為T，其他節(jié)點(diǎn)真值都為I，求各個(gè)節(jié)點(diǎn)真值。
[0038] 作為例子，求節(jié)點(diǎn)【b=e】的真值，如下： 排除掉重復(fù)的非法枝干，加粗的樹枝都是合法的。
[0039] 在這個(gè)例子中雖然如果選擇下層樹枝會(huì)包含更多初始節(jié)點(diǎn)，但因?yàn)锳是初始節(jié) 點(diǎn)，只選擇到A。（這個(gè)規(guī)則其實(shí)不例外，因?yàn)?. 3. 1已經(jīng)規(guī)定初始已知節(jié)點(diǎn)不再向下找滿足 組，但還是提出來(lái)說(shuō)一下。） 1. 3. 3】【第二優(yōu)先度規(guī)則】 1. 3. 3. 1】【合法樹枝的模糊值計(jì)算規(guī)則】在某一合法樹枝內(nèi)，末端節(jié)點(diǎn)若為初始已知節(jié) 點(diǎn)，記為1。如果一個(gè)初始已知節(jié)點(diǎn)出現(xiàn)在這個(gè)樹枝上的若干個(gè)末端，只記一次。若末端節(jié) 點(diǎn)不是初始已知節(jié)點(diǎn)，則記為0。若有η個(gè)1，m個(gè)0,則頂端節(jié)點(diǎn)的模糊值為nAn+m) 如： 1. 3. 3. 2】【模糊值大的優(yōu)先】如果若干樹枝包含的初始已知節(jié)點(diǎn)數(shù)量一樣多，則取模糊 值大的樹枝。
[0040] 1. 3. 4】【樹枝選擇規(guī)則的等價(jià)表述】在所有合法樹枝中，在末端節(jié)點(diǎn)中，不同的初 始已知節(jié)點(diǎn)個(gè)數(shù)為n，未知節(jié)點(diǎn)個(gè)數(shù)為m。則等價(jià)表述為，先找η大的樹枝，η-樣多，就找m 小的樹枝。
[0041] 注意：一個(gè)初始已知節(jié)點(diǎn)A的下層樹枝包含η個(gè)已知節(jié)點(diǎn)，即使η>1，也不選擇下 層樹枝，選擇的樹枝只截止到節(jié)點(diǎn)A。
[0042] 所以，在已知a=b的條件下，b=e在網(wǎng)絡(luò)中的模糊值是0. 5 ; 2】【傳播停止規(guī)則】如果一個(gè)蘊(yùn)涵算子的第η次迭代結(jié)果與第n-1次迭代結(jié)果相同，則 停止在該蘊(yùn)涵算子內(nèi)迭代傳播。
[0043] 3】【傳播重啟規(guī)則】直到一個(gè)外部的蘊(yùn)涵算子改變(規(guī)則4) 了一個(gè)已經(jīng)停止迭代 的蘊(yùn)涵算子中的一個(gè)節(jié)點(diǎn)的真值，停止迭代的算在將再次迭代。
[0044] 4】【節(jié)點(diǎn)真值改變規(guī)則】 4. 1初始狀態(tài)節(jié)點(diǎn)被賦值，會(huì)從0變?yōu)? ; 4. 2-個(gè)節(jié)點(diǎn)參與兩個(gè)蘊(yùn)涵算子，被傳播了不同的真值，較大的真值將覆蓋較小的真 值。
[0045] 根據(jù)上面的規(guī)則，最終得： 【a=b】1，【a=c】0· 5,【b=c】0· 5,【a=e】0· 5,【b=e】0· 5,【c=e】 1/3。
[0046] Induction 歸納部分 Induction歸納部分就是對(duì)單一下游節(jié)點(diǎn)展開歸納樹，尋找和其他初始節(jié)點(diǎn)的聯(lián)系。歸 納樹是利用單一初始節(jié)點(diǎn)來(lái)找和其他下游節(jié)點(diǎn)的聯(lián)系。其機(jī)制是一致的。但在呈現(xiàn)上有區(qū) 別： (此例中，對(duì)【c=e】展開Induction樹，初始節(jié)點(diǎn)為a=b) 三角形節(jié)點(diǎn)為目標(biāo)節(jié)點(diǎn)，也就是我們想要學(xué)習(xí)的下游目標(biāo)命題； 圓形節(jié)點(diǎn)是滿足節(jié)點(diǎn)，也就是我們?yōu)榱苏莆漳繕?biāo)節(jié)點(diǎn)，應(yīng)該立刻去學(xué)習(xí)的命題； 矩形節(jié)點(diǎn)是初始節(jié)點(diǎn)，也就是我們一開就知道的命題； 菱形節(jié)點(diǎn)為路徑節(jié)點(diǎn)，是指雖然不是滿足組中的節(jié)點(diǎn)，但推理路徑、學(xué)習(xí)路徑會(huì)經(jīng)過(guò) 它。
[0047] 六邊形節(jié)點(diǎn)為無(wú)關(guān)節(jié)點(diǎn)，是指對(duì)于掌握粉色目標(biāo)節(jié)點(diǎn)，沒(méi)有貢獻(xiàn)的無(wú)關(guān)命題。
【權(quán)利要求】
1. 一種知識(shí)地圖的建立方法，其特征在于，該方法為：以命題作為節(jié)點(diǎn)，用表示命題之 間邏輯關(guān)系的蘊(yùn)涵算子鏈接上述節(jié)點(diǎn)，形成一種特殊的布爾網(wǎng)絡(luò)，完成知識(shí)地圖的建立；所 述邏輯關(guān)系由邏輯連接詞一布爾函數(shù)作為關(guān)系，所述蘊(yùn)涵算子包括二元蘊(yùn)涵算子、三元蘊(yùn) 涵算子和三元以上蘊(yùn)涵算子。
2. 根據(jù)權(quán)利要求1所述知識(shí)地圖的建立方法，其特征在于：所述蘊(yùn)涵算子用映射真值 表表示；T表示命題已知為真，I表示不確定命題真假，F(xiàn)表示命題已知為假，根據(jù)實(shí)際需要， 基于上述三個(gè)真值形成連續(xù)的真值表示；所述映射真值表包括表示命題的初始真值和經(jīng)過(guò) 蘊(yùn)涵算子作用后的穩(wěn)定真值。
3. 根據(jù)權(quán)利要求2所述知識(shí)地圖的建立方法，其特征在于，所述映射真值表具體是： 將傳統(tǒng)真值表中復(fù)合命題的真值T對(duì)應(yīng)的原子命題狀態(tài)作為T狀態(tài)布爾函數(shù)的映射不 動(dòng)點(diǎn)，將傳統(tǒng)真值表中復(fù)合命題的真值F對(duì)應(yīng)的原子命題狀態(tài)作為F狀態(tài)布爾函數(shù)的映射 不動(dòng)點(diǎn)，形成映射真值表； T狀態(tài)布爾函數(shù)的映射真值表和F狀態(tài)布爾函數(shù)的映射真值表可以相互推導(dǎo)，實(shí)際應(yīng) 用中只選擇T狀態(tài)布爾函數(shù)的映射真值表表示該布爾函數(shù)。
4. 根據(jù)權(quán)利要求1或2所述知識(shí)地圖的建立方法，其特征在于，所述蘊(yùn)涵算子由以下規(guī) 則找到： 1) 在布爾函數(shù)為真時(shí)的各個(gè)子映射真值表中，真值必須要有封閉性：若從完整的映射 真值表中提出TF映射真值表，映射結(jié)果不能有I;提出TI映射真值表，映射結(jié)果不能有F; 提出IF映射真值表，映射結(jié)果不能有T; 2) 當(dāng)TT、TF、FT為真時(shí)，F(xiàn)F是否為真，對(duì)布爾函數(shù)的映射結(jié)果沒(méi)有影響； 3) 當(dāng)若干個(gè)布爾函數(shù)滿足輪換關(guān)系時(shí)，優(yōu)先選擇保持A項(xiàng)在映射中不變的布爾函數(shù)， 其次選擇B項(xiàng)不變的，三元及三元以上以此類推； 4) 另外還要排除掉混在η元布爾函數(shù)的n-1元布爾函數(shù)；在這種情況中存在不影響其 它命題真值的命題； 5) 不改變?cè)~項(xiàng)的前提下，能由同元數(shù)以下的布爾函數(shù)生成的布爾函數(shù)，不計(jì)。
5. 根據(jù)權(quán)利要求4所述知識(shí)地圖的建立方法，其特征在于，所述的蘊(yùn)涵算子編輯方式 基于這樣的性質(zhì)： 【基溫涵算子】形如(巧Λ···Λυ4巧的溫涵算子稱為關(guān)于巧，巧，…，巧的η?；鶞? 涵算子；任意一個(gè)η元蘊(yùn)涵算子用η元和η元以下的基蘊(yùn)涵算子的邏輯合取表示；二元基蘊(yùn) 涵算子為1011，三元基蘊(yùn)涵算子為11101111。
6. 根據(jù)權(quán)利要求5所述知識(shí)地圖的建立方法，其特征在于，所述蘊(yùn)涵算子的可視化是 這樣實(shí)現(xiàn)：一個(gè)蘊(yùn)涵算子用韋恩圖表示蘊(yùn)涵算子聯(lián)系的各個(gè)命題的真值TI所構(gòu)成的狀態(tài) 空間，箭頭表示經(jīng)過(guò)該算子作用，命題真值的演化方向。
7. -種利用權(quán)利要求1所述知識(shí)地圖進(jìn)行學(xué)科知識(shí)導(dǎo)航方法，其特 征在于，該方法是一種真值傳遞機(jī)制，建立歸納樹，再根據(jù)該歸納樹完成演繹推理和歸 納推理。
8. 根據(jù)權(quán)利要求7所述學(xué)科知識(shí)導(dǎo)航方法，其特征在于，所述建立歸納樹通過(guò)以下方 法和規(guī)則建立： 1】【傳播規(guī)則】 1.1】一個(gè)節(jié)點(diǎn)如果是a (a e(〇，1])，則該節(jié)點(diǎn)向它所在蘊(yùn)涵算子的其他節(jié)點(diǎn)傳播真 值，2中的情況例外； 1. 2】 1. 2. 1】【可滿足性】一個(gè)節(jié)點(diǎn)A在一個(gè)蘊(yùn)涵算子F中，如果存在從0變?yōu)?的情況，則 稱節(jié)點(diǎn)A在蘊(yùn)涵算子F中是可以滿足的，反之稱A在F中不能滿足； 1. 2. 2】【最小滿足組】在一個(gè)η元蘊(yùn)涵算子F中，如果節(jié)點(diǎn)A最少需要m個(gè)節(jié)點(diǎn)為1， 才能獲得真值1，則稱節(jié)點(diǎn)A在蘊(yùn)涵算子F中的最小滿足組為m; 1. 2. 3】【尋找最小滿足組的方式】一個(gè)命題在它所在的蘊(yùn)涵算子中尋找最小滿足組的 方式由這個(gè)蘊(yùn)涵算子自身的特性決定； 1. 2. 4】【模糊節(jié)點(diǎn)與準(zhǔn)確節(jié)點(diǎn)】 1.2.4. 1】【模糊節(jié)點(diǎn)】如果一個(gè)節(jié)點(diǎn)的真值不是0,也不是1，則稱這個(gè)節(jié)點(diǎn)為模糊節(jié) 占. 1. 2. 4. 2】【準(zhǔn)確節(jié)點(diǎn)】如果一個(gè)節(jié)點(diǎn)的真值是1或0,則稱這個(gè)節(jié)點(diǎn)為準(zhǔn)確節(jié)點(diǎn)； 1. 2. 5】【上游蘊(yùn)涵算子與下游蘊(yùn)涵算子】 1. 2. 5. 1】【上游蘊(yùn)涵算子】節(jié)點(diǎn)A在蘊(yùn)涵算子F中獲得了一個(gè)非0真值，F(xiàn)稱為A的上 游蘊(yùn)涵算子，如果A的真值被其他蘊(yùn)涵算子F'改變了（4)，則F'是A的新上游蘊(yùn)涵算子，F(xiàn) 變?yōu)橄掠翁N(yùn)涵算子（1. 2. 4. 2); -個(gè)節(jié)點(diǎn)在初始被賦值1，該節(jié)點(diǎn)沒(méi)有上游蘊(yùn)涵算子； 1. 2. 5. 2】【下游蘊(yùn)涵算子】節(jié)點(diǎn)A有非0真值，并且節(jié)點(diǎn)A參與多個(gè)蘊(yùn)涵算子，這些蘊(yùn) 涵算子除了上游蘊(yùn)涵算子1. 2. 5. 1，都是下游蘊(yùn)涵算子； 1.3】【模糊真值規(guī)則】 1.3. 1】【歸納樹】一個(gè)節(jié)點(diǎn)A展開成一個(gè)歸納樹，第一層是A自己，第二層是A所在的 各個(gè)蘊(yùn)涵算子的最小滿足組；第三層是滿足組節(jié)點(diǎn)的滿足組，以此類推；但出現(xiàn)在第η層的 節(jié)點(diǎn)不能再出現(xiàn)在該節(jié)點(diǎn)展開的子樹里；初始已知節(jié)點(diǎn)不向下層尋找滿足組； 1. 3. 2】【分叉機(jī)制】表中存在"或"的情況，每出現(xiàn)一次"或"，就做一次分叉，但這只是 一種分叉，只能叫做算子內(nèi)分叉，還有一種情況也要做分叉，就是induction的上游有不止 一個(gè)蘊(yùn)涵算子可以滿足節(jié)點(diǎn)A;這時(shí)候節(jié)點(diǎn)A需要去選擇，到底讓哪一個(gè)蘊(yùn)涵算子來(lái)滿足自 己，所以就有多種可能，這種叫做算子間分叉； 1. 3. 3】【合法樹枝的選擇規(guī)則】 1. 3. 3. 1】【第一優(yōu)先度規(guī)則】包涵更多初始已知節(jié)點(diǎn)的樹枝被選擇；同一個(gè)初始已知節(jié) 點(diǎn)在樹枝中出現(xiàn)若干次，只記一次； 一個(gè)初始已知節(jié)點(diǎn)A的下層樹枝包涵η個(gè)已知節(jié)點(diǎn)，即使n> 1,也不選擇下層樹枝,選擇 的樹枝只截止到節(jié)點(diǎn)A; 1. 3. 3. 2】【第二優(yōu)先度規(guī)則】 1. 3. 3. 2. 1】【合法樹枝的模糊值計(jì)算規(guī)則】在某一合法樹枝內(nèi)，末端節(jié)點(diǎn)若為初始已知 節(jié)點(diǎn)，記為1 ;如果一個(gè)初始已知節(jié)點(diǎn)出現(xiàn)在這個(gè)樹枝上的若干個(gè)末端，只記一次；若末端 節(jié)點(diǎn)不是初始已知節(jié)點(diǎn)，則記為0。 若有η個(gè)I，m個(gè)0,則頂端節(jié)點(diǎn)的模糊值為nAn+m); 1. 3. 3. 2. 2】【模糊值大的優(yōu)先】如果若干樹枝包含的初始已知節(jié)點(diǎn)數(shù)量一樣多，則取模 糊值大的樹枝； 1. 3. 4】【樹枝選擇規(guī)則的等價(jià)表述】在所有合法樹枝中，在末端節(jié)點(diǎn)中，不同的初始已 知節(jié)點(diǎn)個(gè)數(shù)為η,未知節(jié)點(diǎn)個(gè)數(shù)為m。 則等價(jià)表述為，先找η大的樹枝，η-樣多，就找m小的樹枝； 2】【傳播停止規(guī)則】如果一個(gè)蘊(yùn)涵算子的第η次迭代結(jié)果與第n-1次迭代結(jié)果相同，則 停止在該蘊(yùn)涵算子內(nèi)迭代傳播； 3】【傳播重啟規(guī)則】直到一個(gè)外部的蘊(yùn)涵算子改變了一個(gè)已經(jīng)停止迭代的蘊(yùn)涵算子中 的一個(gè)節(jié)點(diǎn)的真值，停止迭代的蘊(yùn)涵算子將再次迭代； 4】【節(jié)點(diǎn)真值改變規(guī)則】 4. 1】初始狀態(tài)節(jié)點(diǎn)被賦值，會(huì)從O變?yōu)? ; 4. 2】一個(gè)節(jié)點(diǎn)參與兩個(gè)蘊(yùn)涵算子，被傳播了不同的真值，較大的真值將覆蓋較小的真 值。
9. 根據(jù)權(quán)利要求7所述學(xué)科知識(shí)導(dǎo)航方法，其特征在于，所述演繹推理是指：若干命題 沿著其下游蘊(yùn)涵算子計(jì)算其它命題的模糊真值。
10. 根據(jù)權(quán)利要求7所述學(xué)科知識(shí)導(dǎo)航方法，其特征在于，所述歸納推理是指：若干命 題沿著其上游蘊(yùn)涵算子尋找該若干命題的最小滿足組。
【文檔編號(hào)】G06N5/02GK104463330SQ201410717025
【公開日】2015年3月25日 申請(qǐng)日期:2014年12月2日 優(yōu)先權(quán)日:2014年12月2日
【發(fā)明者】劉泊榮 申請(qǐng)人:劉泊榮